Pablo Gómez Abajo

Universidad Autónoma de Madrid, Spain

Pablo Gómez Abajo

Wodel-Test: a language-independent approach for the generation of mutation testing tools

Slides

Mutation testing (MT) is a technique to assess and improve the quality of the test cases of a software project. MT consists of the artificial injection of modifications (mutations) in the program under test to emulate common programming faults and assess whether the current test cases detect such variations. There are many MT tools for languages like C or Java, and for notations like Petri-nets. However, they are typically created ad-hoc for the target language, which is an error-prone process requiring from high development costs. To improve this situation, we have created Wodel-Test, a domain-independent tool which is able to synthesize MT tools for arbitrary languages. In the talk, I will present the working scheme of the approach, and will illustrate the usefulness of Wodel-test through a demo of the generated MT tool for Java.