Barriers to Systematic Model Transformation Testing

Abstract : Model Driven Engineering (MDE) techniques support extensive use of models in order to manage the increasing complexity of software systems. Approp riate abstractions of software system elements can ease reasoning and understand ing and thus limit the risk of errors in large systems. Automatic model transfor mations play a critical role in MDE since they automate complex, tedious, error- prone, and recurrent software development tasks. A fault in a transformation can introduce a fault in the transformed model, which if undetected and not removed , can propagate to other models in successive development steps. As a fault prop agates further, it becomes more difficult to detect and isolate. Since model tra nsformations are meant to be reused, faults present in them may result in many f aulty models. Model transformations constitute a class of programs with unique c haracteristics that make testing them challenging. The complexity of input and o utput data, lack of model management tools, and the heterogeneity of transformat ion languages pose special problems to testers of transformations. In this paper we identify current model transformation characteristics that contribute to the difficulty of systematically testing transformations. We present promising solu tions and propose possible ways to overcome these barriers.
Document type :
Journal articles
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00542747
Contributor : Didier Vojtisek <>
Submitted on : Friday, December 3, 2010 - 2:19:12 PM
Last modification on : Tuesday, December 4, 2018 - 10:18:08 AM
Long-term archiving on : Friday, March 4, 2011 - 3:39:21 AM

File

Baudry09a.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00542747, version 1

Citation

Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert France, Yves Le Traon, et al.. Barriers to Systematic Model Transformation Testing. Communications- ACM, Association for Computing Machinery, 2010, 53 (6), pp.0-0. ⟨inria-00542747⟩

Share

Metrics

Record views

856

Files downloads

664