Skip to Main content Skip to Navigation
Conference papers

Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study

Hamza Samih 1, 2, * Mathieu Acher 1 Ralf Bogusch 3 Hélène Le Guen 2 Benoit Baudry 1
* Corresponding author
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 Airbus
Airbus Group [Germany]
Abstract : The strong cost pressure of the market and safety issues faced by aerospace industry affect the development. Suppliers are forced to continuously optimize their life-cycle processes to facilitate the development of variants for different customers and shorten time to market. Additionally, industrial safety standards like RTCA/DO-178C require high efforts for testing single products. A suitably organized test process for Product Lines (PL) can meet standards. In this paper, we propose an approach that adopts Model-based Testing (MBT) for PL. Usage models, a widely used MBT formalism that provides automatic test case generation capabilities, are equipped with variability information such that usage model variants can be derived for a given set of features. The approach is integrated in the professional MBT tool MaTeLo. We report on our experience gained from an industrial case study in the aerospace domain.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Hamza Samih Connect in order to contact the contributor
Submitted on : Thursday, June 5, 2014 - 3:30:16 PM
Last modification on : Thursday, January 20, 2022 - 5:33:16 PM
Long-term archiving on: : Friday, September 5, 2014 - 11:55:57 AM


Publisher files allowed on an open archive


  • HAL Id : hal-01002099, version 1


Hamza Samih, Mathieu Acher, Ralf Bogusch, Hélène Le Guen, Benoit Baudry. Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study. 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), Aug 2014, Tianjin, China. ⟨hal-01002099⟩



Les métriques sont temporairement indisponibles