Wann soll der Test also fehlschlagen und was genau soll er überprüfen: die Implementierung oder den Vertrag/die Schnittstelle der Klasse?