Glass-Box testing: esempi 1
static int maxOfThree (int x, int y, int z) {
if (x > z) return x; else return z;
if (y > z) return y; else return z; }
ci sono n 3 diversi inputs
- n è l’intervallo di interi consentito dal linguaggio di programmazione
ci sono solo quattro cammini nel programma
la proprietà di path-completeness ci porta a ripartire i dati di test in quattro gruppi
- x > y e x > z
- x > y e x <= z
- x <= y e y > z
- x <= y e y <= z
inputs rappresentativi dei gruppi
3, 2, 1 3, 2, 4 1, 2, 1 1, 2, 3