Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation

Abstract :

Complex model-based tools such as code generators are typi- cally designed as chains of model transformations taking as input a model of a software application and transforming it through several intermedi- ate steps and representations. The complexity of intermediate models is such that testing is more conveniently done on the integrated chain, with test models expressed in the input language. To achieve a high test cover- age, existing transformation analyses automatically generate constraints guiding the generation of test models. However, these so called test ob- jectives are expressed on the complex intermediate models. We propose to back-propagate test objectives along the chain into constraints and test models in the input language, relying on precondition construction in the theory of Algebraic Graph Transformation. This paper focuses on a one-step back-propagation.

Complete list of metadatas

https://hal.telecom-paristech.fr/hal-02287272
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 4:47:34 PM
Last modification on : Tuesday, October 8, 2019 - 1:44:06 PM

Identifiers

  • HAL Id : hal-02287272, version 1

Collections

Citation

Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José Riuz. Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation. AMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43. ⟨hal-02287272⟩

Share

Metrics

Record views

3