HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, November 29, 2016 - 4:39:46 PM
Last modification on : Tuesday, November 16, 2021 - 1:02:01 PM
Long-term archiving on: : Monday, March 27, 2017 - 8:33:59 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads