A tool for domain-independent model mutation
Entity
UAM. Departamento de Ingeniería InformáticaPublisher
Elsevier B.V.Date
2018-02-02Citation
10.1016/j.scico.2018.01.008
Science of Computer Programming 163 (2018): 85-92
ISSN
0167-6423 (print); 1872-7964 (online)DOI
10.1016/j.scico.2018.01.008Funded by
Work partially funded by project FLEXOR (Spanish MINECO, TIN2014- 52129-R), project DArDOS (Spanish MINECO/FEDER TIN2015-65845-C3-1- R) and the R&D programme of the Madrid Region (S2013/ICE-3006)Project
Gobierno de España. TIN2014- 52129-R; Gobierno de España.TIN2015-65845-C3-1- R; Comunidad de Madrid. S2013/ICE-3006/SICOMORoEditor's Version
http://doi.org/10.1016/j.scico.2018.01.008Subjects
Domain-specific languages; Model mutation; Model synthesis; Model-driven engineering; Mutation footprint; InformáticaRights
© 2018 Elsevier B.V.Abstract
Mutation is a systematic technique to create variants of a seed artefact by means of mutation operators. It has many applications in computer science, like software testing, automatic exercise generation and design space exploration. Typically, mutation frameworks are developed ad-hoc by implementing mutation operators and their application strategies from scratch, using general-purpose programming languages. However, this is costly and error-prone. To improve this situation, we propose WODEL: a domain-specific language and tool for model-based mutation that is independent of the domain meta-model. WODELenables the rapid development and application of model mutations. It provides built-in advanced functionalities like automatic generation of seed models, and static and dynamic metrics of operator coverage and applicability. It offers extension points, e.g., to post-process mutants and describe domain-specific equivalence criteria. As an example, we illustrate the usage of WODEL for the mutation of security policies, and present an empirical evaluation of its expressiveness.
Files in this item
Google Scholar:Gómez Abajo, Pablo
-
Guerra Sánchez, Esther
-
Lara Jaramillo, Juan de
-
Merayo, Mercedes G.
This item appears in the following Collection(s)
Related items
Showing items related by title, author, creator and subject.