j...@p...onet.pl wrote:

>> Co to znaczy "poprawność programu"? Sprecyzuj.
>
> Każdy student informatyki wie, że:
> poprawność = częściowa poprawność + własność stopu + określoność obliczeń
> gdzie częsciowa poprawność = zgodność z formalną specyfikacją
>

Wlasnie. W praktyce taki byt jak "formalna specyfikacja" wystepuje baaardzo
rzadko. Co wiecej - nawet jesli wystepuje, to dowiedzenie zgodnosci z
formalna specyfikacja nie dowodzi poprawnosci programu zdefiniowanej jako
"klient/uzytkownik/sponsor ma byc zadowolony". Zeby to osiagnac trzeba
operowac na "metapoziomie" czyli wdrozyc jakis system zapewnienia jakosci.

--
Michal