An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
| Autor: | Troya Castilla, Javier, Segura Rueda, Sergio, Parejo Maestre, José Antonio, Ruiz Cortés, Antonio |
|---|---|
| Přispěvatelé: | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos, Universidad de Sevilla. TIC205: Ingeniería del Software Aplicada, Comisión Interministerial de Ciencia y Tecnología (CICYT). España, Junta de Andalucía |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: | |
| Zdroj: | idUS. Depósito de Investigación de la Universidad de Sevilla instname |
| Popis: | 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. Comisión Interministerial de Ciencia y Tecnología TIN2015-70560-R Junta de Andalucía P12-TIC-1867 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|