An Approach to Derive Usage Models Variants for Model-based Testing - Testing Software and Systems Access content directly
Conference Papers Year : 2014

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

Ralf Bogusch
  • Function : Author
  • PersonId : 957176
Mathieu Acher
Benoit Baudry
  • Function : Author
  • PersonId : 838700

Abstract

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 (816.66 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

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

Identifiers

  • HAL Id : hal-01025124 , version 1

Cite

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
1343 View
415 Download

Share

Gmail Facebook X LinkedIn More