Programación de afirmaciones de afirmaciones

Al escribir código, siempre hacemos algunas suposiciones y se utilizan aserciones para capturar estas suposiciones en el código. Las aserciones se representan como alguna expresión booleana que el programador cree que es verdadera en un punto particular del programa. La verificación de aserciones se puede habilitar y deshabilitar en cualquier momento, por lo que las aserciones se pueden habilitar durante las pruebas y deshabilitarlas durante la implementación. Asimismo, una vez que el programa se está ejecutando, los usuarios finales pueden volver a habilitar las afirmaciones si encuentran problemas.

Utilice aserciones para crear código que sea más estable, de mejor calidad y menos propenso a errores. Cuando necesite interrumpir la operación actual cuando un valor es FALSO, puede utilizar aserciones. Las pruebas unitarias deben utilizar aserciones (Junit/JunitX).

Además de la verificación de tipos y las pruebas unitarias, las aserciones proporcionan una excelente manera de determinar si se mantienen varias características en un programa.

El uso de aserciones nos acerca un paso más al diseño por contrato.