Using Models of Partial Knowledge to Test Model Transformations

Sagar Sen 1 Jean-Marie Mottu 2 Massimo Tisi 1 Jordi Cabot 1
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : Testers often use partial knowledge to build test models. This knowledge comes from sources such as requirements, known faults, existing inputs, and execution traces. In Model-Driven Engineering, test inputs are models executed by model transformations. Modelers build them using partial knowledge while meticulously satisfying several well-formedness rules imposed by the modelling language. This manual process is tedious and language constraints can force users to create complex models even for representing simple knowledge. In this paper, we want to simplify the development of test models by presenting an integrated methodology and semi-automated tool that allow users to build only small partial test models directly representing their testing intent. We argue that partial models are more readable and maintainable and can be automatically completed to full input models while considering language constraints. We validate this approach by evaluating the size and fault-detecting effectiveness of partial models compared to traditionally-built test models. We show that they can detect the same bugs/faults with a greatly reduced development effort.
Type de document :
Communication dans un congrès
International Conference on Model Transformation, May 2012, Prague, Czech Republic. 2012
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger
Contributeur : Sagar Sen <>
Soumis le : samedi 28 avril 2012 - 19:38:45
Dernière modification le : mardi 4 décembre 2018 - 11:10:03
Document(s) archivé(s) le : dimanche 29 juillet 2012 - 02:45:22


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00692175, version 1


Sagar Sen, Jean-Marie Mottu, Massimo Tisi, Jordi Cabot. Using Models of Partial Knowledge to Test Model Transformations. International Conference on Model Transformation, May 2012, Prague, Czech Republic. 2012. 〈hal-00692175〉



Consultations de la notice


Téléchargements de fichiers