Tractable Model Transformation Testing

Gogolla, Martin; Vallecillo, Antonio

doi:10.1007/978-3-642-21470-7_16

Cited by 46 publications

(60 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Partial oracle functions express contracts that the input and output models of a transformation should fulfil. Most proposals to partial oracle functions use OCL to specify the contracts [6,10,18]. The approaches in [8,9] follow a similar philosophy to the xUnit framework, and the oracle functions can be specified as OCL/EOL assertions.…”

Section: State Of the Artmentioning

confidence: 99%

“…partitioning of attribute values and number of classes). In [10], the generation of input test models must be hand-coded using an imperative language with features for randomly choosing attribute values and association ends. There are a few white-box testing approaches, like [15] where the authors propose using all possible overlapping models of each pair of rules in a transformation as input models for testing.…”

Section: State Of the Artmentioning

confidence: 99%

See 1 more Smart Citation

Specification-Driven Test Generation for Model Transformations

Guerra

2012

Theory and Practice of Model Transformations

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

Section: State Of the Artmentioning

confidence: 99%

Section: State Of the Artmentioning

confidence: 99%

Specification-Driven Test Generation for Model Transformations

Guerra

2012

Theory and Practice of Model Transformations

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

“…Related to the transformation model concept, the works of Braga et al, Cariou et al, and Gogolla and Vallecillo use OCL constraints to axiomatize properties of rule-based model transformation in terms of transformation contracts (but they do not generate them from a transformation specification) [3,10,13].…”

Section: Related Workmentioning

confidence: 99%

Verification of ATL Transformations Using Transformation Models and Model Finders

Büttner

Egea

Cabot

et al. 2012

Formal Methods and Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. In model-driven engineering, models constitute pivotal elements of the software to be built. If models are specified well, transformations can be employed for different purposes, e.g., to produce final code. However, it is important that models produced by a transformation from valid input models are valid, too, where validity refers to the metamodel constraints, often written in OCL. Transformation models are a way to describe this Hoare-style notion of partial correctness of model transformations using only metamodels and constraints. In this paper, we provide 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. We furthermore show how existing model verifiers (satisfiability checkers) for OCL-annotated metamodels can be applied for the verification of the translated ATL transformations, providing evidence for the effectiveness of our approach in practice.

show abstract

Tractable Model Transformation Testing

Cited by 46 publications

References 19 publications

Specification-Driven Test Generation for Model Transformations

Specification-Driven Test Generation for Model Transformations

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

Verification of ATL Transformations Using Transformation Models and Model Finders

Contact Info

Product

Resources

About