Io-7-wyk-Slajd6

Słabości testowania

Istotność metod formalnych wynika z obserwacji Dijkstry, który – jak pewnie Państwo pamiętacie – powiedział, że testowaniem nie można wykazać, że błędów nie ma. Jedynie korzystając z metod matematycznych można pokazać, że program ma określone właściwości i jest zgodny ze specyfikacją.

<< Poprzedni slajd | Spis treści | Następny slajd >>