Test Black-Box per il sottotipo
basati su tutti i costruttori del sottotipo
due origini per questi test
- test per i metodi ereditati le cui specifiche sono cambiate
- se il metodo del sottotipo ha una precondizione più debole, i suoi test black-box includeranno i casi che sono consentiti dalla sua precondizione ma non dalla precondizione del metodo del supertipo
- se il metodo del sottotipo ha una postcondizione più forte andrà fatto il test dei casi extra
- i test per l’iteratore elements di SortedIntSet devono verificare che gli elementi siano prodotti in modo ordinato
- per il generatore restituito da allPrimes vorremo controllare che produce veramente numeri primi e non ne tralascia nessuno
- test per i metodi extra
- come i metodi extra interagiscono con i metodi del supertipo
- effetto dei metodi extra
- per MaxIntSet ci saranno test per assicurarci che max non modifichi l’insieme e che restituisca il risultato giusto