| cosa prevede il criterio di copertura dei comandi? | Un test T soddisfa il criterio di copertura dei comandi se e solo se ogni comando eseguibile del programma è eseguito in corrispondenza di almeno un caso di test t∈T. |
| quale è il difetto del criterio di copertura dei comandi? | Soddisfare il criterio di copertura dei comando non garantisce dunque la correttezza del programma. Come sappiamo infatti un’anomalia non sempre genera un malfunzionamento, per cui eseguire semplicemente tutte le righe di codice raggiungibili non assicura di rilevare eventuali errori. |
| che cosa prevede il criterio di copertura delle decisioni? | Un test T soddisfa il criterio di copertura delle decisioni se e solo se ogni decisione (effettiva) viene resa sia vera che falsa in corrispondenza di almeno un caso di test t∈T. |
| quale è il difetto del criterio di copertura delle decisioni? | Nonostante sia un criterio “migliore” del criterio di copertura dei comandi, la copertura delle decisioni non garantisce la correttezza del programma |
| che cosa prevede il criterio di copertura delle condizioni? | Un test T soddisfa il criterio di copertura delle condizioni se e solo se ogni singola condizione (effettiva) viene resa sia vera che falsa in corrispondenza di almeno un caso di test t∈T. |
| difetto del criterio di copertura delle condizioni? | non garantisce la correttezza del programma. |
| quali sono le combinazioni possibili fra criteri e quali sono le loro caratteristiche? | criterio di copertura delle decisioni e condizioni:
Un test T soddisfa il criterio di copertura delle decisioni e delle condizioni se e solo se ogni decisione vale sia vero che falso e ogni condizione che compare nelle decisioni del programma vale sia vero che falso per diversi casi di test t∈T
criterio di copertura delle condizioni composte:
Un test T soddisfa il criterio di copertura delle condizioni composte se e solo se ogni possibile composizione delle condizioni base vale sia vero che falso per diversi casi di test t∈T |
| che cosa prevede il criterio di copertura dei cammini? | Un test T soddisfa il criterio di copertura dei cammini se e solo se ogni cammino del grafo di controllo del programma viene percorso per almeno un caso di t∈T.
La metrica è quindi il rapporto tra i cammini percorsi e quelli effettivamente percorribili. |
| difetto del criterio di copertura dei cammini? | Questo criterio è molto generale ma è spesso impraticabile, anche per programmi semplici: la presenza di cicli imporrebbe infatti di testare tutti gli infiniti cammini che li attraversano un numero arbitrario di volte. Il criterio è quindi considerato non applicabile in pratica. |
| cosa prevede il criterio di n-copertura di cicli? | Un test T soddisfa il criterio di n-copertura se e solo se ogni cammino del grafo contenente al massimo un numero d’iterazioni di ogni ciclo non superiore a n viene percorso per almeno un caso di test t∈T.
generalmente prevede il testing di tre casistiche:
zero iterazioni;
una iterazione;
più di una iterazione. |
| nel criterio di copertura dei cicli è possibile analizzare N cicli? | no, generalmente si utilizza N = 2 poichè se viene fatto:
N = 1 il ciclo verrebbe considerato come un semplice if
N = 0 il ciclo non verrebbe mai testato
con 2 viene testato il caso in cui non si deve entrare nel ciclo, il caso in cui ci entro una volta e il caso in cui il ciclo viene effettuato più di una volta |
| quale è la differenza fra criterio di copertura delle condizioni e criterio di copertura delle condizioni composte? | nel primo le condizioni vengono singolarmente rese vere che false,
nel secondo si provano tutte le combinazioni
il secondo criterio diventa impraticabile con molte condizioni |
