#definicje

Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania

Testerzy oprogramowania lub osoby odpowiedzialne za zapewnienie jakości oprogramowania, oprócz wykonywania testów, mogą zostać zaangażowani do sprawdzania poprawności zdefiniowanych wymagań.