Ejecución Simbólica y Prueba de Mutaciones: mejora de la generación automática de casos de prueba

  1. Kevin J. Valle-Gómez 1
  2. Pedro Delgado-Pérez 1
  3. Inmaculada Medina-Bulo 1
  4. Antonio García-Domínguez
  1. 1 Departamento de Ingeniería Informática, Universidad de Cádiz, España
Actas:
XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021)

Editorial: Sistedes Biblioteca Digital

Año de publicación: 2021

Páginas: 4

Tipo: Aportación congreso

Resumen

La prueba del software es una etapa compleja y costosa del desarrollo de software, existiendo una gran variedad de soluciones para reducir su coste y mejorar su calidad. En concreto, con respecto a la generación de pruebas, la ejecución simbólica dinámica (ESD) permite generar automáticamente pruebas con una buena cobertura estructural. En cuanto a la evaluación de las pruebas, la prueba de mutaciones (PM) evalúa la calidad de los casos de prueba introduciendo pequeños cambios localizados que se asemejan a fallos reales. Sin embargo, se sabe que la ESD genera pruebas que no tienen una buena cobertura de mutaciones. En este trabajo, proponemos combinar la ESD con la PM, de tal manera que obtengamos automáticamente conjuntos de casos de prueba con una mejora significativa de la cobertura de mutación y, por tanto, de la detección de fallos reales.