Pablo Gómez Abajo

hace 2 años · 1 min. de lectura · ~10 ·

Blogging
>
Blog de Pablo
>
Wodel-Test: a model-based framework for language-independent mutation testing

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.

& springer

Full paper available for the following three weeks :-)
Comentarios

Artículos de Pablo Gómez Abajo

Ver blog
hace 2 años · 1 min. de lectura

The haunted time travel of the mad candidate to Knight Templar · In the 12th Century, deep in Old Ca ...

hace 4 años · 1 min. de lectura

Kurt Cobain · maldecía a la generación de los hippies - que era la generación de sus padres, y por t ...

hace 2 años · 1 min. de lectura

I copy here the beginning of the entry for 'Hispania' in the English Wikipedia: · Hispania was the ...

Puede que te interesen estos puestos de trabajo

  • GMV

    Testing engineer for GNSS

    Encontrado en: beBee S2 ES - hace 5 días


    GMV Madrid De jornada completa

    Testing engineer for GNSS receivers, GNSS simulators, and Galileo control centers · Sí eres de los que, tras aparcar, comprueba dos veces que ha cerrado el coche...Tu sitio está con nosotros Estamos ampliando nuestros equipos en el sector Espacio para asumir proyectos de desarrol ...

  • GMV

    Testing engineer for GNSS, Madrid

    Encontrado en: Jooble ES - hace 5 días


    GMV Madrid De jornada completa

    Testing engineer for GNSS en Madrid. · Testing engineer for GNSS receivers GNSS simulators and Galileo control centers · Sí eres de los que tras aparcar comprueba dos veces que ha cerrado el coche...Tu sitio está con nosotros Estamos ampliando nuestros equipos en el sector Espaci ...

  • Capgemini Engineering - Consultores/as

    ingeniero/a de testing de hw

    Encontrado en: beBee S2 ES - hace 4 días


    Capgemini Engineering - Consultores/as Madrid De jornada completa

    Desde la división de Aeronáutica, espacio y defensa estamos buscando un/a Testing Engineer que tenga experiencia en validación de tarjetas hardware y modelos de ingeniería de aplicaciones aeroespaciales. · Si eres un/a apasionado/a de la ingeniería electrónica o de telecomunicaci ...