Automated Patch Generation for Fixing Semantic Errors in ATL Transformation RulesFT
With the growing popularity of the MDE paradigm, model transformations are becoming more and more complex. ATL transformations, in particular, are error-prone due to the declarative nature of the language and the dependency towards the involved metamodels. To alleviate the burden of developers, we propose, in this paper, an approach for fixing semantic errors in ATL transformation rules without predefined patch templates for specific error types. In a first step, our approach determines the rules that are likely to contain errors starting from the discrepancy between the expected and produced outputs of test cases. Then, a second step allows to generate candidate patches for these errors using a multiobjective optimization algorithm, guided by the same test cases. In a preliminary evaluation, we show that our approach can fix most of the errors for transformations with a single error. For those with multiple errors, more iterations are necessary to fix part of the errors.
Fri 15 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
10:30 - 11:30 | Model management and model transformations IITechnical Papers at Room 1 Chair(s): Eugene Syriani Université de Montréal | ||
10:30 20mFull-paper | Repository Mining for Changes in Simulink ModelsP&I Technical Papers Monika Jaskolka , Vera Pantelic , Alan Wassyng McMaster University, Canada, Mark Lawford McMaster University, Richard Paige McMaster University | ||
10:50 20mFull-paper | Automated Patch Generation for Fixing Semantic Errors in ATL Transformation RulesFT Technical Papers Zahra Varaminybahnemiry , Jessie Galasso-Carbonnel Université de Montréal, Khalid Belharbi , Houari Sahraoui Université de Montréal | ||
11:10 20mTalk | Live Modeling in the Context of State Machine Models and Code GenerationJ1ST Technical Papers Mojtaba Bagherzadeh Queen's University, Karim Jahed Queen's University, Benoit Combemale University of Rennes; Inria; IRISA, Juergen Dingel Queen's University, Kingston, Ontario |