Test des Vertrages und nicht der Algorithmen Modultests testen gemäß dem Design-by-contract -Prinzip möglichst nicht die Interna einer Methode, sondern nur ihre externen Auswirkungen (Rückgabewerte, Ausgaben, Zustandsänderungen, Zusicherungen).