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
2 ALL4TEC RD [Laval]
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.
Keywords : Usage Model Product Line Orthogonal Variability Model Requirements Model-based Testing
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download
https://hal.inria.fr/hal-01002099
Contributor : Hamza Samih <>
Submitted on : Thursday, June 5, 2014 - 3:30:16 PM
Last modification on : Thursday, February 7, 2019 - 5:49:09 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

Identifiers

  • HAL Id : hal-01002099, version 1

Collections

UNIV-RENNES1 | INRIA | IRISA | IRISA-D4 | INSTITUT-TELECOM | UR1-UFR-ISTIC | UNIV-RENNES

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

2129

Files downloads

680

Contact


archive-ouverte@inria.fr