This is the website of the MoTES project, a contract-based testing approach for suggesting model transformation repairs in rule-based languages like ATL. The work is a collaboration among Universidad de Extremadura (Spain), IMDEA Software Institute (Spain) and the Western Norway University of Applied Sciences (Norway).
- Rodriguez-Echeverria, Roberto, and Fernando Macias. "A statistical analysis approach to assist model transformation evolution." 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2015.
- Rodriguez-Echeverria, Roberto, Fernando Macias, and Adrian Rutle. "On reducing model transformation testing overhead." CEUR Workshop Proceedings. 2016.
- Rodriguez-Echeverria, Roberto, Fernando Macıas, José M. Conejero, Juan C. Preciado, Alvaro E. Prieto, and Adrian Rutle. "Fuentes de Sobrecarga en Pruebas de Transformaciones de Modelos.” XXIII Jornadas de Ingeniería de Software y Bases de Datos (JISBD). Sevilla, 2018.
- (To appear)
These case studies are introduced in a journal preprint which will be added to this website later:
- Sqares2Stars, a toy example for illustration purposes.
- UML2ER, a replica of a case study for transforming UML class diagrams into ER diagrams
- E2M, a set of third-party rules for encoding Ecore metamodels as Maude modules
- MDRE, an application of MoTES into a real model-driven modernisation scenario of web applications
A small language for the definition of contracts and its compilation into ATL code is available here. That code can then be used to calculate MoTES’ metrics and suggestions, based on the input, output and trace models of the ATL transformation under test.
- Roberto Rodríguez Echeverría, Universidad de Extremadura
- Fernando Macías, IMDEA Software Institute
- Adrian Rutle, Western Norway University of Applied Sciences
- José M. Conejero, Universidad de Extremadura