On Dec 22, 10:28 am, Roman W <b...@g...pl> wrote:
> On Thursday, December 22, 2011 9:55:37 AM UTC, Andrzej Jarzabek wrote:
> > Natomiast w praktyce testy automatyczne potrafią wyłapać całkiem sporo
> > błędów - nawet takie, które działają przez kilka czy kilkanaście
> > minut, nie mówiąc już o tym, że po prostu możesz mieć wydzieloną
> > maszynę do soak testów, która mieli różne scenariusze 24/7 - to nie
> > jest taki gigantyczny koszt, a można to zrobić niezależnie od tego czy
> > i jak bardzo formalnie się dowodzi.
>
> Problem polega na tym, ze dowolny test robisz dla danych, ktore znasz.
> Natomiast jezeli masz logiczny dowod, ze implementacja jest poprawna i
> algorytm jest poprawny, to wiesz ze zadziala dla dowolnych danych
> akceptowanych przez algorytm.

O ile dowód jest również poprawny.