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

Provided by: RWSoftware
Topic: Software
Format: PDF
Complex model-based tools such as code generators are typically designed as chains of model transformations taking as input a model of a software application and transforming it through several intermediate 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 high test coverage, existing transformation analyses automatically generate constraints guiding the generation of test models. However, these so called test objectives are expressed on the complex intermediate models.

Find By Topic