WikiDer > Behauptung
EIN Behauptung (Englisch: Behauptung) ist in Programmiersprachen ein Prädikat (wahr oder falsch), die vom Entwickler in den Quellcode eines Computerprogramms eingefügt werden kann, um anzuzeigen, dass eine bestimmte Bedingung an dieser Stelle immer als wahr angenommen wird.
Eine Assertion hilft dem Entwickler, ein Programm zu entwerfen, zu entwickeln und darüber nachzudenken. Eine Assertion kann auch beim Debuggen eines Programms hilfreich sein (debuggen): Wenn eine Assertion fehlschlägt, weiß der Programmierer, dass irgendwo ein Fehler vorliegt.
Überblick
Eine Behauptung kann in . sein Kommentar platziert oder, wenn die Programmiersprache dies unterstützt, mit einem dedizierten Stichwort. Wenn die Behauptung falsch ist, kann ein Fehler generiert werden (wie z eine Ausnahme werfen). Ein Beispiel für eine Behauptung in der Programmiersprache Java ist:
intWert=30;behauptenWert>20;
Diese Zusicherung wird beim Ausführen des Programms überprüft.
Tony Hoare verwendete die folgende Notation zur Bezeichnung einer Behauptung in ihrer Veröffentlichung "Eine axiomatische Grundlage für die Computerprogrammierung1969:
intWert:=30;{ Wert > 20 }
Wenn eine Programmiersprache keine integrierte Funktionalität für eine Assertion hat, kann die Assertion kommentiert werden:
intWert=30;// { Wert > 20 }
Die Verwendung von Klammern dient dazu, diesen Kommentar von anderen Kommentaren zu unterscheiden.