Tanto las precondiciones como las postcondiciones son aseveraciones (en inglés assert). Es decir, afirmaciones realizadas en un momento particular de la ejecución sobre el estado computacional. Si llegaran a ser falsas significaría que hay algún error en el diseño o utilización del algoritmo.
Para comprobar estas afirmaciones desde el código en algunos casos podemos utilizar la instrucción assert
, está instrucción recibe una condición a verificar y, opcionalmente, un mensaje de error que devolverá en caso que la condición no se cumpla.
>>> n=0
>>> assert n!=0, "El divisor no puede ser 0"
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
AssertionError: El divisor no puede ser 0
De este modo: assert –> “Condición que debe cumplirse”
ADVERTENCIA: es importante tener en cuenta que assert
está pensado para ser usado en la etapa de desarrollo. Un programa terminado nunca debería dejar de funcionar por este tipo de errores.
SOURCE: http://librosweb.es/libro/algoritmos_python/capitulo_10/pre_y_postcondiciones.html