Engineering model transformations with transML

Guerra, Esther; Lara, Juan de; Kolovos, Dimitrios S.; Paige, Richard F.; Santos, Osmar Marchi dos

doi:10.1007/s10270-011-0211-2

Cited by 49 publications

(46 citation statements)

References 54 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This makes them errorprone and brittle, becoming hard to understand, develop, debug, maintain and reuse. In fact, model transformations, like any other Software Engineering artefact, must be systematically designed and implemented [26]. The need to have effective mechanisms for specifying and properly testing them is now critical.…”

Section: Discussionmentioning

confidence: 99%

Typing Model Transformations Using Tracts

Vallecillo

Gogolla

2012

Theory and Practice of Model Transformations

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: Discussionmentioning

confidence: 99%

Typing Model Transformations Using Tracts

Vallecillo

Gogolla

2012

Theory and Practice of Model Transformations

View full text Add to dashboard Cite

show abstract

“…Starting from the specification, the transformation tester can automatically generate a complete test suite which can be directly used to test the transformation implementation. This test suite comprises: (i) an oracle function that encodes the invariants and postconditions in the specification as assertions [11]; (ii) a set of input test models which enables the testing of all requirements in the specification according to certain coverage criteria; and (iii) a test script that automates the execution of the transformation for each test model, checks the conformance of the result using the oracle function, and reports any detected error using our mtUnit engine [12].…”

Section: State Of the Artmentioning

confidence: 99%

“…As a final step, we automatically generate an mtUnit script -another language in our transML family of languages [12] -to automate the testing of the transformation using the generated models. The script includes a test case for each invariant and postcondition in the specification, defining the input models to be used in the test case, and the oracle function checking the particular invariant or postcondition.…”

Section: Linking Input Models and Oraclesmentioning

confidence: 99%

“…Model transformations are the pillars of Model-Driven Engineering (MDE), and therefore they should be developed using sound engineering principles to ensure their correctness [12]. However, most model transformation technologies are nowadays centered on supporting the implementation phase, and few efforts are directed to the specification of requirements, design or testing of transformations.…”

Section: Introductionmentioning

confidence: 99%

“…In order to alleviate this situation, we proposed in the past transML, a family of modelling languages for the engineering of transformations using an MDE approach [12]. transML provides support for the gathering of requirements, its formal specification, the architectural, high-and low-level design, as well as the specification of test scripts, which themselves are also models.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Specification-Driven Test Generation for Model Transformations

Guerra

2012

Theory and Practice of Model Transformations

Self Cite

View full text Add to dashboard Cite

Esta es la versión de autor de la comunicación de congreso publicada en: This is an author produced version of a paper published in: El acceso a la versión del editor puede requerir la suscripción del recurso Access to the published version may require subscription Specification-driven test generation for model transformationsEsther GuerraUniversidad Autónoma de Madrid (Spain) Esther.Guerra@uam.es Abstract. Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches to the generation of input models ensure a certain level of source meta-model coverage, whereas the oracle functions are frequently defined using query or graph languages. Both tasks are usually performed independently regardless their common purpose, and sometimes there is a gap between the properties exhibited by the generated input models and those demanded to the transformations (as given by the oracles).Recently, we proposed a formal specification language for the declarative formulation of transformation properties (invariants, pre-and postconditions) from which we generated partial oracle functions that facilitate testing of the transformations. Here we extend the usage of our specification language for the automated generation of input test models by constraint solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the interesting properties of the transformation. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions.

show abstract