¿Qué son las afirmaciones en el desarrollo de software?

Las aserciones son una forma de especificar el comportamiento o las propiedades esperadas de un sistema, generalmente en el contexto del desarrollo de software. Una afirmación es una afirmación que se supone verdadera sin pruebas y se utiliza para verificar que el sistema se comporta como se espera. Por ejemplo, una afirmación podría indicar que una determinada función siempre devolverá un valor no nulo, o que una cierta variable siempre contendrá una cadena válida. Si se viola la afirmación, puede indicar un error o error en el sistema. Las afirmaciones se utilizan a menudo en pruebas unitarias para garantizar que los componentes individuales de un sistema estén funcionando correctamente. También se pueden usar en el código de producción para imponer ciertas propiedades o restricciones en el comportamiento del sistema. Hay diferentes tipos de afirmaciones, como por ejemplo: error.
* Afirmaciones suaves: son afirmaciones que pueden no siempre ser ciertas, pero si se violan, no se considera un error fatal.
* Afirmaciones con mensajes: son afirmaciones que proporcionan un mensaje cuando se violan, lo que puede ayudar para identificar la causa del error.

Las afirmaciones se pueden implementar utilizando diferentes lenguajes y marcos, como Java, C#, Python, etc. Algunas bibliotecas de afirmaciones populares incluyen afirmaciones de JUnit, afirmaciones de Pytest y afirmaciones de NUnit.