precondition

In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or before an operation in a formal specification.

Die Vorbedingung einer Funktion oder eines Programms gibt an, unter welchen Voraussetzungen das Verhalten der Funktion definiert ist. Die Vorbedingung ist Teil der formalen Spezifikation der Funktion (bzw. des Programms) und dient der Verifikation: Wenn sie gilt, so müssen nach Ausführung der Funktion alle Nachbedingungen erfüllt sein, sonst ist das Programm nicht korrekt.

Il s'agit d'une condition appliquée au début d'un calcul ou d'une fonction informatique, et permettant d'en valider le résultat.