Postcondición
Sign in to saveAlso known as output condition, postconditions, output conditions
In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simply included in the documentation of the affected section of code.
Wikidata facts
- Subclass of
- condition
Show 1 more fact
- different from
- precondition
Sources (1)
via Wikidata · CC0
Article · Español
En programación, una postcondición es una condición o predicado lógico que siempre debe cumplirse justamente después de la ejecución de una sección de código o de una operación (especificación formal). Las postcondiciones se prueban a veces mediante aserciones incluidas en el código. A menudo, las postcondiciones se incluyen simplemente en la documentación de la correspondiente sección de código. Por ejemplo: el resultado de un factorial es siempre un entero mayor o igual que 1. De este modo un programa que calcula el factorial de un número dado tendría como postcondiciones que el resultado debe ser un entero y que este debe ser mayor o igual que 1.
Abstract from DBpedia / Wikipedia · CC BY-SA