Por favor, use este identificador para citar o enlazar este ítem:
https://doi.org/10.1007/s10270-016-0541-1
Twittear
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ño | Formato | |
---|---|---|---|---|
quickfixing-model-transformations-sosym.pdf | Versión final | 2,11 MB | Adobe PDF | Visualizar/Abrir |
Los ítems de Digitum están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.