Validating UML and OCL models in USE by automatic snapshot generation

Gogolla, Martin; Bohling, Jörn; Richters, Mark

doi:10.1007/s10270-005-0089-y

Cited by 150 publications

(111 citation statements)

References 16 publications

Supporting

Mentioning

104

Contrasting

Order By: Relevance

“…To test a transformation T against a tract t , the input test suite models can be automatically generated using languages like ASSL [12], and then transformed into their corresponding target models. These models can also be automatically checked with the USE tool [13] against the constraints defined for the transformation.…”

Section: Tractsmentioning

confidence: 99%

Typing Model Transformations Using Tracts

Vallecillo

Gogolla

2012

Theory and Practice of Model Transformations

Self Cite

View full text Add to dashboard Cite

Abstract. As the complexity of MDE artefacts grows, there is an increasing need to rely on precise and abstract mechanisms that allow system architects to reason about the systems they design, and to test their individual components. In particular, assigning types to models and model transformations is needed for realizing many key MDE activities. This paper presents a light-weight approach to type model transformations using tracts. Advantages and limitations of the proposal are discussed, as well as the applicability of the proposal in several settings.

show abstract

Section: Tractsmentioning

confidence: 99%

Typing Model Transformations Using Tracts

Vallecillo

Gogolla

2012

Theory and Practice of Model Transformations

Self Cite

View full text Add to dashboard Cite

show abstract

“…The generation of source models for testing purposes is done by means of the language ASSL (A Snapshot Sequence Language) [19]. ASSL was developed to generate object diagrams for a given class diagram in a flexible way.…”

Section: Generating Test Input Modelsmentioning

confidence: 99%

“…In particular, we generalize model transformation contracts [2,18] for the specification of the properties that need to be checked for a transformation, and then apply the ASSL language [19] to generate input test models, which are then automatically transformed into output models and checked against the set of contracts defined for the transformation, using the USE tool [20].…”

Section: Introductionmentioning

confidence: 99%

Tractable Model Transformation Testing

Gogolla

Vallecillo

2011

Modelling Foundations and Applications

Self Cite

View full text Add to dashboard Cite

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.

show abstract

“…[11,7,4,1,6]) can be used to prove the correctness properties of graph transformation rules once translated into declarative OCL operations.…”

Section: Tool Supportmentioning

confidence: 99%