Minimización de conjuntos de casos de prueba en la prueba de mutaciones de composiciones BPEL

Resumen:

Tanto en la aplicación de prueba de mutaciones a composiciones BPEL como en la realización de estudios experimentales sobre diversas métricas de calidad, surge la necesidad de minimizar conjuntos de casos de prueba manteniendo la máxima cobertura de mutación. La prueba de este tipo de software presenta algunas peculiaridades. Normalmente, las composiciones son relativamente pequeñas cuando se comparan con aplicaciones desarrolladas en lenguajes tradicionales, pues se encargan exclusivamente de la orquestación de los servicios, y no se dispone de un gran número de casos de prueba para ellas. No obstante, su ejecución puede resultar muy costosa, y debe realizarse para un número de mutantes que, normalmente, supera ampliamente al de casos de prueba. Proponemos aquí como técnica de minimización una reducción a programación lineal entera y evaluamos su rendimiento para distintas composiciones.

Palabras Clave:

Minimización de conjuntos de casos de prueba, Programación lineal entera, Prueba de mutaciones, Composiciones BPEL

Autor(es):

• Francisco Palomo-Lozano {francisco.palomo@uca.es}
  Departamento de Ingeniería Informática, Universidad de Cádiz
  
• Antonia Estero-Botaro {antonia.estero@uca.es}
  Departamento de Ingeniería Informática, Universidad de Cádiz
  
• Inmaculada Medina-Bulo {inmaculada.medina@uca.es}
  Departamento de Ingeniería Informática, Universidad de Cádiz
  

Handle:

11705/JISBD/2016/046

Descargas:

Este artículo tiene una licencia de uso CreativeCommons Reconocimiento (by)

Descarga el artículo haciendo click aquí.

Ver la referencia en formato Bibtex