🚀 go-pugleaf

>On Mon, 12 Jun 2006 11:21:08 +0200, "Aleksander Galicki" <no@no.com>
>wrote:
>
>>>> Pan uwaznie to czytal...?
>>>
>>>W miare uwaznie.
>>>Co w tym takiego dziwnego ?
>>>Malo to nawet samych algorytmow bywalo delikatnie mowiac
>>>"nie dzialajacych zgodnei z zalozeniami" ?
>>>
>>
>>Mnostwo pewnie. Ale ten przyklad jest jednak dosc spektakularny. W znanej
>>niemal wsztstkim ksiazce znany spec rozwazal szczegolowo dosc prosty
>algorytm.
>>Udowodnil poprawnosc tego algorytmu. Nastepnie napisal implementacje w C. Na
>>jakies _20 liniek_.
>
>Ta implementacja to nei byla implementacja tego programu dla ktorego
>przeprowadzono dowod. Nie jest to zadne odkrycie jako takie.
>Zaskakujace jest to ze to kogos zaskakuje.
>
>Metoda "cut from textbook and paste" prowadzi wlasnei do takich
>niespodzianek. 

To jest trywializacja sprawy. Nie wiadomo czy scopy-pasteoweal czy tak
zapamietal. Ale nawet gdyby sam od poczatku pisal i tak mogl sie pomylic. I o
to w tym przykladzie chodzi - nawet w 20 linijkach mozesz popelnic blad,
ktorego ani testowanie ani przegladanie w kolko nie wykryje przez N lat. To
jest twierdzenie trywialne, ale nie dla wszystkich, wiec trzeba przykladow z
zycia zeby to unaocznic..


A.
-- 
============= P o l N E W S ==============
     archiwum i przeszukiwanie newsów
        http://www.polnews.pl