Spectrum-Based Fault Localization in Model Transformations

Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques greatly relies on the correctness of model transformations. However, it is challe...

Descripción completa

Detalles Bibliográficos
Autores: Troya Castilla, Javier, Segura Rueda, Sergio, Parejo Maestre, José Antonio, Ruiz Cortés, Antonio
Tipo de recurso: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2018
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/83649
Acceso en línea:https://hdl.handle.net/11441/83649
https://doi.org/10.1145/3241744
Access Level:acceso abierto
Palabra clave:Model transformation
Spectrum-based
Fault localization
Debugging
Testing
id ES_0fd01b8603e4408ec6018d01bdf3f5ea
oai_identifier_str oai:idus.us.es:11441/83649
network_acronym_str ES
network_name_str España
repository_id_str
spelling Spectrum-Based Fault Localization in Model TransformationsTroya Castilla, JavierSegura Rueda, SergioParejo Maestre, José AntonioRuiz Cortés, AntonioModel transformationSpectrum-basedFault localizationDebuggingTestingModel transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques greatly relies on the correctness of model transformations. However, it is challenging and error prone to debug them, 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) 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. In this article we present an approach to apply SBFL for locating the faulty rules in model transformations. We evaluate the feasibility and accuracy of the approach by comparing the effectiveness of 18 different stateof- the-art SBFL techniques at locating faults in model transformations. Evaluation results revealed that the best techniques, namely Kulcynski2, Mountford, Ochiai, and Zoltar, lead the debugger to inspect a maximum of three rules to locate the bug in around 74% of the cases. Furthermore, we compare our approach with a static approach for fault localization in model transformations, observing a clear superiority of the proposed SBFL-based method.Comisión Interministerial de Ciencia y Tecnología TIN2015-70560-RJunta de Andalucía P12-TIC-1867ACMLenguajes y Sistemas InformáticosComisión Interministerial de Ciencia y Tecnología (CICYT). EspañaJunta de Andalucía2018info:eu-repo/semantics/articleinfo:eu-repo/semantics/submittedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/11441/83649https://doi.org/10.1145/3241744reponame:idUS. Depósito de Investigación de la Universidad de Sevillainstname:Universidad de Sevilla (US)InglésACM Transactions on Software Engineering and Methodology, 27 (3-13)TIN2015-70560-RP12-TIC-1867https://dl.acm.org/citation.cfm?id=3241744info:eu-repo/semantics/openAccessoai:idus.us.es:11441/836492026-06-17T12:51:07Z
dc.title.none.fl_str_mv Spectrum-Based Fault Localization in Model Transformations
title Spectrum-Based Fault Localization in Model Transformations
spellingShingle Spectrum-Based Fault Localization in Model Transformations
Troya Castilla, Javier
Model transformation
Spectrum-based
Fault localization
Debugging
Testing
title_short Spectrum-Based Fault Localization in Model Transformations
title_full Spectrum-Based Fault Localization in Model Transformations
title_fullStr Spectrum-Based Fault Localization in Model Transformations
title_full_unstemmed Spectrum-Based Fault Localization in Model Transformations
title_sort Spectrum-Based Fault Localization in Model Transformations
dc.creator.none.fl_str_mv Troya Castilla, Javier
Segura Rueda, Sergio
Parejo Maestre, José Antonio
Ruiz Cortés, Antonio
author Troya Castilla, Javier
author_facet Troya Castilla, Javier
Segura Rueda, Sergio
Parejo Maestre, José Antonio
Ruiz Cortés, Antonio
author_role author
author2 Segura Rueda, Sergio
Parejo Maestre, José Antonio
Ruiz Cortés, Antonio
author2_role author
author
author
dc.contributor.none.fl_str_mv Lenguajes y Sistemas Informáticos
Comisión Interministerial de Ciencia y Tecnología (CICYT). España
Junta de Andalucía
dc.subject.none.fl_str_mv Model transformation
Spectrum-based
Fault localization
Debugging
Testing
topic Model transformation
Spectrum-based
Fault localization
Debugging
Testing
description Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques greatly relies on the correctness of model transformations. However, it is challenging and error prone to debug them, 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) 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. In this article we present an approach to apply SBFL for locating the faulty rules in model transformations. We evaluate the feasibility and accuracy of the approach by comparing the effectiveness of 18 different stateof- the-art SBFL techniques at locating faults in model transformations. Evaluation results revealed that the best techniques, namely Kulcynski2, Mountford, Ochiai, and Zoltar, lead the debugger to inspect a maximum of three rules to locate the bug in around 74% of the cases. Furthermore, we compare our approach with a static approach for fault localization in model transformations, observing a clear superiority of the proposed SBFL-based method.
publishDate 2018
dc.date.none.fl_str_mv 2018
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/submittedVersion
format article
status_str submittedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/11441/83649
https://doi.org/10.1145/3241744
url https://hdl.handle.net/11441/83649
https://doi.org/10.1145/3241744
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv ACM Transactions on Software Engineering and Methodology, 27 (3-13)
TIN2015-70560-R
P12-TIC-1867
https://dl.acm.org/citation.cfm?id=3241744
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv ACM
publisher.none.fl_str_mv ACM
dc.source.none.fl_str_mv reponame:idUS. Depósito de Investigación de la Universidad de Sevilla
instname:Universidad de Sevilla (US)
instname_str Universidad de Sevilla (US)
reponame_str idUS. Depósito de Investigación de la Universidad de Sevilla
collection idUS. Depósito de Investigación de la Universidad de Sevilla
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869403475271483392
score 15,300719

Similares en LA Referencia