Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation - Télécom Paris
Communication Dans Un Congrès Année : 2014

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-02287272 , version 1 (13-09-2019)

Identifiants

  • HAL Id : hal-02287272 , version 1

Citer

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⟩
44 Consultations
0 Téléchargements

Partager

More