ingegneria del software: cosa significa che un criterio di test e' valido?

Question

cosa significa che un criterio di test e' valido?

federico volpe · Accepted Answer

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))

ingegneria del software

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))

Author