Using Models of Partial Knowledge to Test Model Transformations - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

Using Models of Partial Knowledge to Test Model Transformations

Résumé

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

Dates et versions

hal-00692175 , version 1 (28-04-2012)

Identifiants

  • HAL Id : hal-00692175 , version 1

Citer

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. ⟨hal-00692175⟩
351 Consultations
406 Téléchargements

Partager

More