Generation of mutation testing tools with Wodel-Test

•

0 likes•67 views

Mutation testing (MT) is a well-known technique to evaluate and improve the quality of a given test-suite. While several MT tools exist for traditional programming languages, there is no systematic method to create MT tools for domain-specific languages (DSLs). To improve this situation, we present Wodel-Test, a domain-independent tool to synthesize MT tools for arbitrary DSLs.

Science

GENERATION OF
MUTATION TESTING TOOLS
WITH WODEL-TEST
P. Gómez-Abajo , E. Guerra, J. de Lara
Modelling&Software Engineering Research Group
http://miso.es
Universidad Autónoma de Madrid (Spain)
The MFoC Workshop 2019
November 26th, IMDEA, Madrid
Mercedes G. Merayo
Design and Testing of Reliable Systems Research Group
http://antares.sip.ucm.es/testing
Universidad Complutense de Madrid (Spain)

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
MUTATION TESTING FOR FA
0
1
1
0
Seed model
01
00
Test-suite
✓


4
MUTATION TESTING FOR FA
0
1
0
1
0
1
1
0
Seed model Mutant model
01
00
Test-suite
✓

MT
01
00 ✓

Test-suite

5
MUTATION TESTING FOR FA
0
1
0
1
0
1
1
0
Seed model Mutant model
01
00
Test-suite
✓

The mutant is alive 
MT
01
00 ✓

Test-suite

6
MUTATION TESTING FOR FA
0
1
1
0
Seed model
✓
01
00
Test-suite
✓

10

7
MUTATION TESTING FOR FA
0
1
0
1
0
1
1
0
Seed model Mutant model
✓
01
00
Test-suite
✓

10
MT
01
00 ✓

10 
Test-suite

8
MUTATION TESTING FOR FA
0
1
0
1
0
1
1
0
Seed model Mutant model
The mutant is killed
✓
01
00
Test-suite
✓

10
✓
01
00 ✓

10 
Test-suite
MT

• 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

WODEL-TEST PROCESS
10
Wodel-Test is also useful to
build MT tools for common
programming languages:
Wodel-Test for Java

• 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
Thank you!!
Wodel & Wodel-Test project websites:
http://gomezabajo.github.io/Wodel/
http://gomezabajo.github.io/Wodel/Wodel-Test/
Pablo.GomezA@uam.es
@GomezAbajo

What's hot

Rv11

Wolfgang Grieskamp

50120140502017

IAEME Publication

Fu agile#2 unit_testing

Nguyen Anh

Integration Maturity Levels We propose the Integration Maturity Levels as a tool for describing test levels and complexity. The testing teams can use this tool for: • defining what "Done" means for a story at the end of an iteration i.e. what is the expected level of quality characteristic that a product feature should have reached (which means tests for this level shall pass and critical / major issues shall be resolved) • having a common definition between functional teams (from management, architects, developers to testers) of level of integration that we should go through for achieving a good feature quality. • elaborating and describing the test strategy along iterations • letting testers have a checklist to review their test plan and challenge its diversity and coverage. • letting testers being able to report progress on integration not only with figures / metrics but also with a qualitative assessment of “feature quality” and what has been the testing effort and what is the remaining effort of integration.

Iml v1.5 open-source version

Jeanne P.

Ideate ptototypes and feedback

sundarkkl

Using task models in model-based testing

Rachid Kherrazi

Model Driven Developing & Model Based Checking: Applying Together

Iosif Itkin

Automatic Test Case Generation

Adnan Causevic

Automatic Generation of System Test Cases from Use Case Specifications

Lionel Briand

What's hot (9)

Rv11

50120140502017

Fu agile#2 unit_testing

Iml v1.5 open-source version

Ideate ptototypes and feedback

Using task models in model-based testing

Model Driven Developing & Model Based Checking: Applying Together

Automatic Test Case Generation

Automatic Generation of System Test Cases from Use Case Specifications

Similar to Generation of mutation testing tools with Wodel-Test

Test suite evaluation is important when developing quality software. Mutation testing, in particular, can be helpful in determining the ability of a test suite to find defects in code. Because of challenges incurred developing on complex embedded systems, test suite evaluation on these systems is very difficult and costly. We developed and implemented a tool called DynaMut to insert conditional mutations into the software under test for embedded applications. We then demonstrate how the tool can be used to automate the collection of data using an existing proprietary embedded test suite in a runtime testing environment. Conditional mutation is used to reduce the time and effort needed to perform test quality evaluation in 48% to 67% less time than it would take to perform the testing with a more traditional mutate-compile-test methodology. We also analyze if testing time can be further reduced while maintaining quality by sampling the mutations tested.

DYNAMUT: A MUTATION TESTING TOOL FOR INDUSTRY-LEVEL EMBEDDED SYSTEM APPLICATIONS

ijesajournal

MuFinal

Diogo Nicolau

SAIConference_PAPER

Zainab Nayyar

Real Impact Testing Analysis For JVM

Raquel Pau

International Journal of Engineering Research and Applications (IJERA) is an open access online peer reviewed international journal that publishes research and review articles in the fields of Computer Science, Neural Networks, Electrical Engineering, Software Engineering, Information Technology, Mechanical Engineering, Chemical Engineering, Plastic Engineering, Food Technology, Textile Engineering, Nano Technology & science, Power Electronics, Electronics & Communication Engineering, Computational mathematics, Image processing, Civil Engineering, Structural Engineering, Environmental Engineering, VLSI Testing & Low Power VLSI Design etc.

Q44098893

IJERA Editor

Software testing is a testing which conducted a test to provide information to client about the quality of the product under test. Software testing can also provide an objective, independent view of the software to allow the business to appreciate and understand the risks of software implementation. In this paper we focused on two main software testing –mutation testing and mutation testing. Mutation testing is a procedural testing method, i.e. we use the structure of the code to guide the test program, A mutation is a little change in a program. Such changes are applied to model low level defects that obtain in the process of coding systems. Ideally mutations should model low-level defect creation. Mutation testing is a process of testing in which code is modified then mutated code is tested against test suites. The mutations used in source code are planned to include in common programming errors. A good unit test typically detects the program mutations and fails automatically. Mutation testing is used on many different platforms, including Java, C++, C# and Ruby. Regression testing is a type of software testing that seeks to uncover new software bugs, or regressions, in existing functional and non-functional areas of a system after changes such as enhancements, patches or configuration changes, have been made to them. When defects are found during testing, the defect got fixed and that part of the software started working as needed. But there may be a case that the defects that fixed have introduced or uncovered a different defect in the software. The way to detect these unexpected bugs and to fix them used regression testing. The main focus of regression testing is to verify that changes in the software or program have not made any adverse side effects and that the software still meets its need. Regression tests are done when there are any changes made on software, because of modified functions.

A mutation testing analysis and regression

ijfcstjournal

Pesttt testing

Kwetishe DANJUMA OCA,OCP ►Research Assistant

A MUTATION TESTING ANALYSIS AND REGRESSION TESTING

ijfcstjournal

Regression Optimizer

Shradha Singh

Mutation Testing and MuJava

Krunal Parmar

Dc35579583

IJERA Editor

st-notes-13-26-software-testing-is-the-act-of-examining-the-artifacts-and-the...

mwpeexdvjgtqujwhog

C41041120

IJERA Editor

Verification of simulation computer program by ashish gangwar (8445059669)

Ashish Gangwar

New techniques for writing and developing software have evolved in recent years. One is Test-Driven Development (TDD) in which tests are written before code. No code should be written without first having a test to execute it. Thus, in terms of code coverage, the quality of test suites written using TDD should be high. In this work, we analyze applications written using TDD and traditional techniques. Specifically, we demonstrate the quality of the associated test suites based on two quality metrics: 1) structure-based criterion, 2) fault-based criterion. We learn that test suites with high branch test coverage will also have high mutation scores, and we especially reveal this in the case of TDD applications. We found that TestDriven Development is an effective approach that improves the quality of the test suite to cover more of the source code and also to reveal more.

QUALITY METRICS OF TEST SUITES IN TESTDRIVEN DESIGNED APPLICATIONS

ijseajournal

Modern Formal Methods in Software Engineering.pptx

HamzehBadarneh

Model-based Testing using Microsoft’s Spec Explorer Tool: A Case Study

Dharmalingam Ganesan

Managing the Machine Learning Lifecycle with MLflow

Databricks

Bd36334337

IJERA Editor

Test case generation techniques are successfully employed to generate test cases from a formal model. A problem is that as the model evolves, test suites tend to grow in size, making it too costly to execute entire test suites. This paper aims to propose a practical approach to reduce the size of test suites for modified Simulink/Stateflow (SL/SF) model, which is popularly used for modeling software behavior in many industries like automobile manufacturers. The model for describing a system is frequently modified until it is fixed. The proposed technique is capable of extracting the minimized sized test suite in terms of test coverage, by taking into account both the modified and the affected portion of revised SL/SF model. Two real models for the ECUs deployed in a commercial car are used for an empirical study.

EXTRACTING THE MINIMIZED TEST SUITE FOR REVISED SIMULINK/STATEFLOW MODEL

ijaia

Similar to Generation of mutation testing tools with Wodel-Test (20)

DYNAMUT: A MUTATION TESTING TOOL FOR INDUSTRY-LEVEL EMBEDDED SYSTEM APPLICATIONS

MuFinal

SAIConference_PAPER

Real Impact Testing Analysis For JVM

Q44098893

A mutation testing analysis and regression

Pesttt testing

A MUTATION TESTING ANALYSIS AND REGRESSION TESTING

Regression Optimizer

Mutation Testing and MuJava

Dc35579583

st-notes-13-26-software-testing-is-the-act-of-examining-the-artifacts-and-the...

C41041120

Verification of simulation computer program by ashish gangwar (8445059669)

QUALITY METRICS OF TEST SUITES IN TESTDRIVEN DESIGNED APPLICATIONS

Modern Formal Methods in Software Engineering.pptx

Model-based Testing using Microsoft’s Spec Explorer Tool: A Case Study

Managing the Machine Learning Lifecycle with MLflow

Bd36334337

EXTRACTING THE MINIMIZED TEST SUITE FOR REVISED SIMULINK/STATEFLOW MODEL

More from Pablo Gómez Abajo

Creating and grading exercises are recurring tasks within higher education. When these exercises are based on diagrams - like logic circuits, automata or class diagrams - we can represent them as models, and use model-driven engineering techniques for the large-scale generation of quizzes, which can be automatically graded. In this research demo, we showcase Wodel-Edu, a domain-independent tool for the generation and automated evaluation of diagram-based exercises. Wodel-Edu is built atop Wodel, an extensible tool for model mutation, and offers seven kinds of diagram exercises. It supports code generation from the exercises for the Moodle platform, the web, Android and iOS applications.

Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises

Pablo Gómez Abajo

Context: Testing is essential to improve the correctness of software systems. Metamorphic testing (MT) is an approach especially suited when the system under test lacks oracles, or they are expensive to compute. However, building an MT environment for a particular domain (e.g., cloud simulation, model transformation, machine learning) requires substantial effort. Objective: Our goal is to facilitate the construction of MT environments for specific domains. Method: We propose a model-driven engineering approach to automate the construction of MT environments. Starting from a meta-model capturing the domain concepts, and a description of the domain execution environment, our approach produces an MT environment featuring comprehensive support for the MT process. This includes the definition of domain-specific metamorphic relations, their evaluation, detailed reporting of the testing results, and the automated search-based generation of follow-up test cases. Results: Our method is supported by an extensible platform for Eclipse, called Gotten. We demonstrate its effectiveness by creating an MT environment for simulation-based testing of data centres and comparing with existing tools; its suitability to conduct MT processes by replicating previous experiments; and its generality by building another MT environment for video streaming APIs. Conclusion: Gotten is the first platform targeted at reducing the development effort of domain-specific MT environments. The environments created with Gotten facilitate the specification of metamorphic relations, their evaluation, and the generation of new test cases.

Automated engineering of domain-specific metamorphic testing environments

Pablo Gómez Abajo

Las pruebas de mutación (MT) tienen como objetivo la evaluación de los casos de prueba midiendo su eficiencia para detectar fallos. Esta técnica implica modificar los programas bajo prueba para emular fallos comunes de programación y evaluar si los casos de prueba existentes detectan dichas mutaciones. Las pruebas de mutación se han estudiado de forma exhaustiva desde 1970, y se han propuesto muchas herramientas de pruebas de mutación para lenguajes utilizados ampliamente como C, Java, Fortran, Ada y SQL, y notaciones como redes de Petri. No obstante, crear herramientas de pruebas de mutación es costoso y propenso a errores, lo que puede obstaculizar su creación para nuevos lenguajes de programación y lenguajes de dominio-específico (de modelado). En este trabajo, se propone un entorno llamado Wodel-Test que reduce el esfuerzo para crear herramientas de pruebas de mutación. Con este objetivo, se sigue un enfoque dirigido por modelos por medio del que se sintetizan las herramientas de pruebas de mutación a partir de una descripción de alto nivel. Esta descripción utiliza el lenguaje de dominio específico Wodel para definir y ejecutar las mutaciones de modelos. Wodel es independiente del dominio, es decir, permite la creación de operadores de mutación para cualquier lenguaje definido mediante un meta-modelo. Partiendo de la definición de los operadores de mutación, Wodel-Test genera un entorno de pruebas de mutación que transforma los programas bajo prueba en modelos, aplica los operadores de mutación, y evalúa el conjunto de pruebas contra los mutantes generados, proporcionando una rica colección de métricas de pruebas de mutación. En el trabajo, se proporciona una evaluación del enfoque basada en la creación de herramientas de pruebas de mutación para Java y el lenguaje de transformación de modelos ATL.

Wodel-Test: A Model-Based Framework for Language-Independent Mutation Testing...

Pablo Gómez Abajo

The creation and correction of exercises are two of the most time-consuming tasks performed by teachers. When done by hand, they are error-prone, too. Several approaches have been devised to automate such tasks. In the case of exercises based on diagrams, we can represent them as models, generate a set of variations - called mutants - and automate the process. In this tool demo paper, we showcase Wodel-Edu, a domain-independent framework for the generation and automated grading of diagram-based exercises. This framework offers a family of DSLs enabling the specification and configuration of five different kinds of such exercises, and extensible code generation facilities targeting environments like the Moodle platform, the web, and mobile applications.

Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based...

Pablo Gómez Abajo

Programación de macros en Microsoft Excel VBA

Pablo Gómez Abajo

PhD defense presentation

Pablo Gómez Abajo

Wodel: A DSL for Model Mutation; and Wodel-Edu: its Application to the Automa...

Pablo Gómez Abajo

Un framework para la generación automática de ejercicios mediante técnicas de...

Pablo Gómez Abajo

More from Pablo Gómez Abajo (8)

Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises

Automated engineering of domain-specific metamorphic testing environments

Wodel-Test: A Model-Based Framework for Language-Independent Mutation Testing...

Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based...

Programación de macros en Microsoft Excel VBA

PhD defense presentation

Wodel: A DSL for Model Mutation; and Wodel-Edu: its Application to the Automa...

Un framework para la generación automática de ejercicios mediante técnicas de...

Recently uploaded

fruit fly, this slide mainly made for pumpkin fruit fly, this is also known as drosophila melangastor, this type of fruit fly destroyed the mainly vegetables crops. if you want to known examples this types of fly which is destroy the pumpkin, tomato, brinjal, potato, bottle guard, ridge guard, bitter guard, cucumber, water melon, musk melon, bean, long bean and other many vegetables which has fruits. they distryed fruit fly. thank you...

pumpkin fruit fly, water melon fruit fly, cucumber fruit fly

PRADYUMMAURYA1

low price Call me 7857803690 100%genuine sexy VIP call girl safe service WhatsApp chat. 785780369 Normal call kijiye 7857803690 100% genuine young college girl and housewife Full enjoy open minded girl provide 24hour full cooperative model and full satisfactions☎️*78578//03690*⭐Escorts service █▬█⓿▀█▀ call girls and bhabhi available for room Sex and video call service A-1 HIGH CLASS CALL GIRLS TOP MODEL 24X7 HOME/HOTEL Call Girls Safe & Secure High Class Sm Affordable Rate 100% Satisfaction, Unlimited Enjoyment. Any Time for Model/Escort in High class luxury and premium

SAMASTIPUR CALL GIRL 7857803690 LOW PRICE ESCORT SERVICE

ayushi9330

Proteomics: types, protein profiling steps etc.

Silpa

PSYCHOSOCIAL NEEDS. in nursing II sem pptx

Suji236384

GBSN - Microbiology (Unit 3)

Areesha Ahmad

High Class Escorts in Hyderabad ₹7.5k Pick Up & Drop With Cash Payment 969456...

chandars293

Vip CALL GIRL IN Lonavala 9748763073❤CALL GIRLS IN ESCORT SERVICE❤CALL GIRL IN We are Providing :- ● – Private independent collage Going girls . ● – independent Models . ● – House Wife’s . ● – Private Independent House Wife’s ● – Corporate M.N.C Working Profiles . ● – Call Center Girls . ● – Live Band Girls . ●- Foreigners & Many More . Service type: 1.In call 2.out call 3. full Lip to Lip kiss 4.69 5.b-job without Condom 6. Hard Core sex & Much More. 7 Body to Body Touch 8 Kissing 9 Sucking Boobs and More 10 Enjoy by Hand 11 Relax By Oral 12 Sex with Happy Ending • In Call and Out Call Service • 3* 5* 7* Hotels Service • 24 Hours Available • Indian, Russian, Punjabi, Kashmiri Escorts • Real Models, College Girls, House Wife, Also Available • Short Time and Full Time Service Available • Hygienic Full AC Neat and Clean Rooms Avail. In Hotel 24 hours • Daily Escorts Staff Available • Minimum to Maximum Range Available.c

Vip profile Call Girls In Lonavala 9748763073 For Genuine Sex Service At Just...

Monika Rani

biology HL practice questions IB BIOLOGY

1301aanya

Bacterial Identification and Classifications

Areesha Ahmad

Locating and isolating a gene, FISH, GISH, Chromosome walking and jumping, te...

Silpa

module for grade 9 for distance learning

levieagacer

Site Acceptance Test .

Poonam Aher Patil

Dopamine neurotransmitter determination using graphite sheet- graphene nano-s...

Mohammad Khajehpour

The computation of anti-derivatives is just an in-tellectual challenge, we know how to take deriv-atives, but … can we invert the process? We call this Computing the indefinite integral . In the last presentation we have seen a few indefinite integrals (we called them bricks), but they did not include the anti-derivative of many functions! We are going to try and do better !

COMPUTING ANTI-DERIVATIVES(Integration by SUBSTITUTION)

AkefAfaneh2

Zoology 5th semester notes( Sumit_yadav).pdf

Sumit Kumar yadav

99992-vip-66834 📞Noida Sector 22 Noida Low price 100% genuine sexy VIP call girls are provided safe and secure service .call 📞,,24 hours 🕰️-- ✅100% gesnuine young RIYA SERVICE COMPANY ✔✔✔ ★ A-Level (5 star ) ★ Strip-tease ★ BBBJ (Bareback Blowjob) Receive advanced sexual techniques in different mode make their life more pleasurable. ★ Spending time in hotel rooms ★ BJ (Blowjob Without a Condom) ★ Completion (Oral to completion) ★ Covered (Covered blowjob Without a Condom) ★ DATING (Dinner At Night) ★ DSL (Dick Sucking Lips) ★ DT (Dining at the Toes English Spanking) ★ Doggie (Sex style from behind) ★ Duo (shot with two escorts; Threesome with the client) ★ S-GFE (Special Girl Friend Experience) ★ HJ (Hand Job) ★ Special Massage ★ O-Level (Oral sex) ★ Tour (International) ★ 69 (69 sex) ★ BJ (Blowjob With Condom) ★ GFE (Girl Friend Experience) ★ CBJ (Covered Blow Job; Oral sex with a condom _ LOW PRICE V I P MODEL FULL SAFE AND SECURE CALL MExxxs CALL ME

9999266834 Call Girls In Noida Sector 22 (Delhi) Call Girl Service

nishacall1

Clean In Place(CIP).pptx .

Poonam Aher Patil

SCIENCE-4-QUARTER4-WEEK-4-PPT-1 (1).pptx

RizalinePalanog2

COST ESTIMATION FOR A RESEARCH PROJECT.pptx

FarihaAbdulRasheed

Unit5-Cloud.pptx for lpu course cse121 o

ManavSingh202607

Recently uploaded (20)

pumpkin fruit fly, water melon fruit fly, cucumber fruit fly

SAMASTIPUR CALL GIRL 7857803690 LOW PRICE ESCORT SERVICE

Proteomics: types, protein profiling steps etc.

PSYCHOSOCIAL NEEDS. in nursing II sem pptx

GBSN - Microbiology (Unit 3)

High Class Escorts in Hyderabad ₹7.5k Pick Up & Drop With Cash Payment 969456...

Vip profile Call Girls In Lonavala 9748763073 For Genuine Sex Service At Just...

biology HL practice questions IB BIOLOGY

Bacterial Identification and Classifications

Locating and isolating a gene, FISH, GISH, Chromosome walking and jumping, te...

module for grade 9 for distance learning

Site Acceptance Test .

Dopamine neurotransmitter determination using graphite sheet- graphene nano-s...

COMPUTING ANTI-DERIVATIVES(Integration by SUBSTITUTION)

Zoology 5th semester notes( Sumit_yadav).pdf

9999266834 Call Girls In Noida Sector 22 (Delhi) Call Girl Service

Clean In Place(CIP).pptx .

SCIENCE-4-QUARTER4-WEEK-4-PPT-1 (1).pptx

COST ESTIMATION FOR A RESEARCH PROJECT.pptx

Unit5-Cloud.pptx for lpu course cse121 o

Generation of mutation testing tools with Wodel-Test

1. GENERATION OF MUTATION TESTING TOOLS WITH WODEL-TEST P. Gómez-Abajo , E. Guerra, J. de Lara Modelling&Software Engineering Research Group http://miso.es Universidad Autónoma de Madrid (Spain) The MFoC Workshop 2019 November 26th, IMDEA, Madrid 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 1 1 0 Seed model 01 00 Test-suite ✓ 

4. 4 MUTATION TESTING FOR FA 0 1 0 1 0 1 1 0 Seed model Mutant model 01 00 Test-suite ✓  MT 01 00 ✓  Test-suite

5. 5 MUTATION TESTING FOR FA 0 1 0 1 0 1 1 0 Seed model Mutant model 01 00 Test-suite ✓  The mutant is alive  MT 01 00 ✓  Test-suite

6. 6 MUTATION TESTING FOR FA 0 1 1 0 Seed model ✓ 01 00 Test-suite ✓  10

7. 7 MUTATION TESTING FOR FA 0 1 0 1 0 1 1 0 Seed model Mutant model ✓ 01 00 Test-suite ✓  10 MT 01 00 ✓  10  Test-suite

8. 8 MUTATION TESTING FOR FA 0 1 0 1 0 1 1 0 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

13. WODEL-TEST ARCHITECTURE 13

Generation of mutation testing tools with Wodel-Test

Recommended

Recommended

More Related Content

What's hot

What's hot (9)

Similar to Generation of mutation testing tools with Wodel-Test

Similar to Generation of mutation testing tools with Wodel-Test (20)

More from Pablo Gómez Abajo

More from Pablo Gómez Abajo (8)

Recently uploaded

Recently uploaded (20)

Generation of mutation testing tools with Wodel-Test