Publication: A model-level mutation tool to support the assessment of the test case quality
Loading...
Date
2017
Journal Title
Journal ISSN
Volume Title
Publisher
Springer Heidelberg
Abstract
Although mutation testing is a well-known technique for assessing the quality of tests, there is not a lot of support available for model-level mutation analysis. It is also considered to be expensive due to: (i) the large number of mutants generated; (ii) the time-consuming activity of determining equivalent mutants; and (iii) the mutant execution time. It should also be remembered that real software artefacts of appropriate size including real faults are hard to find and prepare appropriately. In this paper we propose a mutation tool to generate valid First Order Mutants (FOM) for Conceptual Schemas (CS) based on UML Class Diagrams and evaluate its effectiveness and efficiency in generating valid and non-equivalent mutants.Our main findings were: (1) FOM mutation operators can be automated to avoiding non-valid mutants (49.1%). (2) Fewer equivalent mutants were generated (7.2%) and 74.3% were reduced by analysing the CS static structure in six subject CSs.
Description
Aunque las pruebas de mutación son una técnica bien conocida para evaluar la calidad de las pruebas, no hay mucho apoyo disponible para el análisis de mutaciones a nivel de modelo. También se considera costoso debido a: (i) la gran cantidad de mutantes generados; (ii) la actividad lenta de determinar mutantes equivalentes; y (iii) el tiempo de ejecución mutante. También debe recordarse que los artefactos de software reales de tamaño apropiado, incluyendo fallas reales, son difíciles de encontrar y preparar adecuadamente. En este artículo, proponemos una herramienta de mutación para generar mutantes de primer orden (FOM) válidos para esquemas conceptuales (CS) basados en diagramas de clase UML y evaluar su efectividad y eficiencia en la generación de mutantes válidos y no equivalentes. Nuestros principales hallazgos fueron: (1 ) Los operadores de mutación FOM pueden automatizarse para evitar mutantes no válidos (49,1%). (2) Se generaron menos mutantes equivalentes (7,2%) y el 74,3% se redujo analizando la estructura estática de CS en seis CS de sujeto. © Springer International Publishing Suiza 2017.
Keywords
Class diagram mutants, Model-level mutation, Mutation tool, Test cases quality