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.
Full paper available for the following three weeks :-)
Artículos de Pablo Gómez Abajo
Ver blogEl pasado día 14 de julio realicé la defensa de mi tesis doctoral 'Un lenguaje de dominio específico ...
Estoy enfadado. Estoy enfadado y triste. Estoy enfadado porque llevamos ya mucho tiempo tirándonos l ...
'How to Apply the User Profile Usability Technique in the User Modelling Activity for an Adaptive Fo ...
Puede que te interesen estos puestos de trabajo
-
Responsable equipo testing de redes
Encontrado en: beBee S2 ES - hace 6 días
GMV Madrid, España De jornada completa¿Te apasiona el testing en equipos de red y buscas un proyecto que te motive?Estamos ampliando · nuestro equipo de Validación de redes para el proyecto Galileo, ́El GPS Europeo ́.Nos gusta ir al · grano, te vamos a contar lo que no está en la red. · ¿A QUÉ RETO TE VAS A ENFRENTA ...
-
Test Manager Data
Encontrado en: beBee S2 ES - hace 4 días
Cognizant Technology Solutions Madrid, España OTHERSenior Quality Manager Data · Estamos buscando un QA Manager excepcional para trabajar con nuestro equipo multifuncional y unirse a nuestra comunidad de expertos de clase mundial. Trabajará en proyectos emocionantes con nuestros clientes, asumiendo el papel esencial de asesorar a ...
-
Testing funcional con Selenium
Encontrado en: Buscojobs ES C2 - hace 2 días
TECDATA ENGINEERING Madrid, EspañaTesting funcional y de rendimiento con Selenium (preferiblemente con Java), Mínimo 3 años de experiencia trabajando con Selenium Experiencia con Postman Inglés avanzado (B2+, C1) Español alto · ...
Comentarios