Assertion

Formale Zusicherung, das bestimmte Bedingungen erfüllt sind, die zur Laufzeit eines Programmes überprüft wird.

Ist die Bedingung nicht erfüllt, ist das Verhalten nicht definiert, d.h. im Allgemeinen bricht das Programm mit einem Fehler ab. Es könnte aber auch sein, dass Raketen auf den Planeten Venus abgefeuert werden - eben undefiniertes Verhalten.

Erstmalig wurden Assertions 1947 durch von Neumann und Goldstine angedacht.

Eine Weiterentwicklung dieses Gedankens ist Design by Contract.