Testing dei cammini nella specifica 3

• spesso i cammini attraverso la clausola EFFECTS riguardano il trattamento di errori

  • non segnalare un’eccezione quando ci si trovi in un caso eccezionale è altrettanto grave quanto non dare il risultato giusto con un input normale
  • perciò i dati di test dovrebbero verificare che tutte le eccezioni possibili siano sollevate

static int search (int[] a, int x) throws NotFoundException, NullPointerException

// EFFECTS: se a è null solleva NullPointerException; se x è

// contenuto in a ritorna i tale che a[i]=x; altrimenti

// solleva NotFoundException

• dobbiamo includere test per i tre casi

1. a è null |

2. x non occorre in a |

3. x occorre in a

Previous slide

Next slide

Back to first slide

View graphic version