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

• Kevin J. Valle-Gómez ^[1] ; Pedro Delgado Pérez ^[1] ; María Inmaculada Medina Bulo ^[1] ; Antonio García Domínguez ^[1]
  1. [1] Universidad de Cádiz
• Localización: 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] / coord. por Rafael Capilla Sevilla, Maider Azanza Sese, Miguel Rodríguez Luaces, M. M. Roldán García, Dolores Burgueño Caballero, José Raúl Romero Salguero, José Antonio Parejo Maestre, José Francisco Chicano García, Marcela Genero, Óscar Díaz García, José González Enríquez, María Carmen Penades Gramage; Silvia Mara Abrahao Gonzales (col.), 2021
• Idioma: español
• Enlaces
  • Texto completo
• 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.