Towards tracking "guilty" transformation rules

Burgueño, Loli; Wimmer, Manuel; Vallecillo, Antonio

doi:10.1145/2432497.2432503

Cited by 3 publications

(2 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Footprints. The works by Burgueño et al [18,19] present a static approach for locating buggy rules in MTs. Tracts [44,127] are used to express conditions that the MT must satisfy.…”

Section: Static Approachesmentioning

confidence: 99%

Model Transformation Testing and Debugging: A Survey

et al. 2022

Self Cite

View full text Add to dashboard Cite

Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness of model transformations, and thus, detecting and locating bugs in model transformations have been popular research topics in recent years. This surge of work has led to a vast literature on model transformation testing and debugging, which makes it challenging to gain a comprehensive view of the current state of the art. This is an obstacle for newcomers to this topic and MDE practitioners to apply these approaches. This paper presents a survey on testing and debugging model transformations based on the analysis of 140 papers on the topics. We explore the trends, advances, and evolution over the years, bringing together previously disparate streams of work and providing a comprehensive view of these thriving areas. In addition, we present a conceptual framework to understand and categorise the different proposals. Finally, we identify several open research challenges and propose specific action points for the model transformation community.

show abstract

“…Footprints. The works by Burgueño et al [18,19] present a static approach for locating buggy rules in MTs. Tracts [44,127] are used to express conditions that the MT must satisfy.…”

Section: Static Approachesmentioning

confidence: 99%

Model Transformation Testing and Debugging: A Survey

et al. 2022

Self Cite

View full text Add to dashboard Cite

show abstract

“…Based on first ideas which we outlined in previous work [10], this paper presents a solution to this problem. It uses a white-box and static analysis to find the location of the model transformation rules that may have caused the faulty behavior.…”

Section: Introductionmentioning

confidence: 99%

Static Fault Localization in Model Transformations

Burgueño

Troya

Wimmer

et al. 2015

IIEEE Trans. Software Eng.

Self Cite

108

View full text Add to dashboard Cite

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.

show abstract