Test basé sur les modèles appliqué aux lignes de produits

Hamza Samih 1, 2
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Software product line engineering is an approach that supports developing products in family. These products are described by common and variable features. Currently, the validation activity is disjointed from the product lines development process. The effort and resources provided in the test campaigns for each product can be optimized in the context of product lines. Model-based testing is a technique for automatically generating a suite of test cases from requirements. In this thesis report, we present an approach to test a software product line with model-based testing. This technique is based on an algorithm that establishes the relationship between the variability model released with OVM and the test model, using traceability of functional requirements present in both formalisms. Our contribution is an algorithm that automatically extracts a product test model. It is illustrated with a real industrial case of automotive dashboards and experimented by an industrial of aeronautic domain in the MBAT European project context.
Document type :
Theses
Complete list of metadatas

Cited literature [100 references]  Display  Hide  Download

https://hal.inria.fr/tel-01092342
Contributor : Hamza Samih <>
Submitted on : Monday, December 8, 2014 - 3:41:47 PM
Last modification on : Friday, November 16, 2018 - 1:38:35 AM
Long-term archiving on : Monday, March 9, 2015 - 12:00:41 PM

Identifiers

  • HAL Id : tel-01092342, version 1

Citation

Hamza Samih. Test basé sur les modèles appliqué aux lignes de produits. Informatique. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S109⟩. ⟨tel-01092342⟩

Share

Metrics

Record views

523

Files downloads

1860