Die von Bertrand Meyer (Erfinder der Sprache Eiffel) entwickelte Vertragsbasierte Programmierung ermöglicht, dass
- Programmteile (Funktionen oder Module) erwarten, dass eine (formale) Vorbedingung (engl. precondition) erfüllt ist,
- dann sichern sie zu, dass das Ergebnis einer (ebenfalls formalen) Nachbedingung (engl. postcondition) entspricht.
- Als drittes gibt es die sogenannten Invarianten (engl. invariants), das sind (formale) Zusicherungen, die während der gesamten Laufzeit gelten (genauer: für alle Instanzen einer Klasse).
Design by Contract ist somit eine Weiterentwicklung der Assertions (Zusicherungen).
Neuen Kommentar hinzufügen