Einleitung

Zusammenfassung

Programme werden stets geschrieben, um ganz bestimmte, vorher festgelegte Anforderungen zu erfüllen. Die hauptsächliche Anforderung dabei ist die Erfüllung einer ganz bestimmten Aufgabe; wenn das Programm diese Aufgabe erfüllt, nennt man es korrekt. Außer der Korrektheit sollen Programme in der Regel noch einige weitere positive Eigenschaften haben, zum Beispiel:

• Anpaßbarkeit Kleine Änderungen in der Aufgabenstellung sollen kleine Änderungen im Programm zur Folge haben.

• Robustheit Falsche Eingaben sollen soweit irgend möglich erkannt werden, anstatt kommentarlos zu falschen Ausgaben zu führen oder dazu, daß das Programm sich „aufhängt“, d.h. in eine Endlosschleife läuft oder vom Betriebssystem abnormal beendet wird.

• Stabilität Kleine Fehler in den Eingabedaten sollen nicht zum Zusammenbruch des ganzen Systems führen; vielmehr soll unter Zugrundelegung realistischer Annahmen über die Art des Fehlers eine normale Behandlung versucht werden bzw.im interaktiven Fall der Benutzer zu einer verbesserten Eingabe veranlaßt werden.