Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool

Brottier, E.; Fleurey, Franck; Steel, Jim; Baudry, Benoît; Traon, Yves Le

doi:10.1109/issre.2006.27

Cited by 82 publications

(73 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As future work we would like to extend our analysis framework with the inclusion of model transformation testing capabilities [9], where relevant test models are automatically synthesized from our translation and passed on to the testing tool. We believe that our intermediate representation can also be useful to express model transformations specified with other model transformation languages (e.g.…”

Section: Discussionmentioning

confidence: 99%

A UML/OCL framework for the analysis of graph transformation rules

et al. 2009

View full text Add to dashboard Cite

El acceso a la versión del editor puede requerir la suscripción del recurso Access to the published version may require subscription Abstract In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, together with the properties of interest (like rule applicability, conflicts or independence). The intermediate representation serves three purposes: (i) it allows the seamless integration of graph transformation rules with the MOF and OCL standards, and enables taking the meta-model and its OCL constraints (i.e. well-formedness rules) into account when verifying the correctness of the rules; (ii) it permits the interoperability of graph transformation concepts with a number of standards-based model-driven development tools; and (iii) it makes available a plethora of OCL tools to actually perform the rule analysis. This approach is especially useful to analyse the operational semantics of Domain Specific Visual Languages. We have automated these ideas by providing designers with tools for the graphical specification and analysis of graph transformation rules, including a backannotation mechanism that presents the analysis results in terms of the original language notation.

show abstract

Section: Discussionmentioning

confidence: 99%

A UML/OCL framework for the analysis of graph transformation rules

et al. 2009

View full text Add to dashboard Cite

show abstract

“…Currently, the majority of approaches facing this challenge are based on black-box techniques [11,9,10,16,21,22,3,6,20,8,13]. As far as we know only two white-box approaches for transformation testing have been proposed [9,15].…”

Section: Related Workmentioning

confidence: 99%

ATLTest: A White-Box Test Generation Approach for ATL Transformations

González

Cabot

2012

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. MDE is being applied to the development of increasingly complex systems that require larger model transformations. Given that the specification of such transformations is an error-prone task, techniques to guarantee their quality must be provided. Testing is a wellknown technique for finding errors in programs. In this sense, adoption of testing techniques in the model transformation domain would be helpful to improve their quality. So far, testing of model transformations has focused on black-box testing techniques. Instead, in this paper we provide a white-box test model generation approach for ATL model transformations.

show abstract

“…Models are complex graphs that must conform to an input meta-model specification, a transformation pre-condition and additional knowledge such as a partial model to help detect bugs. In [9], the authors present an automated generation technique for models that conform only to the class diagram of a metamodel specification. A similar methodology using graph transformation rules is presented in [13].…”

Section: Related Workmentioning

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

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

Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool

Abstract: In a Model-Driven Development context (MDE)

Cited by 82 publications

References 11 publications

A UML/OCL framework for the analysis of graph transformation rules

A UML/OCL framework for the analysis of graph transformation rules

ATLTest: A White-Box Test Generation Approach for ATL Transformations

Using Models of Partial Knowledge to Test Model Transformations

Contact Info

Product

Resources

About