Towards systematic mutations for and with ATL model transformations

• Published in: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) pp. 1 - 10
• Main Authors: Troya, Javier, Bergmayr, Alexander, Burgueno, Loli, Wimmer, Manuel
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01-04-2015
• Subjects: Analytical models; ATL; Automation; Computational efficiency; Computational modeling; HigherOrder Transformations; Matched filters; Model Transformations; Mutation; Software; Testing
• DOI: 10.1109/ICSTW.2015.7107455

Model transformation is a key technique to automate software engineering tasks, such as generating implementations of software systems from higher-level models. To enable this automation, transformation engines are used to synthesize various types of software artifacts from models, where the rules according to which these artifacts are generated are implemented by means of dedicated model transformation languages. Hence, the quality of the generated software artifacts depends on the quality of the transformation rules applied to generate them. Thus, there is the need for approaches to certify their behavior for a selected set of test models. As mutation analysis has proven useful as a practical testing approach, we propose a set of mutation operators for the ATLAS Transformation Language (ATL) derived by a comprehensive language-centric synthesis approach. We describe the rationale behind each of the mutation operators and propose an automated process to generate mutants for ATL transformations based on a combination of generic mutation operators and higher-order transformations. Finally, we describe a cost-effective solution for executing the obtained mutants.