Piano del collaudo
Il piano di collaudo prevede l'analisi, per vari possibili input, degli output e dei cambiamenti di stato.
Perciò le strade possibili sono varie, e sono
- l'uso di una tabella (che faccia da dizionario "stato inziale - metodo - stato finale")
- lo sviluppo di unit-test
Unit-test
E' possibile sviluppare, a partire delle interfacce di interazione, delle classi di test. Queste permettono di capire in modo chiaro
quali debbano essere i comportamenti del sistema. E' necessario usare un linguaggio formale technology-bound, in quanto non esiste
al momento un linguaggio formale per la sola definizione dei test.
In quest'area possono, quindi, essere inserite direttamente le classi di test (in quale che sia il linguaggio scelto), anche se il loro
significato non è quello del linguaggio in sè, ma ne utilizzano solo la semantica formale per esplicitare i problemi e i test
che verranno definiti e applicati solo in fase di progettazione.
Dizionario argomenti-output
Questo strumento permette di affrontare in modalità black-box il rapporto tra gli argomenti dei metodi e
gli output desiderati dall'utente.
