Resumen

La prueba de mutación es un método efectivo de pruebas de software basado en defectos, pero un gran número de mutantes conlleva a costos de pruebas costosos, lo que dificulta la aplicación de la prueba de variación en la ingeniería industrial. Para resolver este problema y permitir que la prueba de mutación se aplique en la ingeniería industrial, este artículo mejora el método de identificación de mutantes redundantes basado en análisis de flujo de datos y propone la relación de inclusión entre mutantes redundantes, de modo que se reduzca la tasa de redundancia de mutantes. A su vez, el costo de la prueba de mutación puede reducirse. El método de identificación de mutantes redundantes basado en definición y referencia de variables (ImReMuDF) fue validado y evaluado utilizando 8 programas C. La mejora mínima en la tasa de identificación de mutantes redundantes fue del 34.0%, y la mejora máxima fue del 71.3% en los 8 programas C probados, y los resultados de verificación mostraron que el método es factible y efectivo,

• Materias:Colonias de abejas artificiales Inteligencia artificial Patrón espacial Innovación de la comunicación Algoritmo de red neuronal
• Subjects:Artificial bee colonies Artificial intelligence Spatial pattern Communication innovation Neural network algorithm
• Palabras claves:Prueba de mutación; Método de prueba de software; Mutantes redundantes; Análisis de flujo de datos; Ingeniería industrial; Costos de prueba de mutación
• Keywords:Mutation testing; Software testing method; Redundant mutants; Data flow analysis; Industrial engineering; Mutation testing costs