Quando un criterio si può definire valido? esempio di un criterio valido ma non affidabile

Un criterio di selezione si dice valido se qualora P non sia corretto, allora esiste almeno un test T selezionato in base al criterio C che ha successo e quindi rileva uno o più malfunzionamenti per il programma P: valido(C,P)⟺(¬ok(P,D)⇒∃T∈C|successo(T,,P)) esempio: per la funzione raddoppia = (x*x) l'insieme (0,1) è valido e non affidabile poichè non tutti i test danno lo stesso risultato ma trova un caso di errore