Artículo:
Cobertura de caminos utilizando MBT y CP

Fecha

2022-09-05

Editor

Sistedes

Publicado en

Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022)

Licencia Creative Commons

Resumen

En la prueba de software basada en modelos es frecuente representar el modelo de la aplicación en forma de diagrama de esta- dos para visualizarlo más claramente, permitiendo tener cobertura de caminos de manera visual. Por otro lado, cada camino del modelo est+AOE definido por una serie de condiciones que se pueden expresar en forma de restricciones (programación de restricciones), lo que permite obtener un conjunto de casos de prueba que cumplan esas restricciones para los caminos definidos. En este trabajo se propone combinar ambas técnicas (pruebas basadas en modelos y pogramación con restricciones) para ob- tener un conjunto de casos de prueba con cobertura de caminos. Para realizar esto, se proponen dos herramientas: GraphWalker (para la repre- sentación del modelo) y MiniZinc (para obtener la cobertura de caminos mediante programación con restricciones).

Descripción

Acerca de de Castro-Cabrera, M. Carmen

Palabras clave

Cobertura De Caminos, GraphWalker, MiniZinc, Programación Con Restricciones, Pruebas Basadas En Modelos
Página completa del ítem
Notificar un error en este artículo
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX