Testing dei casi limite

• considerare tutti i cammini attraverso la clausola REQUIRES permette di individuare alcuni casi limite

  • il caso in cui sqrt deve trovare la radice quadrata di 0

• altri casi limite non emergono da tale analisi e vanno considerati esplicitamente

• la verifica dei casi limite consente il controllo di due tipi di errori

  • errori logici

    • manca il cammino che dovrebbe trattare un caso speciale
  • mancato controllo di condizioni che possono causare il sollevamento di eccezioni o da parte del linguaggio o da parte del sistema (per esempio overflow aritmetico)

• per generare test che consentano di rivelare il secondo tipo di errore è buona regola usare dati di test che coprano tutte le combinazioni dei valori più grandi e più piccoli consentiti per tutti gli argomenti numerici

Previous slide

Next slide

Back to first slide

View graphic version