Dus, wanneer moet de test falen en wat moet het precies controleren: de implementatie of het contract/de interface van de klasse?