An Approach to Derive Usage Models Variants for Model-based Testing - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

An Approach to Derive Usage Models Variants for Model-based Testing

Ralf Bogusch
  • Fonction : Auteur
  • PersonId : 957176
Mathieu Acher
Benoit Baudry
  • Fonction : Auteur
  • PersonId : 838700

Résumé

Testing techniques in industry are not yet adapted for product line engineering (PLE). In particular, Model-based Testing (MBT), a technique that allows to automatically generate test cases from requirements, lacks support for managing variability (differences) among a set of related product. In this paper, we present an approach to equip usage models, a widely used formalism in MBT, with variability capabilities. Formal correspondences are established between a variability model, a set of functional requirements, and a usage model. An algorithm then exploits the traceability links to automatically derive a usage model variant from a desired set of selected features. The approach is integrated into the professional MBT tool MaTeLo and is currently used in industry.
Fichier principal
Vignette du fichier
MasterTex.pdf (429.17 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-01025124 , version 1 (17-07-2014)
hal-01025124 , version 2 (29-11-2016)

Identifiants

  • HAL Id : hal-01025124 , version 1

Citer

Hamza Samih, Hélène Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry. An Approach to Derive Usage Models Variants for Model-based Testing. The 26th IFIP International Conference on Testing Software and Systems (2014), Sep 2014, Madrid, Spain. ⟨hal-01025124v1⟩

Collections

IRISA-D4 INRIA2
1402 Consultations
442 Téléchargements

Partager

More