Assert Übersicht, Assert Biographie, Assert Video, Assert Ähnliche Künstler, Assert Diskografie, Assert Tags
Sie sind in: HOME : A : Assert :Biographie Assert
Eine Zusicherung oder Assertion (lat./engl. für Aussage; Behauptung) ist
eine Aussage über den Zustand eines Computer-Programmes. Mit Hilfe von
Zusicherungen können logische Fehler im Programm oder Defekte in der
umgebenden Hard- oder Software erkannt und das Programm kontrolliert
beendet werden.
Anwendung Durch die Formulierung einer Zusicherung bringt der Entwickler
eines Programms seine Überzeugung über bestimmte Bedingungen während der
Laufzeit eines Programms zum Ausdruck und lässt sie Teil des Programms
werden. Er trennt diese Überzeugungen von den normalen Laufzeitumständen ab
und nimmt diese Bedingungen als stets wahr an. Abweichungen hiervon werden
nicht regulär behandelt, damit die Vielzahl möglicher Fälle nicht die
Lösung des Problems vereitelt, denn natürlich kann es während der Laufzeit
eines Programms dazu kommen, dass 2+2=4 einmal nicht gilt, z.B. weil
Variablen durch Programmfehler im Betriebssystem übe
