Automated engineering of domain-specific metamorphic testing environments
Context.
Testing is essential to improve the correctness of software systems. Metamorphic testing (MT) is an approach especially suited when the system under test lacks oracles, or they are expensive to compute. However, building an MT environment for a particular domain (e.g., cloud simulation, model transformation, machine learning) requires substantial effort.
Objective.
Our goal is to facilitate the construction of MT environments for specific domains.
Method.
We propose a model-driven engineering approach to automate the construction of MT environments. Starting from a meta-model capturing the domain concepts, and a description of the domain execution environment, our approach produces an MT environment featuring comprehensive support for the MT process. This includes the definition of domain-specific metamorphic relations, their evaluation, detailed reporting of the testing results, and the automated search-based generation of follow-up test cases.
Results.
Our method is supported by an extensible platform for Eclipse, called Gotten. We demonstrate its effectiveness by creating an MT environment for simulation-based testing of data centres and comparing it with existing tools; its suitability to conduct MT processes by replicating previous experiments; and its generality by building another MT environment for video streaming APIs.
Conclusion.
Gotten is the first platform targeted at reducing the development effort of domain-specific MT environments. The environments created with Gotten facilitate the specification of metamorphic relations, their evaluation, and the generation of new test cases.
Gotten development environment in action. |
Tool: https://g0tten.github.io/gotten/
Full paper: Automated engineering of domain-specific metamorphic testing environments. Pablo Gómez-Abajo, Pablo C. Cañizares, Alberto Núñez, Esther Guerra, Juan de Lara. May 2023. Information and Software Technology (Elsevier). Volume 157, 107164.
Ciencia y TecnologíaArtículos de Pablo Gómez Abajo
Ver blogThe haunted time travel of the mad candidate to Knight Templar · In the 12th Century, deep in Old Ca ...
Todo inflamiento de pelotas tiene un límite. Creo que debo agradecer que, por lo visto, en otras épo ...
Estoy enfadado. Estoy enfadado y triste. Estoy enfadado porque llevamos ya mucho tiempo tirándonos l ...
Puede que te interesen estos puestos de trabajo
-
Head of Process Engineering
Encontrado en: Buscojobs ES C2 - hace 3 días
Zemsania Madrid, España De jornada completaHead Of Process Engineering - Cliente Final · Buscamos un perfil como Head of Process Engineering para incorporarse en nuestro cliente, con sede en Pozuelo (Madrid), para optimizar procesos y liderar el cambio con las automatizaciones técnicas. · Nuestro cliente es uno de los pr ...
-
practicas contabilidad barcelona
Encontrado en: beBee S2 ES - hace 2 días
Lincoln Electric Iberia, S.L. Sant Feliu de Llobregat, España PrácticasLincoln Electric is the world leader in the engineering, design, and manufacturing of advanced arc welding solutions, automated joining, assembly and cutting systems, plasma and oxy-fuel cutting equipment, and has a leading global position in brazing and soldering alloys. Lincoln ...
-
Entrenador de league of legends
Encontrado en: Cronoshare ES C2 - hace 6 días
Cronoshare Alcoi/Alcoy (Alacant/Alicante), EspañaHola muy buenas mi nombre es adrián pstor y soy presidente de un equipo de easports que acabo de fundar. Mis jugadores del equipo de lol cuentan con un nivel intermedio (todos son oro y platino) y me gustaría que adquiriesen un nivel más alto. Quiero saber el precio de entre 1 y ...
Comentarios