Ejecución Simbólica y Prueba de Mutacionesmejora de la generación automática de casos de prueba

  1. Kevin J. Valle-Gómez 1
  2. Pedro Delgado Pérez 1
  3. María Inmaculada Medina Bulo 1
  4. Antonio García Domínguez 1
  1. 1 Universidad de Cádiz
    info

    Universidad de Cádiz

    Cádiz, España

    ROR https://ror.org/04mxxkb11

Libro:
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
  1. Rafael Capilla (coord.)
  2. Maider Azanza (coord.)
  3. Miguel Rodríguez Luaces (coord.)
  4. María del Mar Roldán García (coord.)
  5. Loli Burgueño (coord.)
  6. José Raúl Romero (coord.)
  7. José Antonio Parejo Maestre (coord.)
  8. José Francisco Chicano García (coord.)
  9. Marcela Genero (coord.)
  10. Oscar Díaz (coord.)
  11. José González Enríquez (coord.)
  12. Mª Carmen Penadés Gramaje (coord.)
  13. Silvia Abrahão (col.)

Editorial: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES)

Año de publicación: 2021

Congreso: Jornadas de Ingeniería del Software y Bases de Datos (JISBD) (25. 2021. Malaga)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR lock_openAcceso abierto editor

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.

Fuente de los datos: Dialnet