Handling variability at the code level : modeling, tracing and checking consistency

Xhevahire Tërnava 1
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MODALIS
SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Résumé : Durant le développement de grandes lignes de produits logiciels, un ensemble de techniques d’implémentation traditionnelles, comme l’héritage ou les patrons de conception, est utilisé pour implémenter la variabilité. La notion de feature, en tant qu’unité réutilisable, n’a alors pas de représentation de première classe dans le code, et un choix inapproprié de techniques entraîne des incohérences entre variabilités du domaine et de l’implémentation. Dans cette thèse, nous étudions la diversité de la majorité des techniques d’implémentation de la variabilité, que nous organisons dans un catalogue étendu. Nous proposons un framework pour capturer et modéliser, de façon fragmentée, dans des modèles techniques de variabilité, la variabilité implémentée par plusieurs techniques combinées. Ces modèles utilisent les points de variation et les variantes, avec leur relation logique et leur moment de résolution, pour abstraire les techniques d’implémentation. Nous montrons comment étendre le framework pour obtenir la traçabilité de feature avec leurs implémentations respectives. De plus, nous fournissons une approche outillée pour vérifier la cohérence de la variabilité implémentée. Notre méthode utilise du slicing pour vérifier partiellement les formules de logique propositionnelles correspondantes aux deux niveaux dans le cas de correspondence 1–m entre ces niveaux. Ceci permet d’obtenir une détection automatique et anticipée des incohérences. Concernant la validation, le framework et la méthode de vérification ont été implémentés en Scala. Ces implémentations ont été appliquées à un vrai système hautement variable et à trois études de cas de lignes de produits.
Type de document :
Thèse
Software Engineering [cs.SE]. Université Côte d'Azur, 2017. English. 〈NNT : 2017AZUR4114〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-01720323
Contributeur : Abes Star <>
Soumis le : jeudi 1 mars 2018 - 09:57:07
Dernière modification le : vendredi 2 mars 2018 - 01:24:45
Document(s) archivé(s) le : mercredi 30 mai 2018 - 12:43:11

Fichier

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

Identifiants

  • HAL Id : tel-01720323, version 1

Collections

STAR | I3S | UNICE

Citation

Xhevahire Tërnava. Handling variability at the code level : modeling, tracing and checking consistency. Software Engineering [cs.SE]. Université Côte d'Azur, 2017. English. 〈NNT : 2017AZUR4114〉. 〈tel-01720323〉

Partager

Métriques

Consultations de la notice

178

Téléchargements de fichiers

86