PJ

Vertragsmodell
•Dienstleister und Klient haben Vertrag.
•Vertrag steht in der Dienstleister-Klasse.
•Vorbedingungen und Nachbedingungen.
•Wenn Vorbedingungen erfüllt sind, muss der Dienstleister die Nachbedingungen erfüllen.
•Wenn nicht, darf die Methode nicht aufgerufen werden. Wenn doch => Shitstorm

Vertragsmodell
Zusammenfassung:
•Dienstleister legt Vertrag für eine Methode fest.
•Alle Klienten haben sich daran zu halten.
•Dann hält sich auch der Dienstleister daran.

Vertragsmodell
In Java:
•@require [Vorbedingung]
•@ensure [Nachbedingung]

Vertragsmodell
•Können Vorbedingungen verschärft werden? Siehe Subtyping.

Programmierfehler
Zeller:
•defect = Programmierfehler
•infection = Fehler im Zustand
  –durch ausgeführten Code mit defect
•failure = Sichtbar gewordene Infection

Programmierfehler
Zeller:
•defects können beliebig lange unentdeckt bleiben.
•infections auch, wenn wir nicht darauf testen.

Programmierfehler
•…können im Programm selbst z.B. durch Exceptions behandelt werden.
•Gleiches gilt für Umgebungsfehler.