• 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.