Ponencia
An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
Autor/es | Troya Castilla, Javier
Segura Rueda, Sergio Parejo Maestre, José Antonio Ruiz Cortés, Antonio |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2017 |
Fecha de depósito | 2018-04-30 |
Publicado en |
|
Resumen | Model transformations play a cornerstone role in Model-Driven Engineering
as they provide the essential mechanisms for manipulating and transforming
models. The use of assertions for checking their correctness has ... Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for manipulating and transforming models. The use of assertions for checking their correctness has been proposed in several works. However, it is still challenging and error prone to locate the faulty rules, and the situation gets more critical as the size and complexity of model transformations grow, where manual debugging is no longer possible. Spectrum-Based Fault Localization (SBFL) is a technique for software debugging that uses the results of test cases and their corresponding code coverage information to estimate the likelihood of each program component (e.g., statements) of being faulty. This paper describes a proposal for applying SBFL for locating the faulty rules in ATL model transformations. The approach aims at automatically detecting the transformation rule that makes an assertion fail. |
Agencias financiadoras | Comisión Interministerial de Ciencia y Tecnología (CICYT). España Junta de Andalucía |
Identificador del proyecto | TIN2015-70560- R
P12-TIC-1867 |
Cita | Troya Castilla, J., Segura Rueda, S., Parejo Maestre, J.A. y Ruiz Cortés, A. (2017). An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization. En JISBD 2017: XXII Jornadas de Ingeniería del Software y Bases de Datos La Laguna: Universidad de la Laguna. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
JISBD_2017_paper_32.pdf | 435.7Kb | [PDF] | Ver/ | |