On Dec 22, 12:31 pm, Roman W <b...@g...pl> wrote:
> On Thursday, December 22, 2011 10:58:29 AM UTC, Andrzej Jarzabek wrote:
> > > 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.
>
> Dlatego uwazam, ze trzeba robic i to, i to.

W praktyce dowód poprawności implementacji jest jednak strasznie
kosztowny i łatwo się w nim pomylić. W wielu przypadkach owo "trzeba"
jest na wyrost - jeśli się zrobi porządną implementację i intensywne
testy, to koszta z dodatkowego przeprowadzenia dowodu poprawności tej
implementacji są niewspółmierne do korzyści. Oczywiście być może są
dziedziny, gdzie jest inaczej - ja się tylko odnoszę, do
niekwalifikowanego "trzeba".