- Las precondiciones son las condiciones que deben cumplir los parámetros recibidos por una función.
- Las postcondiciones son las condiciones cumplidads por los resultados que la función devuelve y por los parámetros recibidos, siempre que las precondiciones hayan sido vá-lidas.
- Los invariantes de ciclo son las condiciones que deben cumplirse al comienzo de cada iteración de un ciclo.
- En el caso en que estas aseveraciones no sean verdaderas, se deberá a un error en el diseño o utilización del código.
- En general una función no debe modificar el contenido de sus parámetros, aún cuando esto sea posible, a menos que sea la funcionalidad explícita de esa función.
Copyright (c) 2011-2014 Rosita Wachenchauzer, Margarita Manterola,
Maximiliano Curia, Marcos Medrano, Nicolás Paez.
La copia y redistribución de esta página se permite bajo los términos
de la licencia Creative Commons Atribución - Compartir Obras Derivadas
Igual 3.0 siempre que se conserve esta nota de copyright.