Tractable model transformation testing
Martin Gogolla,Antonio Vallecillo +1 more
- 06 Jun 2011
- pp 221-235
TL;DR: The different kinds of tests that can be conducted over a MT using this automated process, and the kinds of problems it can help uncovering are shown.
read more
Abstract: Model transformation (MT) testing is gaining interest as the size and complexity of MTs grows. In general it is very difficult and expensive (time and computational complexity-wise) to validate in full the correctness of a MT. This paper presents a MT testing approach based on the concept of Tract, which is a generalization of the concept of Model Transformation Contract. A Tract defines a set of constraints on the source and target metamodels, a set of source-target constraints, and a tract test suite, i.e., a collection of source models satisfying the source constraints. We automatically generate input test suite models, which are then transformed into output models by the transformation under test, and the results checked with the USE tool (UML-based Specification Environment) against the constraints defined for the transformation. We show the different kinds of tests that can be conducted over a MT using this automated process, and the kinds of problems it can help uncovering.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Proceedings Article
Termination Criteria for Model Transformation
Hartmut Ehrig,Karsten Ehrig,Gabriele Taentzer,Juan de Lara,Dániel Varró,Szilvia Varró-Gyapai +5 more
- 01 Jan 2006
TL;DR: In this article, a model transformation is described in a precise way, and the model transformation can be analyzed later on. But the model transformations can be expressed in a rule-based manner.
119
Automated verification of model transformations based on visual contracts
Esther Guerra,Juan de Lara,Manuel Wimmer,Gerti Kappel,Angelika Kusel,Werner Retschitzegger,Johannes Schönböck,Wieland Schwinger +7 more
- 01 Mar 2013
TL;DR: A declarative language for the specification of visual contracts is proposed, enabling the verification of transformations defined with any transformation language, i.e., irrespective of the actual transformation language used.
Verification of ATL transformations using transformation models and model finders
Fabian Büttner,Marina Egea,Jordi Cabot,Martin Gogolla +3 more
- 12 Nov 2012
TL;DR: This paper provides an automatic translation of declarative, rule-based ATL transformations into such transformation models, providing an intuitive and versatile encoding of ATL into OCL that can be used for the analysis of various properties of transformations.
Formal specification and testing of model transformations
Antonio Vallecillo,Martin Gogolla,Loli Burgueño,Manuel Wimmer,Lars Hamann +4 more
- 18 Jun 2012
TL;DR: This paper introduces the concept of Tract, a generalization of model transformation contracts, and shows how Tracts can be used for model transformation specification and black-box testing, and the kinds of analyses they allow.
ATLTest: a white-box test generation approach for ATL transformations
Carlos A. González,Jordi Cabot +1 more
- 30 Sep 2012
TL;DR: This paper provides a white-box test model generation approach for ATL model transformations and shows how this approach can be helpful to improve the quality of testing techniques in the model transformation domain.
References
ATL: A model transformation tool
TL;DR: ATL: a model transformation language and its execution environment based on the Eclipse framework is presented and ATL tools provide support for the major tasks involved in using a language: editing, compiling, executing, and debugging.
1.1K
Slicing of UML models using model transformations
Kevin Lano,Shekoufeh Kolahdouz-Rahimi +1 more
- 03 Oct 2010
TL;DR: This paper defines techniques for the slicing of UML models for the restriction of models to those parts which specify the properties of a subset of the elements within them, to produce a smaller model which permits more effective analysis and comprehension than the complete model.
951
USE: A UML-based specification environment for validating UML and OCL
TL;DR: The USE tool (UML-based Specification Environment) supports analysts, designers and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven techniques for software production.
537
A Simple Game-Theoretic Approach to Checkonly QVT Relations
Perdita Stevens
- 29 Jun 2009
TL;DR: It is shown that consistent models may not possess a single trace model whose objects can be read as traceability links in either direction, and proposed a simple game-theoretic semantics.
Validating UML and OCL models in USE by automatic snapshot generation
TL;DR: The testing and certification of UML and OCL models as supported by the validation tool USE is studied by introducing a language for defining properties of desired snapshots and by showing how such snapshots are generated.
224