An Approach to Derive Usage Models Variants for Model-Based Testing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

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

Hamza Samih
  • Function : Author
  • PersonId : 994800
Hélène Le Guen
  • Function : Author
  • PersonId : 957206
Mathieu Acher

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
978-3-662-44857-1_6_Chapter.pdf (816.66 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Attribution

Identifiers

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. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.80-96, ⟨10.1007/978-3-662-44857-1_6⟩. ⟨hal-01025124v2⟩
1332 View
411 Download

Altmetric

Share

Gmail Facebook X LinkedIn More