pre o post condicines

Las precondiciones son las condiciones que deben cumplirse antes de ejecutar una acción, proceso o algoritmo para asegurar que se pueda llevar a cabo correctamente. Se consideran como los requisitos previos necesarios para que el sistema o proceso funcione de manera esperada. En otras palabras, son las suposiciones o el estado del sistema que se debe garantizar antes de iniciar una operación.

Las postcondiciones son las condiciones que deben cumplirse después de ejecutar una acción o proceso. Representan el estado esperado del sistema después de que el algoritmo o la operación haya terminado. Son las condiciones que aseguran que el proceso o la función se haya ejecutado correctamente y que los resultados sean los correctos.