Por favor, use este identificador para citar o enlazar este ítem: https://doi.org/10.1007/s10270-016-0541-1

Título: Quick fixing ATL transformations with speculative analysis
Fecha de publicación: 2018
Cita bibliográfica: Software and Systems Modeling, V. 17, 2018, 779–813
ISSN: 1619-1366
1619-1374 (electrónico)
Palabras clave: Model transformation
ATL
Quick fixes
Transformation static analysis
Speculative analysis
Resumen: Model transformations are central components of most model-based software projects. While ensuring their correctness is vital to guarantee the quality of the solution, current transformation tools provide limited support to statically detect and fix errors. In this way, the identification of errors and their correction are nowadays mostly manual activities which incur in high costs. The aim of this work is to improve this situation. Recently, we developed a static analyser that combines program analysis and constraint solving to identify errors in ATL model transformations. In this paper, we present a novel method and system that uses our analyser to propose suitable quick fixes for ATL transformation errors, notably some non-trivial, transformation-specific ones. Our approach supports speculative analysis to help developers select the most appropriate fix by creating a dynamic ranking of fixes, reporting on the consequences of applying a quick fix, and providing a pre-visualization of each quick fix application. The approach integrates seamlessly with the ATL editor. Moreover, we provide an evaluation based on existing faulty transformations built by a third party, and on automatically generated transformation mutants, which are then corrected with the quick fixes of our catalogue.
Autor/es principal/es: Sánchez Cuadrado, Jesús
Guerra, Esther
Lara, Juan de
URI: http://hdl.handle.net/10201/138331
DOI: https://doi.org/10.1007/s10270-016-0541-1
Tipo de documento: info:eu-repo/semantics/article
Número páginas / Extensión: 35
Derechos: info:eu-repo/semantics/openAccess
Aparece en las colecciones:Artículos: Informática y Sistemas

Ficheros en este ítem:
Fichero Descripción TamañoFormato 
quickfixing-model-transformations-sosym.pdfVersión final2,11 MBAdobe PDFVista previa
Visualizar/Abrir


Los ítems de Digitum están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.