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.
Type de document :
Article dans une revue
Communications- ACM, Association for Computing Machinery, 2010, 53 (6), pp.0-0
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger
Contributeur : Didier Vojtisek <>
Soumis le : vendredi 3 décembre 2010 - 14:19:12
Dernière modification le : mardi 4 décembre 2018 - 10:18:08
Document(s) archivé(s) le : vendredi 4 mars 2011 - 03:39:21


Fichiers produits par l'(les) auteur(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- ACM, Association for Computing Machinery, 2010, 53 (6), pp.0-0. 〈inria-00542747〉



Consultations de la notice


Téléchargements de fichiers