Using Models of Partial Knowledge to Test Model Transformations - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2012

Using Models of Partial Knowledge to Test Model Transformations

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.
Fichier principal
Vignette du fichier
icmt2012partialModel.pdf (663.65 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00692175 , version 1

Cite

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 View
402 Download

Share

More