Debugging Model-Transformation Failures Using Dynamic Tainting

Dhoolia, Pankaj; Mani, Senthil; Sinha, Vibha Singhal; Sinha, Saurabh

doi:10.1007/978-3-642-14107-2_3

Cited by 12 publications

(22 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The emphasis in this paper is to push towards the development of partial models by analyzing requirements, existing test models [7], the transformation under test [16], or fault locations [12]. We provide a semi-automated tool [25] to support the development of partial models and completing them by automatic solving.…”

Section: Resultsmentioning

confidence: 99%

“…For instance, analyzing a model transformation can reveal locally used classes, properties and possibly some of their values or bounds on values called a footprint [16]. Similarly, analyzing a localized fault via techniques such as dynamic tainting [12] in a model transformation can reveal patterns in the input modelling language that evoked the fault. Other sources include existing models via model slicing [7] and execution traces of a model transformation [3].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Using Models of Partial Knowledge to Test Model Transformations

Sen

Mottu

Tisi

et al. 2012

Theory and Practice of Model Transformations

View full text Add to dashboard Cite

Abstract. Testers often use partial knowledge to build test models. This knowledge comes from sources such as requirements, known faults, existing inputs, and execution traces. In Model-Driven Engineering, test inputs are models executed by model transformations. Modelers build them using partial knowledge while meticulously satisfying several well-formedness rules imposed by the modelling language. This manual process is tedious and language constraints can force users to create complex models even for representing simple knowledge. In this paper, we want to simplify the development of test models by presenting an integrated methodology and semi-automated tool that allow users to build only small partial test models directly representing their testing intent. We argue that partial models are more readable and maintainable and can be automatically completed to full input models while considering language constraints. We validate this approach by evaluating the size and fault-detecting effectiveness of partial models compared to traditionally-built test models. We show that they can detect the same bugs/faults with a greatly reduced development effort.

show abstract

Section: Resultsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Using Models of Partial Knowledge to Test Model Transformations

Sen

Mottu

Tisi

et al. 2012

Theory and Practice of Model Transformations

View full text Add to dashboard Cite

show abstract

“…The authors of [36] propose a dynamic tainting technique for debugging failures of model transformations, and propose automated techniques to repair input model faults [37]. Colored Petri nets are used for underlying formal support for debugging transformations in [38].…”

Section: Related Workmentioning

confidence: 99%

Rete Network Slicing for Model Queries

Ujhelyi¹,

Bergmann

Varró

2016

Graph Transformation

View full text Add to dashboard Cite

Abstract. Declarative model queries captured by graph patterns are frequently used in model driven engineering tools for the validation of well-formedness constraint or the calculation of various model metrics. However, their high level nature might make it hard to understand all corner cases of complex queries. When debugging erroneous patterns, a common task is to identify which conditions or constraints of a query caused some model elements to appear in the results. Slicing techniques in traditional programming environments are used to calculate similar dependencies between program statements. Here, we introduce a slicing approach for model queries based on Rete networks, a cache structure applied for the incremental evaluation of model queries. The proposed method reuses the structural information encoded in the Rete networks to calculate and present a trace of operations resulting in some model elements to appear in the result set. The approach is illustrated on a running example of validating well-formedness over UML state machine models using graph patterns as a model query formalism.

show abstract

“…In [4], the authors present an application of taint propagation to the domain of modelto-text transformations, specifically, to support debugging of failures introduced in a transformation. Their approach consists in instrumenting the transformation in order to add so-called tainted marks to each identifiable element of the input.…”

Section: Related Workmentioning

confidence: 99%

Tracing Program Transformations with String Origins

Inostroza

Storm

Erdweg

2014

Theory and Practice of Model Transformations

View full text Add to dashboard Cite

Abstract. Program transformations play an important role in domain-specific languages and model-driven development. Tracing the execution of such transformations has well-known benefits for debugging, visualization and error reporting. In this paper, we introduce string origins, a lightweight, generic and portable technique to establish a tracing relation between the textual fragments in the input and output of a program transformation. We discuss the semantics and the implementation of string origins using the Rascal meta programming language as an example. We illustrate the utility of string origins by presenting data structures and operations for tracing generated code, implementing protected regions, performing name resolution and fixing inadvertent name capture in generated code.

show abstract

Debugging Model-Transformation Failures Using Dynamic Tainting

Cited by 12 publications

References 16 publications

Using Models of Partial Knowledge to Test Model Transformations

Using Models of Partial Knowledge to Test Model Transformations

Rete Network Slicing for Model Queries

Tracing Program Transformations with String Origins

Contact Info

Product

Resources

About