ważna w przypadku systemów komp. krytycznych ze względów bezpieczeństwa -jest ważnym elementem testowania zabezpieczeń -można zastosować do każdego pp. o strukturze formalnej (kod, modele) dla których istnieje odpowiednie narzędzia do jej przeprowadzania
3.1.1. PRODUKTY PRACY BADANE METODĄ TESTOWANIA STATYSTYCZNEGO