Title
Systematic Engineering of Mutation Operators.
Abstract
In the context of software engineering, mutation consists in injecting small changes in artefacts - like models, programs, or data - for purposes like (mutation) testing, test data generation, and all sorts of search-based methods. These tasks typically require defining sets of mutation operators, which are often built ad-hoc because there is currently poor support for their development and testing. To improve this situation, we propose a methodology and corresponding tool support for the proper engineering of mutation operators. Our proposal is model-based, representing the artefacts to be mutated as models. It includes a domain-specific language to describe the mutation operators, facilities to synthesize models that can be used to test the operators, different metrics to analyse operator coverage, and services to generate operators when the coverage is insufficient. We show automated support atop the WODEL tool, and illustrate its use by defining mutation operators for UML Class Diagrams.
Year
DOI
Venue
2020
10.5381/jot.2020.19.3.a5
JOURNAL OF OBJECT TECHNOLOGY
Keywords
DocType
Volume
Model-driven engineering,model mutation,model synthesis,metrics,class diagrams,WODEL
Journal
19
Issue
ISSN
Citations 
3
1660-1769
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Pablo Gómez-Abajo151.78
Esther Guerra250445.53
Juan de Lara31596132.28
Mercedes G. Merayo444440.36