Publication: Mutation operators for UML class diagrams
Loading...
Date
2016
Journal Title
Journal ISSN
Volume Title
Publisher
Springer, Cham
Abstract
Mutation Testing is a well-established technique for assessing the quality of test cases by checking how well they detect faults injected into a software artefact (mutant). Using this technique, the most critical activity is the adequate design of mutation operators so that they reflect typical defects of the artefact under test. This paper presents the design of a set of mutation operators for Conceptual Schemas (CS) based on UML Class Diagrams (CD). In this paper, the operators are defined in accordance with an existing defects classification for UML CS and relevant elements identified from the UML-CD meta-model. The operators are subsequently used to generate first order mutants for a CS under test. Finally, in order to analyse the usefulness of the mutation operators, we measure some basic characteristics of mutation operators with three different CSs under test.
Description
La prueba de mutación es una técnica bien establecida para evaluar la calidad de los casos de prueba al verificar qué tan bien detectan fallas inyectadas en un artefacto de software (mutante). Usando esta técnica, la actividad más crítica es el diseño adecuado de operadores de mutación para que reflejen defectos típicos del artefacto bajo prueba. Este artículo presenta el diseño de un conjunto de operadores de mutación para esquemas conceptuales (CS) basados en diagramas de clase UML (CD). En este documento, los operadores se definen de acuerdo con una clasificación de defectos existente para UML CS y elementos relevantes identificados a partir del metamodelo UML-CD. Los operadores se utilizan posteriormente para generar mutantes de primer orden para un CS bajo prueba. Finalmente, para analizar la utilidad de los operadores de mutación, medimos algunas características básicas de los operadores de mutación con tres CS diferentes bajo prueba.
Keywords
Mutation testing, Mutation operators, Test cases quality, Conceptual schemas, Class diagram mutation
