Resumen de Utilización de los casos de uso en las pruebas de aceptación
Esta ponencia propone un método de diseño de las pruebas de aceptación a partir de los requisitos de un sistema especificados como casos de uso. El método convierte los casos de uso redactados con un vocabulario controlado a la lógica booleana. Esta transformación a una notación lógica garantiza de forma rigurosa la cobertura funcional de las pruebas. La realización de la conversión a la lógica booleana a nivel del caso de uso permite el diseño de pruebas de aceptación para sistemas pequeños y grandes con garantía total de cobertura funcional. Esto no suele ser garantizable con las prácticas en la industria de diseño de las pruebas de aceptación basado en el experiencia.
