Ho generato il grafico del programma di un metodo che contiene una condizione if e un ciclo for , e ho bisogno di generare casi di test che coprano "ogni ramo". Includerebbe il ciclo for , dato che i grafici del programma sono astrazioni del codice effettivo e il ciclo for fa sì che ci siano due percorsi separati nel grafico del programma?
public int void randMethod(int num) {
for (i = 0; i <= 1; i++) {
if (num == 1) {
num--;
} else {
...
}
}
....
}
Potresti coprire tutti i rami con un singolo caso di test, cioè dove num input == 1?