Automated support for repairing input-model faults

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

doi:10.1145/1858996.1859039

Cited by 13 publications

(19 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Demsky and Rinard [26] propose an approach to fix runtime data structure errors according to the constraint on the data structure. Mani et al [27] use the hidden constraints in a transformation program to fix input model faults. Xiong et al [28] propose a language to construct an error-fixing program consistently and concisely.…”

Section: Related Workmentioning

confidence: 99%

Generating range fixes for software configuration

Xiong¹,

Hubaux²,

Czarnecki³

2012

2012 34th International Conference on Software Engineering (ICSE)

View full text Add to dashboard Cite

Abstract-To prevent ill-formed configurations, highly configurable software often allows defining constraints over the available options. As these constraints can be complex, fixing a configuration that violates one or more constraints can be challenging. Although several fix-generation approaches exist, their applicability is limited because (1) they typically generate only one fix, failing to cover the solution that the user wants; and (2) they do not fully support non-Boolean constraints, which contain arithmetic, inequality, and string operators. This paper proposes a novel concept, range fix, for software configuration. A range fix specifies the options to change and the ranges of values for these options. We also design an algorithm that automatically generates range fixes for a violated constraint. We have evaluated our approach with three different strategies for handling constraint interactions, on data from five open source projects. Our evaluation shows that, even with the most complex strategy, our approach generates complete fix lists that are mostly short and concise, in a fraction of a second.

show abstract

Section: Related Workmentioning

confidence: 99%

Generating range fixes for software configuration

Xiong¹,

Hubaux²,

Czarnecki³

2012

2012 34th International Conference on Software Engineering (ICSE)

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

“…For example, the user can see that the inputmodel attribute user.middle occurs in the output if the attribute user.hasMiddle is set to true (line 2). Similarly, the abstraction shows that the transform prints information about zero or more children elements (lines [6][7][8][9][10][11][12].…”

Section: Definition 1 (Transform Abstraction)mentioning

confidence: 99%

Operational abstractions of model transforms

Sinha

Dhoolia

Mani

et al. 2014

Proceedings of the 7th India Software Engineering Conference

Self Cite

View full text Add to dashboard Cite

Model transforms convert a model to another model or text. Transforms play a key role in model-driven engineering; therefore, it is essential for a transform user to understand the transform semantics. However, examining the transform code to obtain such understanding can be cumbersome and impractical. To address this, we present an operational abstraction of model transforms. The abstraction captures the essential transformation semantics in terms of the structure of the output and the influence of input-model elements on output fragments. Thus, the abstraction supports the transform user's perspective, which is focused on inputs and outputs, and is unconcerned with implementation details. We present an automated approach that uses a combination of selective path enumeration, forced execution of enumerated paths, and an offline trace-merging analysis to synthesize operational abstractions. We discuss different applications of the abstraction. We implemented our approach for XSLT-based model transforms and conducted empirical studies. Our results indicate that selective path enumeration can be highly effective in reducing the scope of path exploration, while ensuring that the abstraction is complete. Our user study illustrates that the abstraction can improve user efficiency in debugging faulty input models. Our final study shows the feasibility of using abstractions for two metamodel management tasks.

show abstract

Automated support for repairing input-model faults

Cited by 13 publications

References 16 publications

Generating range fixes for software configuration

Generating range fixes for software configuration

Rete Network Slicing for Model Queries

Operational abstractions of model transforms

Contact Info

Product

Resources

About