Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

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

(1, 2, 3) , (2, 3) , (2, 3) , (1) , (1)
1
2
3

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.
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-02287272 , version 1

Cite

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⟩
16 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More