Glass-Box testing: esempi 3.2
un frammento di programma
for (int i = 1; i <= 100; i++)
if (Tests.pred (i*j)) j++;
l’approssimazione piú comune è basata sul considerare equivalenti due o più iterazioni
cerchiamo quindi un insieme di dati di test path-complete per il programma equivalente per lo scopo del testing
for (int i = 1; i <= 2; i++)
if (Tests.pred (i*j)) j++;.
ci sono solo quattro cammini corrispondenti alle condizioni
- pred(k) e pred(2k+2)
- pred(k) e !pred(2k+2)
- !pred(k) e pred(2k)
- !pred(k) e !pred(2k)