Towards Systematic Mutations for and with ATL Model Transformations

被引:0
|
作者
Troya, Javier [1 ]
Bergmayr, Alexander [1 ]
Burgueno, Loli [2 ]
Wimmer, Manuel [1 ]
机构
[1] Vienna Univ Technol, Business Informat Grp, Vienna, Austria
[2] Univ Malaga, GISUM Atenea Res Grp, E-29071 Malaga, Spain
关键词
Mutation; Model Transformations; ATL; Higher-Order Transformations;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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.
引用
收藏
页数:10
相关论文
共 50 条
  • [1] Towards Measuring the Change Impact in ATL Model Transformations
    Vieira, Andreza
    Ramalho, Franklin
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 26 (02) : 153 - 181
  • [2] Towards Incremental Execution of ATL Transformations
    Jouault, Frederic
    Tisi, Massimo
    [J]. THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, 2010, 6142 : 123 - 137
  • [3] Translating ATL Model Transformations to Algebraic Graph Transformations
    Richa, Elie
    Borde, Etienne
    Pautet, Laurent
    [J]. THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, 2015, 9152 : 183 - 198
  • [4] Quick Fixing ATL Model Transformations
    Sanchez Cuadrado, Jesus
    Guerra, Esther
    de Lara, Juan
    [J]. 2015 ACM/IEEE 18TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS), 2015, : 146 - 155
  • [5] AnATLyzer: An Advanced IDE for ATL Model Transformations
    Sanchez Cuadrado, Jesus
    Guerra, Esther
    de lara, Juan
    [J]. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 85 - 88
  • [6] Towards the systematic measurement of ATL transformation models
    Barranquero Tolosa, Jose
    Sanjuan-Martinez, Oscar
    Garcia-Diaz, Vicente
    Pelayo G-Bustelo, B. Cristina
    Cueva Lovelle, Juan Manuel
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2011, 41 (07): : 789 - 815
  • [7] Enhanced performance prediction of ATL model transformations
    Groner, Raffaela
    Bellmann, Peter
    Hoeppner, Stefan
    Thiam, Patrick
    Schwenker, Friedhelm
    Kestler, Hans A.
    Tichy, Matthias
    [J]. PERFORMANCE EVALUATION, 2024, 164
  • [8] A Deductive Approach for Fault Localization in ATL Model Transformations
    Cheng, Zheng
    Tisi, Massimo
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2017, 2017, 10202 : 300 - 317
  • [9] Metrics to Measure the Change Impact in ATL Model Transformations
    Vieira, Andreza
    Ramalho, Franklin
    [J]. PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2014, 2014, 8892 : 254 - 268
  • [10] Metrics to measure the change impact in ATL model transformations
    [J]. Vieira, Andreza, 1600, Springer Verlag (8892):