dc.creator | Burgueño, Loli | es |
dc.creator | Troya Castilla, Javier | es |
dc.creator | Wimmer, Manuel | es |
dc.creator | Vallecillo Moreno, Antonio | es |
dc.date.accessioned | 2018-04-23T09:10:12Z | |
dc.date.available | 2018-04-23T09:10:12Z | |
dc.date.issued | 2015 | |
dc.identifier.citation | Burgueño, L., Troya Castilla, J., Wimmer, M. y Vallecillo Moreno, A. (2015). Static Fault Localization in Model Transformations. IEEE Transactions on Software Engineering, 41 (5), 490-506. | |
dc.identifier.issn | 0098-5589 | es |
dc.identifier.uri | https://hdl.handle.net/11441/73339 | |
dc.description.abstract | As the complexity of model transformations grows, there is an increasing need to count on methods, mechanisms, and tools
for checking their correctness, i.e., the alignment between specifications and implementations. In this paper we present a light-weight
and static approach for locating the faulty rules in model transformations, based on matching functions that automatically establish
these alignments using the metamodel footprints, i.e., the metamodel elements used. The approach is implemented for the
combination of Tracts and ATL, both residing in the Eclipse Modeling Framework, and is supported by the corresponding toolkit.
An evaluation discussing the accuracy and the limitations of the approach is also provided. Furthermore, we identify the kinds of
transformations which are most suitable for validation with the proposed approach and use mutation techniques to evaluate its
effectiveness. | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN2011-23795 | es |
dc.description.sponsorship | Austrian Research Promotion Agency (FFG) 832160 | es |
dc.description.sponsorship | European Commission ICT Policy Support Programme 317859 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | IEEE Computer Society | es |
dc.relation.ispartof | IEEE Transactions on Software Engineering, 41 (5), 490-506. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Model transformation | es |
dc.subject | Transformation testing | es |
dc.subject | Model alignment | es |
dc.title | Static Fault Localization in Model Transformations | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | TIN2011-23795 | es |
dc.relation.projectID | 832160 (FFG) | es |
dc.relation.projectID | 317859 (ICT Policy Support Programme) | es |
dc.relation.publisherversion | https://ieeexplore.ieee.org/document/6967841/ | es |
dc.identifier.doi | 10.1109/TSE.2014.2375201 | es |
idus.format.extent | 17 | es |
dc.journaltitle | IEEE Transactions on Software Engineering | es |
dc.publication.volumen | 41 | es |
dc.publication.issue | 5 | es |
dc.publication.initialPage | 490 | es |
dc.publication.endPage | 506 | es |
dc.identifier.sisius | 21044471 | es |