En la lógica una condición previa del es una condición que tiene que ser cumplida antes de que una discusión principal pueda tener cualquier valor.

----

En la programación de computadora, una condición previa es un predicado de la condición o que debe siempre ser verdad apenas antes de la ejecución de una cierta sección del código o antes de una operación en una especificación formal .

Si se viola una condición previa, el efecto de la sección del código llega a ser indefinido y los mayo o mayo para no realizar así su trabajo previsto. Los problemas de la seguridad pueden presentarse debido a las condiciones previas incorrectas.

A menudo, las condiciones previas se incluyen simplemente en la documentación de la sección afectada del código. Las condiciones previas se prueban a veces usar las aserciones dentro del código sí mismo, y algunas idiomas tienen construcciones sintácticas específicas para hacer tan.

Por ejemplo: el factorial se define solamente para los números enteros mayor o igual cero. Un programa que calcula el factorial de un número de la entrada tendría tan condiciones previas que el número sea un número entero y que sea mayor o igual cero.

Ver también

Diseño por el contrato
Postcondition
Lógica de Hoare
Invariants mantenido por condiciones
Disparador de la base de datos

.

Zenithic

Kingston and the Islands

Random links:

Monarquía de Suecia | Mitama, Yamanashi | George Baird (atleta) | Superquadrics