The Community for Technology Leaders
Green Image
Issue No. 05 - May (2015 vol. 41)
ISSN: 0098-5589
pp: 490-506
Loli Burgueno , Dept. Lenguajes y Ciencias de la Computación, Universidad de Málaga, Bulevar Louis Pasteur, 35, Malaga, Spain
Javier Troya , Vienna University of Technology, Business Informatics Group, Vienna, Austria
Manuel Wimmer , Vienna University of Technology, Business Informatics Group, Vienna, Austria
Antonio Vallecillo , Dept. Lenguajes y Ciencias de la Computación, Universidad de Málaga, Bulevar Louis Pasteur, 35, Malaga, Spain
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.
INDEX TERMS
Contracts, Context, Context modeling, Navigation, Testing, Complexity theory, Analytical models
CITATION

L. Burgueno, J. Troya, M. Wimmer and A. Vallecillo, "Static Fault Localization in Model Transformations," in IEEE Transactions on Software Engineering, vol. 41, no. 5, pp. 490-506, 2015.
doi:10.1109/TSE.2014.2375201
176 ms
(Ver 3.3 (11022016))