RT Journal Article
T1 Wodel-Test: a model-based framework for language-independent mutation testing
A1 Gómez-Abajo, Pablo
A1 Guerra, Esther
A1 Lara, Juan de
A1 García Merayo, María De Las Mercedes
AB Mutation testing (MT) targets the assessment of test cases by measuring their efficiency to detect faults. This technique involves modifying the program under test to emulate programming faults, and assessing whether the existing test cases detect such mutations. MT has been extensively studied since the 70’s, and many tools have been proposed for widely used languages like C, Java, Fortran, Ada and SQL; and for notations like Petri-nets. However, building MT tools is costly and error-prone, which may prevent their development for new programming and domain-specific (modelling) languages. In this paper, we propose a framework called Wodel-Test to reduce the effort to create MT tools. For this purpose, it follows a model-driven approach by which MT tools are synthesized from a high-level description. This description makes use of the domain-specific language Wodel to define and execute model mutations. Wodel is language-independent, as it allows the creation of mutation operators for any language defined by a meta-model. Starting from the definition of the mutation operators, Wodel-Test generates a MT environment which parses the program under test into a model, applies the mutation operators, and evaluates the test-suite against the generated mutants, offering a rich collection of MT metrics. We report on an evaluation of the approach based on the creation of MT tools for Java and the Atlas transformation language.
PB Springer
SN 1619-1366
SN 1619-1374
YR 2020
FD 2020-10-17
LK https://hdl.handle.net/20.500.14352/119483
UL https://hdl.handle.net/20.500.14352/119483
LA eng
NO Ministerio de Ciencia
NO Comunidad de Madrid
DS Docta Complutense
RD 17 dic 2025