Test con un supertipo
i test black-box del supertipo devono essere basati su chiamate ai costruttori del sottotipo
- i test vengono fatti per oggetti del sottotipo
- alcuni supertipi (quelli definiti da interfacce e classi astratte) non hanno costruttori e i loro test sono semplicemente template, in cui le chiamate ai costruttori devono essere riempiti con quelli dei sottotipi