Barriers to Systematic Model Transformation Testing - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Communications of the ACM Année : 2010

Barriers to Systematic Model Transformation Testing

Résumé

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.
Fichier principal
Vignette du fichier
Baudry09a.pdf (96.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00542747 , version 1 (03-12-2010)

Identifiants

  • HAL Id : inria-00542747 , version 1

Citer

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⟩
308 Consultations
724 Téléchargements

Partager

More