Test delle procedure: Glass-Box

static boolean palindrome (string s) throws NullPointerException {

int low = 0;

int high = s.length()-1;

while (high > low) {

if (s.charAt(low) != s.charAt(high)) return false;

low++; high--; }

return true; }

• casi da controllare

1. NullPointerException che può essere sollevata dalla chiamata di length

(s=null, c’è già)

2. non esecuzione del ciclo (s="", c’è già)

3. restituzione di falso nella prima iterazione (s="abbd", c’è già)

4. restituzione di vero dopo la prima iterazione (s="a", c’è già)

5. restituzione di falso nella seconda iterazione, aggiungiamo "aaba"

6. restituzione di vero dopo la seconda iterazione (s="abba", c’è già)

• dato che la sola stringa con un numero dispari di caratteri ne ha esattamente uno, possiamo aggiungere un paio di stringhe di test di lunghezza dispari

• il test va eseguito in un ordine ragionevole, con prima le stringhe più corte

Previous slide

Next slide

Back to first slide

View graphic version