Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1109/ICSTW.2015.7107455 | Software Testing, Verification and Validation Workshops |
Keywords | Field | DocType |
program testing,programming languages,software quality,atl model transformation,atlas transformation language,comprehensive language-centric synthesis approach,generic mutation operators,higher-order transformations,model transformation languages,practical testing approach,software artifact quality,software engineering task automation,systematic mutations,transformation engines,transformation rules quality,atl,higherorder transformations,model transformations,mutation | Model transformation,Programming language,Mutation testing,Computer science,ATLAS Transformation Language,Theoretical computer science,Software system,Implementation,Automation,Software,Software quality | Conference |
ISSN | Citations | PageRank |
2159-4848 | 9 | 0.43 |
References | Authors | |
21 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Javier Troya | 1 | 276 | 21.03 |
| Alexander Bergmayr | 2 | 76 | 7.85 |
| Loli Burgueño | 3 | 146 | 20.64 |
| Manuel Wimmer | 4 | 1617 | 130.11 |