Una precondición es una condición que ha de satisfacerse justo antes del comienzo de la ejecución de una porción de código (normalmente un subprograma o método).
Por ejemplo:
El factorial de un número sólo está definido para valores positivos (o cero). Por tanto, un subprograma que calcule el factorial de un número exigirá que dicho número sea mayor o igual que cero.
La precondición expresa las condiciones que han de cumplir los datos del problema. Es una restricción que define el conjunto de estados para los que aseguramos que el problema va a tener una solución y que sabemos computarla al garantizar un comportamiento correcto.
Por ejemplo, si vamos a utilizar una división entre enteros no admitiremos que el denominador sea 0. En caso de duda estaremos tentados de utilizar precondiciones muy restrictivas; esto no es muy útil, ya que cuanto más débil es la precondición (es decir, menos restricciones se imponen) con más problemas tratamos (o lo que es lo mismo, más general es el problema). Si vamos a proporcionar un programa para este problema, el programa será más útil cuando se emplee en más casos.
No hay comentarios:
Publicar un comentario