Table of Contents
Testing e debugging
Validazione
Sommario
Validazione
Validazione via testing
Testing
Dati di test
Black-Box testing
Testing dei cammini nella specifica
Testing dei cammini nella specifica 1
Testing dei cammini nella specifica 2
Testing dei cammini nella specifica 3
Testing dei casi limite
Errori dovuti a aliasing
Glass-Box testing
Glass-Box testing: esempi 1
Glass-Box testing: esempi 2
Glass-Box testing: esempi 3.1
Glass-Box testing: esempi 3.2
Glass-Box testing: conclusioni 1
Glass-Box testing: conclusioni 2
Test delle procedure: un esempio
Test delle procedure: Black-Box
Test delle procedure: Glass-Box
Test degli iteratori
Test degli iteratori: esempio
Test delle astrazioni di dato
L’amico IntSet (specifica)
Specifiche di isIn e elements
Test per gli osservatori 1
Cammini nascosti
Test per gli osservatori 2
L’amico IntSet (implementazione)
Glass-Box Testing per IntSet
Test di astrazioni polimorfe
Test di una gerarchia di tipi
Test con un supertipo
Esempio di test con il supertipo Iterator 1
Esempio di test con il supertipo Iterator 2
Test Black-Box per il sottotipo
Test Glass-Box per il sottotipo
Test di un supertipo
Test di una gerarchia con implementazioni multiple
Test di astrazione sincronizzate (concorrenza)
Strumenti per il testing
Strumenti per il testing: verifica dei risultati
Strumenti per il testing: stubs
Testing di unità, di integrazione e di regressione
Debugging
Defensive programming
|