Criterio di copertura dei mutanti
Un test \(\ T\) soddisfa il criterio di copertura dei mutanti se e solo se per ogni mutante \(\pi \in \Pi\) esiste almeno un caso di test \(t \in T\) la cui esecuzione produca per \(\pi\) un risultato diverso da quello prodotto da \(P\).
La metrica di valutazione di questo criterio è la frazione di mutanti \(\pi\) riconosciuta come diversa da \(P\) sul totale di mutanti generati. Se non tutti i mutanti vengono scovati sarà necessario aggiungere dei casi di test che li riconoscano.
I tre passi da seguire per costruire un test tramite l’analisi mutazionale sono quindi:
- analisi delle classi e generazione dei mutanti;
- selezionare dei casi di test da aggiungere a \(T\), in base alla metrica di cui sopra;
- esecuzione dei casi di test sui mutanti, pensando anche alle performance;
Analizziamo ciascuno di tali step in maggior dettaglio.