Incorporación de mutaciones en la Ejecución Simbólica Dinámica

Resumen:

Hoy en día, existe una gran variedad de soluciones para reducir los costes de las pruebas y mejorar su calidad. La combinación de dos técnicas conocidas como la Ejecución Simbólica Dinámica (ESD) y la Prueba de Mutaciones (PM) produce conjuntos de pruebas capaces de detectar un buen número de mutantes, pero a expensas de un elevado coste. En este trabajo se propone un enfoque para alcanzar los buenos resultados de combinar ESD y PM sin aumentar el ya de por s+AO0 elevado coste de utilizar ESD.

Palabras Clave:

Ejecución Simbólica Dinámica - Generación automática de pruebas - prueba de mutaciones

Autor(es):

• Kevin J. Valle-Gómez {kevin.valle@uca.es}
  Universidad de Cádiz - Spain
  
• Pedro Delgado-Pérez {pedro.delgado@uca.es}
  Universidad de Cádiz - Spain
  
• Inmaculada Medina-Bulo {inmaculada.medina@uca.es}
  "Department of Computer Languages and Systems - Spain
  
• Antonio Garcia-Dominguez {a.garcia-dominguez@aston.ac.uk}
  "Department of Computer Science - United Kingdom
  

Handle:

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