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
Résumé : Aujourd'hui, les éditeurs logiciels ne conçoivent, développent et ne maintiennent plus leur offre logicielle avec comme cible un client unique. Au contraire, les offres logicielles sont conçues pour cibler plusieurs entités. Par conséquent, ces applications doivent s'intégrer dans des environnements différents et s'adapter aux besoins des clients. Ainsi, les produits logiciels développés ne sont plus des programmes uniques, mais des familles de produits. Les systèmes configurables facilitent la création de ces familles de produits. Grâce à eux il est possible de créer un produit logiciel en sélectionnant les fonctionnalités qui seront intégrées. Cependant, la validation de ces systèmes  est une tâche complexe. Un système configurable peut générer plusieurs millions de configurations possibles. Il ne s'agit donc plus de valider un seul et unique produit, mais un ensemble de produits. Cet important nombre de configurations est un problème pour les personnes chargées de la validation. Nous proposons trois contributions qui visent à mieux répondre aux problématiques liées à la variabilité lors des projets de test : une présentation détaillée de deux projets de test industriels faisant face à des problématiques de variabilité issus de deux entreprises : Cisco et Orange ; une méthode originale basée sur les techniques de programmation par contraintes pour extraire des configurations de test qui respectent le critère Pairwise à partir d'un modèle explicite de la variabilité ; une comparaison de cette approche par rapport aux techniques de l'état de l'art et une étude de l'application de cette technique de test sur deux projets de tests industriels.
Type de document :
Thèse
Autre [cs.OH]. Université Rennes 1, 2013. Français. 〈NNT : 2013REN1S143〉
Liste complète des métadonnées

Littérature citée [71 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00915223
Contributeur : Abes Star <>
Soumis le : jeudi 24 avril 2014 - 11:07:08
Dernière modification le : mercredi 2 août 2017 - 10:06:30
Document(s) archivé(s) le : lundi 10 avril 2017 - 16:44:32

Fichier

HERVIEU_Aymeric.pdf
Version validée par le jury (STAR)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

282

Téléchargements de fichiers

299