CentraleSupélec (3, rue Joliot Curie,
Plateau de Moulon,
91192 GIF-SUR-YVETTE Cedex - France)
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.
Mercedes G. Merayo; Edgardo Montes Oca. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. Springer, Lecture Notes in Computer Science, LNCS-8763, pp.80-96, 2014, Testing Software and Systems. 〈10.1007/978-3-662-44857-1_6〉
https://hal.inria.fr/hal-01025124
Contributeur : Hal Ifip
<>
Soumis le : mardi 29 novembre 2016 - 16:39:46
Dernière modification le : jeudi 15 novembre 2018 - 11:57:44
Document(s) archivé(s) le : lundi 27 mars 2017 - 08:33:59
Hamza Samih, Hélène Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry. An Approach to Derive Usage Models Variants for Model-Based Testing. Mercedes G. Merayo; Edgardo Montes Oca. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. Springer, Lecture Notes in Computer Science, LNCS-8763, pp.80-96, 2014, Testing Software and Systems. 〈10.1007/978-3-662-44857-1_6〉. 〈hal-01025124v2〉
