Test delle astrazioni di dato
dobbiamo generare casi di test considerando specifica e implementazione di ciascuna operazione
dobbiamo però fare il test delle operazioni in gruppo perché alcune operazioni (i costruttori e i modificatori) producono gli oggetti che sono usati nel test delle altre
- nelle operazioni di IntSet il costruttore e i metodi insert e remove devono esser usati per generare gli argomenti per le altre operazioni e l’una per l’altra
gli osservatori sono usati per il test di costruttori e mutatori
- isIn e size sono usati per esaminare gli insiemi prodotti da insert e remove
repOk ha un ruolo speciale in questo test
- dovremmo chiamarlo dopo ciascuna chiamata di un’operazione del tipo di dato (sia metodo che costruttore)
- deve restituire vero (altrimenti abbiamo trovato un errore!)