Software-Tests

• Spezifikation = Vertrag

  (zwischen Aufrufer und Unterprogramm)

• Vertragserfüllung kann man
  • beweisen
  • testen
• Tests vor der Implementierung schreiben,

  dann nur soweit implementieren, bis alle Tests funktionieren.