PROJECT TITLE :

Static Fault Localization in Model Transformations

ABSTRACT:

Because the complexity of model transformations grows, there is an increasing would like to count on methods, mechanisms, and tools for checking their correctness, i.e., the alignment between specifications and implementations. In this paper we tend to present a lightweight-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 mixture of Tracts and ATL, each 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 have a tendency to establish the kinds of transformations that are most suitable for validation with the proposed approach and use mutation techniques to evaluate its effectiveness.