Schnittstellen und Tests

man überzeuge sich von

• Benutzbarkeit einer Schnittstelle (unabhängig von Implementierung)

  ...wird das gewünschte Ergebnis durch eine Folge von Methodenaufrufen vertraglich garantiert?

• Korrekheit einer Implementierung

mögliche Argumentation:

• formal (Beweis)
• testend (beispielhaft)

  ...benutze Proxy, der Vor/Nachbedingungen auswertet