Uso de simulación para investigar empíricamente criterios de cobertura de pruebas basados en diagramas de estado

Se han propuesto varias estrategias de prueba utilizando máquinas de estado y diagramas de estado como modelos de prueba con el fin de derivar secuencias de prueba y validar clases o grupos de clases. Aunque tales criterios tienen la ventaja de ser sistemáticos, se sabe poco sobre su costo-efectividad y cómo se comparan entre sí. Este artículo presenta un procedimiento de simulación y análisis preciso para analizar la costo-efectividad de las técnicas de prueba basadas en diagramas de estado. Luego investigamos, utilizando este procedimiento, la efectividad de costo y detección de fallos de conjuntos de prueba adecuados para los criterios de cobertura más referenciados para diagramas de estado en tres estudios de caso representativos diferentes. A través del análisis de resultados comunes y diferencias entre estudios, intentamos extraer conclusiones más generales sobre los costos y beneficios de utilizar los criterios en investigación.