Test delle procedure: Black-Box

static boolean palindrome (string s) throws NullPointerException {

// EFFECTS: se s è null solleva NullPointerException, altrimenti

// ritorna true se s è una palindrome, altrimenti ritorna false

... }

• dalla specifica

  • un test per l’argomento null
  • test che fanno restituire vero e falso

• casi limite

  • stringa vuota
  • stringa di un carattere

• nessun problema di aliasing

• dati di test: null, "", "a", "abba", "abbd"

Previous slide

Next slide

Back to first slide

View graphic version