Skip to Main content Skip to Navigation
New interface
Journal articles

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 metadata

Cited literature [10 references]  Display  Hide  Download
Contributor : Didier Vojtisek Connect in order to contact the contributor
Submitted on : Friday, December 3, 2010 - 2:19:12 PM
Last modification on : Friday, November 18, 2022 - 9:25:18 AM
Long-term archiving on: : Friday, March 4, 2011 - 3:39:21 AM


Files produced by the author(s)


  • HAL Id : inria-00542747, version 1


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



Record views


Files downloads