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 metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01025124
Contributor : Hal Ifip <>
Submitted on : Tuesday, November 29, 2016 - 4:39:46 PM
Last modification on : Thursday, November 15, 2018 - 11:57:44 AM
Long-term archiving on : Monday, March 27, 2017 - 8:33:59 AM

File

978-3-662-44857-1_6_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

1481

Files downloads

223