Evolution, testing and configuration of variability systems intensive

José Ángel Galindo Duarte 1, 2
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Résumé : Une particularité importante du logiciel est sa capacité à être adapté et configuré selon différents scénarios. Récemment, la variabilité du logiciel a été étudiée comme un concept de première classe dans différents domaines allant des lignes de produits logiciels aux systèmes ubiquitaires. La variabilité est la capacité d'un produit logiciel à varier en fonction de différentes circonstances. Les systèmes à forte variabilité mettent en jeu des produits logiciels où la gestion de la variabilité est une activité d'ingénierie prédominante. Les diverses parties de ces systèmes sont couramment modélisées en utilisant des formes différentes de ''modèle de variabilité'', qui est un formalisme de modélisation couramment utilisé. Les modèles de caractéristiques (feature models) ont été introduits par Kang et al. en 1990 et sont une représentation compacte d'un ensemble de configurations pour un système à forte variabilité. Le grand nombre de configurations d'un modèle de caractéristiques ne permet pas une analyse manuelle. De fait, les mécanismes assistés par ordinateur sont apparus comme une solution pour extraire des informations utiles à partir de modèles de caractéristiques. Ce processus d'extraction d'information à partir de modèles de caractéristiques est appelé dans la littérature scientifique ''analyse automatisée de modèles de caractéristiques'' et a été l'un des principaux domaines de recherche ces dernières années. Plus de trente opérations d'analyse ont été proposées durant cette période. Dans cette thèse, nous avons identifié différentes questions ouvertes dans le domaine de l'analyse automatisée et nous avons considéré plusieurs axes de recherche. Poussés par des scénarios du monde réel (e.g., la téléphonie mobile ou la vidéo protection), nous avons contribué à appliquer, adapter ou étendre des opérations d'analyse automatisée pour l’évolution, le test et la configuration de systèmes à forte variabilité.
Type de document :
Thèse
Other [cs.OH]. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S008〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-01187958
Contributeur : Abes Star <>
Soumis le : vendredi 28 août 2015 - 11:17:12
Dernière modification le : jeudi 21 septembre 2017 - 01:07:06
Document(s) archivé(s) le : dimanche 29 novembre 2015 - 10:25:20

Fichier

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

Identifiants

  • HAL Id : tel-01187958, version 1

Citation

José Ángel Galindo Duarte. Evolution, testing and configuration of variability systems intensive. Other [cs.OH]. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S008〉. 〈tel-01187958〉

Partager

Métriques

Consultations de
la notice

283

Téléchargements du document

345