- runs on Posix/Windows, Python 2.6-3.5, PyPy and (possibly still) Jython-2.5.1
- well tested with more than a thousand tests against itself
- strict backward compatibility policy for safe pytest upgrades
- comprehensive online and PDF documentation
- many third party plugins and builtin helpers,
- used in many small and large projects and organisations
- comes with many tested examples
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
