Allora, quando il test deve fallire e cosa deve verificare esattamente: l'implementazione o il contratto/interfaccia della classe?