• Ma na celu pokazanie obecności błędów, a nie ich braku i
■ Dowodzenie poprawności programów w praktyce niemożliwe
• Złożoność
■ Błędy w samym dowodzie
• „Dobry test" - to taki który wykrywa jeden lub więcej błędów
■ Jedyny sposób walidacji wymagań niefunkcjonalnych
■ Np. wymagania dot. wydajności
• Testowanie powinno być stosowane wraz z metodami statycznej weryfikacji
Semestr IV Inżynieria Oprogramowania WSZiB