Pablo Gómez Abajo

hace 11 meses · 1 min. de lectura · visibility 0 ·

chat Contactar con el autor

thumb_up Relevante message Comentar

Wodel-Test: a model-based framework for language-independent mutation testing

(with Esther Guerra, Juan de Lara and Mercedes G. Merayo)

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.

Wodel-Test: a model-based framework for language-independent mutation testing& springer
Full paper available for the following three weeks :-)

thumb_up Relevante message Comentar
Comentarios

Más artículos de Pablo Gómez Abajo

Ver blog
hace 1 año · 1 min. de lectura
Pablo Gómez Abajo

Un lenguaje de dominio específico para mutación de modelos

El pasado día 14 de julio realicé la defensa de mi ...

hace 1 año · 1 min. de lectura
Pablo Gómez Abajo

I'm starting to write a story...

The haunted time travel of the mad candidate to Kn ...

hace 3 años · 1 min. de lectura
Pablo Gómez Abajo

Mantenimiento de teléfonos móviles antiguos

Para cerrar el período vacacional voy a hablar un ...