Mutation testing is a technique to assess test suite adequacy to distinguish between correct and incorrect programs. Mutation testing applies one or more small changes to a program to obtain variants called mutants. The adequacy of a test suite is measured by determining how many of the mutants it distinguishes from the original program. There are many works about mutation testing, but the existing approaches focus on a specific programming language, and usually, it is not easy to customize the set of mutation operators. In this paper, we present Wodel-Test, an extension of the Wodel tool that implements a language-independent mutation testing framework based on MDE principles.

1. TOWARDS A MDE SOLUTION
FOR LANGUAGE INDEPENDENT
MUTATION TESTING
P. Gómez-Abajo , E. Guerra, J. de Lara
Modelling&Software Engineering Research Group
http://miso.es
Universidad Autónoma de Madrid (Spain)
JISBD - 2018
Sevilla (Spain)
Mercedes G. Merayo
Design and Testing of Reliable Systems Research Group
http://antares.sip.ucm.es/testing
Universidad Complutense de Madrid (Spain)

2. WHAT IS MUTATION
TESTING?
• Approach of software testing to
assess the quality of test suites
• Injection of syntax changes in a
program by using mutation
operators
• The mutations introduced
simulate common programming
faults
• Facilitates to improve the
quality of the test-suites and
the mutation operators set
2

3. PROBLEM
The existing frameworks for mutation testing are:
• Specific for a language (e.g., Java, C)
• Mutation operators are usually manually encoded and not modifiable
There is a lack of proposals facilitating:
• The definition of mutator operators
• Applicable to arbitrary languages
• Mutation-testing for multi-language projects
We propose Wodel-Test, an extension to Wodel Framework to
facilitate the specification, creation and execution of mutation
testing plugins, which is language independent
3
PROPOSED SOLUTION

4. WODEL-TEST PROCESS
4
Testing plugin creator
Tester
Create
Wodel-
Test
project
Artifacts
to be
tested
Test-
suite
Wodel
mutations
code
Test-suite
execution
code
Run
Wodel-
Test
project
Artifacts to
models
transformation
code
Models to
artifacts
transformation
code
Artifact
compilation
code
generates
Wodel-Test plugin
uses
1
2

5. WODEL-TEST: JAVA EXAMPLE
5
:Method
name= “inc”
:modifier
:Modifier
visibility= “public”
:Block
:body
:statements
:ReturnStatement
:expressions
:InfixExpression
operator= “+”
:Variable
name= “value”
:parameters
:VariableAccess :leftOp
:NumberLiteral
:rightOp
token= “1”
:variable
seed model
:Method
name= “inc”
:modifier
:Modifier
visibility= “public”
:Block
:body
:statements
:ReturnStatement
:expressions
:InfixExpression
operator= “*”
:Variable
name= “value”
:parameters
:VariableAccess :leftOp
:NumberLiteral
:rightOp
token= “1”
:variable
mutant
artifact to model model to artifact
mutation
1
2
3
4
5

6. WODEL-TEST ENVIRONMENT
6
1 2
3
4
5
6
7

7. CONCLUSIONS
7
• Complete the ATL mutations library
• Improve Wodel-Test performance with large models
• Wodel-Test is a framework for language independent mutation
testing
• Tested with Java and ATL
FUTURE WORK

8. 8
Thank you!!
Wodel project website:
http://gomezabajo.github.io/Wodel/
Pablo.GomezA@uam.es
@GomezAbajo