Design by Contract

Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
Das Ziel von Design by Contract ist das reibungslose Zusammenspiel einzelner Programmartefakte die Problematik der mißverstandenen Schnittstellen weitgehend ausgeräumt

Dies wird durch einen Vertrag erreicht beispielsweise bei der Verwendung einer Methode einzuhalten Dieser besteht zum einen aus den Vorbedingungen also den Zusicherungen die der Aufrufer hat. Zum anderen besteht er aber auch den Nachbedingungen also den Zusicherungen die der Aufgerufene wird. In einem konkreten Vertrag für eine Methode werden dann die Wertebereiche der Eingangsparameter genau klassifiziert sowie deren und Anforderungen festgehalten. Dementsprechend werden auch die beschrieben.

Somit wird zusätzlich zu den von Programmiersprache selber verwendeten Sicherungsverfahren wie zum Beispiel Typkontrolle auch eine semantische Sicherung ermöglicht.

Weitergehende Informationen über eine mögliche DBC-Verwendung Java: [1]

Bücher zum Thema Design by Contract

Dieser Artikel von Wikipedia unterliegt der GNU FDL.

Impressum • Lesezeichen setzen • Seite versenden • Seite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/Lexikon/Design_by_Contract.html">Design by Contract </a>