Io-7-wyk-Slajd6

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Słabości testowania

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 >>