Capítulo XXV. Análisis a la eficiencia del conjunto de casos de prueba generados con la técnica Requirements by contracts

• Autores: Edgar Serna M.
• Localización: Métodos formales, ingeniería de requisitos y pruebas del software / Edgar Serna M. (ed. lit.), 2021, ISBN 978-958-53278-0-1, págs. 337-348
• Idioma: español
• Enlaces
  • Texto Completo Libro (pdf)
• Resumen

  • En este capítulo se analiza el nivel de madurez del conocimiento y la eficiencia del conjunto de casos de prueba diseñados con la técnica Requirements by Contracts [1] para las pruebas funcionales, aplicada en un caso práctico. A partir del análisis del estado del arte es posible concluir que esta propuesta es incompleta para el objetivo de las pruebas, y que partiendo de la especificación funcional no es posible generar un conjunto de casos de prueba suficiente para ejecutar sobre el sistema bajo prueba.