Skip to Main content Skip to Navigation
New interface
Theses

Approche à contraintes pour la sélection de Covering Array

Aymeric Hervieu 1 
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Nowadays, software companies develop and maintain their software for several clients. Consequently, these applications have to  be integrated in heterogenous context and adapt to the user requriements. All these products are sharing commonalities but also differ in certain point due to business specific constraints. Configurable systems facilitate the creation of these product families. With them it is possible to create a software product by selecting the features that will be integrated, thus, the creation of a product is greatly simplified. However,  the validation of these systems is a complex task. A configurable system can generate millions of possible configurations. Thus, validation process doesn't consist in validating a single product but in validating a set of products. This large number of configurations is a problem for those responsible of the validation. In this thesis we propose three contributions that aim to solve issues raised by  variability during test projects : A detailled presentation of two industrial test projects coping tat variaibility issues; an original methodology based on constraint programming techniques to select test configurations that respect pairwise criteria from a feature model ; an exhaustive comparison of this approach with the existing approches and a detailled study of the application of a such techniques on the two industrials projects.
Document type :
Theses
Complete list of metadata

Cited literature [71 references]  Display  Hide  Download

https://theses.hal.science/tel-00915223
Contributor : ABES STAR :  Contact
Submitted on : Thursday, April 24, 2014 - 11:07:08 AM
Last modification on : Saturday, June 25, 2022 - 7:43:28 PM
Long-term archiving on: : Monday, April 10, 2017 - 4:44:32 PM

File

HERVIEU_Aymeric.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00915223, version 2

Citation

Aymeric Hervieu. Approche à contraintes pour la sélection de Covering Array. Autre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S143⟩. ⟨tel-00915223v2⟩

Share

Metrics

Record views

312

Files downloads

398