Tomek Zielinski <t...@f...org.pl> napisał(a):

> " leszek" <s...@N...gazeta.pl> wrote in message
> news:b28pau$rus$1@inews.gazeta.pl...
>
> > To brzmi bardzo ładnie, ale jak zamierzasz udodnić matematycznie
> poprawnośc
> > programu liczącego 100 tysięcy linii kodu - mniejszych nie warto pisać.
> > Dowieść można i nalezy poprawności działania algorytmu, a nie programu.
>
> Skąd wzięła Ci się liczba 100000 linii kodu w kontekście oprogramowania dla
> aparatury szpitalnej tudzież sondy kosmicznej? Czy słyszałeś może o theorem
> proverach?
>

Owszem, słyszałem. Ale dotyczą w najlepszym razie programów, gdzie da się
zdefiniowac w formalny sposób warunki poprawności - bo inaczej jak to
udowodnisz. Przypuszczam także, że sam program musi być napisany w jakimś
szczególnym języku - na przykład funkcyjnym typu LISP albo ProLOG. Tymczasem
jak zdefiniujesz poprawnośc programu, załóżmy, do obsługi księgowości. Czy
jest udowodnione poprawne działanie SAPa ?

W oprogramowaniu do aparatury medycznej lub sondy też wątpię, ze dowodzi się
poprawności wszystkiego. Takie wymogi mogą dotyczyć krytycznych fragmentów
tegoż - na przykład obslugi aparatury do podtrzymywania życia. Oczywiście
software musi byc także odpowiednio napisany - aby takie fragmenty dało się
wyodrębnić. Z drugiej strony nie wiem jak się to odbywa - zgaduję tylko.

Natomiast zgadzam się z opinią, że programista nie powinien pisac programu
jak mu w duszy śpiewa, ale powinien zastanawiać się nad poprawnościa tego co
pisze. Jest to chyba jednak wymóg profesjonalny.

--
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/