Mutation Testing for DSLs (Tool Demo)
0 likes252 views
The document discusses mutation testing as a software testing approach that assesses test suite quality by introducing syntax changes, simulating common programming faults. It highlights a tool called Wodel, which facilitates the generation of mutation testing tools for various programming languages. The document outlines future plans for developing additional mutation testing tools for different domain-specific languages (DSLs) and enhancing the Wodel DSL functionality.
Mutation Testing for DSLs (Tool Demo)
- 1. MUTATION TESTING FOR DSLS TOOL DEMO P. Gómez-Abajo , E. Guerra, J. de Lara Modelling&Software Engineering Research Group http://miso.es Universidad Autónoma de Madrid (Spain) DSM 2019 October 20th, Athens 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. 3 MUTATION TESTING FOR FA 0 110 Seed model 01 00 Test-suite ✓
- 4. 4 MUTATION TESTING FOR FA 0 101 0 110 Seed model Mutant model 01 00 Test-suite ✓ MT 01 00 ✓ Test-suite
- 5. 5 MUTATION TESTING FOR FA 0 101 0 110 Seed model Mutant model 01 00 Test-suite ✓ The mutant is alive MT 01 00 ✓ Test-suite
- 6. 6 MUTATION TESTING FOR FA 0 110 Seed model ✓ 01 00 Test-suite ✓ 10
- 7. 7 MUTATION TESTING FOR FA 0 101 0 110 Seed model Mutant model ✓ 01 00 Test-suite ✓ 10 MT 01 00 ✓ 10 Test-suite
- 8. 8 MUTATION TESTING FOR FA 0 101 0 110 Seed model Mutant model The mutant is killed ✓ 01 00 Test-suite ✓ 10 ✓ 01 00 ✓ 10 Test-suite MT
- 9. • Wodel: a DSL for model mutation generate exhaustive mutants in "out/" from "model/" metamodel "mm/fa.ecore" description "Simple Wodel program" with blocks { sts "Swap the symbols of two transitions" { t = select one Transition where {symbol <> null} modify one Transition where {symbol <> t->symbol} with {swap(symbol, t->symbol)} } } • Wodel tool extension for language independent MT Wodel-Test 9 A SIMPLE WODEL PROGRAM
- 10. WODEL-TEST PROCESS 10 Wodel-Test is also useful to build MT tools for common programming languages: Wodel-Test for Java
- 11. • Wodel-Test: automates the generation of MT tools for arbitrary languages • Eases the creation of MT tools for the MDE community • Implemented 3 MT tools: Wodel-Test for FA/Java/ATL 11 CONCLUSIONS FUTURE WORK • We plan to create MT tools for other DSLs • Reuse of generic mutation operators across similar languages (e.g., Java and C++) • Support for the definition of functions in the Wodel DSL
- 12. 12 Thank you!! Wodel & Wodel-Test project websites: http://gomezabajo.github.io/Wodel/ http://gomezabajo.github.io/Wodel/Wodel-Test/ Pablo.GomezA@uam.es @GomezAbajo