A tool for domain-independent model mutation

* Wodel is an Eclipse plugin to develop and analyse domain-independent mutation operators.

* It provides a domain-specific textual language with high-level mutation primitives, and an automatic seed model generator.

* It computes static and dynamic metrics of mutation programs to obtain meta-model coverage and detailed execution traces.

* It can be extended for specific applications (like testing) by means of extension points.

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.

Full-text is now available with 50 days of free access at: https://authors.elsevier.com/a/1X0rPc7X4rEHb