Definición de pre-condición

Anuncios

En programación, las pre-condiciones, junto con las post-condiciones, permiten describir la función que realiza un proceso dentro de un sistema, sin especificar un algoritmo determinado.

Las pre-condiciones describen las cosas que deben darse antes de que el proceso pueda comenzar a ejecutarse: entradas de datos disponibles, relación que existe entre las entradas, relación entre las entradas y los almacenes, etc.

En otras palabras, las precondiciones son una o varias condiciones que deben ser siempre verdad antes de la ejecución de cierto sector del código o antes de una operación en una especificación formal.

Si una precondición es violada, el efecto de esa porción del código no está definido. Problemas de seguridad pueden ocurrir debido a precondiciones incorrectas.




Relacionados:
• Post-condición
• Especificación de procesos