Cosa significa che un criterio di test e' valido?

Se conoscendo che un programma non e' corretto allora esiste almeno un metodo di test che fallisce (cioe' che trova l'errore con successo) valido(C, P) ↔ (¬ok(P, D) → ∃T ∈ C successo(T, P))