Cobertura de caminos utilizando MBT y CP

  1. M.Carmen De Castro-Cabrera 1
  2. Antonio Garcia-Dominguez 2
  3. Inmaculada Medina-Bulo 1
  1. 1 Departamento de Ingeniería Informática, Universidad de Cádiz, Cádiz, España
  2. 2 University of York, York, Reino Unido
Konferenzberichte:
Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022)

Verlag: Sistedes

Datum der Publikation: 2022

Seiten: 1-4

Art: Konferenz-Beitrag

GOOGLE SCHOLAR lock_openOpen Access editor

Zusammenfassung

En la prueba de software basada en modelos es frecuente representar el modelo de la aplicación en forma de diagrama de estados para visualizarlo más claramente, permitiendo tener cobertura de caminos de manera visual. Por otro lado, cada camino del modelo está 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 plantea combinar ambas técnicas (pruebas basadas en modelos y programación con restricciones) para obtener un conjunto de casos de prueba con cobertura de caminos. Para realizar esto, se proponen dos herramientas: GraphWalker (para la representación del modelo) y MiniZinc (para obtener la cobertura de caminos mediante programación con restricciones).