Condición o predicado lógico que siempre debe cumplirse justamente después de la ejecución de una sección de código o de una operación.
Condiciones ambientales y de estado que deben cumplirse después de la ejecución de una prueba o procedimiento de prueba.
- test
prueba, verificación, comprobación, ensayo, examen
