| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study
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.
Cited literature [16 references]
https://hal.inria.fr/hal-01002099
Contributor : Hamza Samih <>
Submitted on : Thursday, June 5, 2014 - 3:30:16 PM
Last modification on : Thursday, January 7, 2021 - 4:34:38 PM
Long-term archiving on: : Friday, September 5, 2014 - 11:55:57 AM
Contributor : Hamza Samih <>
Submitted on : Thursday, June 5, 2014 - 3:30:16 PM
Last modification on : Thursday, January 7, 2021 - 4:34:38 PM
Long-term archiving on: : Friday, September 5, 2014 - 11:55:57 AM
File
Deriving_Usage_Model_Variants_...
Publisher files allowed on an open archive