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.
postcondición, este, artículo, sección, necesita, referencias, aparezcan, publicación, acreditada, este, aviso, puesto, enero, 2013, programación, postcondición, condición, predicado, lógico, siempre, debe, cumplirse, justamente, después, ejecución, sección, c. Este articulo o seccion necesita referencias que aparezcan en una publicacion acreditada Este aviso fue puesto el 11 de enero de 2013 En programacion una postcondicion es una condicion o predicado logico que siempre debe cumplirse justamente despues de la ejecucion de una seccion de codigo o de una operacion especificacion formal Las postcondiciones se prueban a veces mediante aserciones incluidas en el codigo A menudo las postcondiciones se incluyen simplemente en la documentacion de la correspondiente seccion de codigo 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 numero dado tendria como postcondiciones que el resultado debe ser un entero y que este debe ser mayor o igual que 1 Vease tambien EditarPrecondicion Diseno por Contrato Logica de Hoare Invariantes mantenidas por condiciones Disparador Bases de datos Datos Q360690Obtenido de https es wikipedia org w index php title Postcondicion amp oldid 130702345, wikipedia, wiki, leyendo, leer, libro, biblioteca,