In che cosa consiste l'analisi mutazionale?

Dato un programma P e un test T, viene generato un insieme di programmi Π simili al programma P in esame: tali programmi prendono il nome di mutanti. caso i test sui mutanti hanno successo: il test non copre tutte le casistiche caso i test falliscono: test fatto bene o i mutanti non sono abbastanza fatti bene