About the project
Gotten generates domain-specific metamorphic testing environments from model-driven artefacts.
The framework combines meta-models, domain-specific languages, and domain processors to support the systematic definition, execution, and reporting of metamorphic tests, together with the automated generation of follow-up test cases.
Core capabilities
- Define input, output, and processor features with mrDSL.
- Specify metamorphic relations over domain concepts and system executions.
- Generate follow-up test cases through search-based strategies expressed in fowDSL.
- Reuse the same framework across different domains while retaining domain-specific models.
Available examples
- Cloud simulators, with relations involving CPU, network, memory, energy consumption, and execution time.
- Video streaming APIs, with relations involving searches, updates, and result sets.
- Autonomous vehicles, with relations involving nominal speed, obstacles, and reference waypoints.
- Finite automata, with relations involving automaton models and words to be processed.
- Public repositories and downloadable sample projects for these domains.
Authors and contributors
Gotten has been developed by Pablo Gómez-Abajo, Pablo C. Cañizares, Alberto Núñez, Esther Guerra, and Juan de Lara. Its technical foundations build on frameworks including Xtext, Henshin, and MOMoT.
Related publications
- 4
Cañizares, P. C., Gómez-Abajo, P., Guerra, E., de Lara, J. Towards metamorphic testing with LLM-based workflows: Metamorphic relation inference and follow-up test case generation, 2026. In Information and Software Technology, Elsevier. - 3 Gómez-Abajo, P., Cañizares, P. C., Núñez, A., Guerra, E., de Lara, J. Gotten: A model-driven solution to engineer domain-specific metamorphic testing environments, 2023. ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2023), Västerås. Tool demonstration.
- 2 Gómez-Abajo, P., Cañizares, P. C., Núñez, A., Guerra, E., de Lara, J. Automated engineering of domain-specific metamorphic testing environments, 2023. In Information and Software Technology, Elsevier.
- 1 Cañizares, P. C., Gómez-Abajo, P., Núñez, A., Guerra, E., de Lara, J. New ideas: Automated engineering of metamorphic testing environments for domain-specific languages, 2021. In ACM SIGPLAN International Conference on Software Language Engineering (SLE 2021), Chicago. Best New Ideas/Vision Paper Award at SLE 2021.
Acknowledgements
This work was funded by the Spanish Ministry of Science through project MASSIVE (RTI2018-095255-B-I00) and by the Madrid R&D programme through project FORTE (P2018/TCS-4314).