Prueba de afirmación
¿Qué son las pruebas basadas en afirmaciones?
Una aserción es una expresión booleana en un punto específico de un programa que será verdadera a menos que haya un error en el programa. Una aserción de prueba se define como una expresión, que encapsula alguna lógica comprobable especificada sobre un objetivo bajo prueba.
Beneficios de las afirmaciones:
La principal ventaja de tener aserciones es identificar defectos en un programa. La utilidad de las afirmaciones incluye:
Se utiliza para detectar errores sutiles que pueden pasar desapercibidos.
Se utiliza para detectar errores antes de que ocurran.
Haga una declaración sobre los efectos del código que se garantice que es verdad.
Limitaciones de la afirmación
Como cualquier otro fragmento de código, las afirmaciones pueden contener errores. Puede provocar los siguientes problemas:
No informar de un error que existe.
Informar un error cuando no existe.
Puede provocar otros efectos secundarios
Puede tardar en ejecutarse si contiene errores y también ocupa memoria.
¿Cómo pueden las afirmaciones bloquear las pruebas?
Si una afirmación falla por una u otra razón, la consecuencia de la misma puede ser severa. Una afirmación podría convertirse en un obstáculo que podría resultar en la interrupción de la prueba durante todo un día. Algunas condiciones que deseamos probar pueden ser conceptualmente simples, pero es muy difícil de verificar en la práctica.