Skip to Main content Skip to Navigation
Theses

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
Laboratoire I3S - 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.
Document type :
Theses
Complete list of metadatas

Cited literature [176 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01720323
Contributor : Abes Star :  Contact
Submitted on : Thursday, March 1, 2018 - 9:57:07 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:36 PM
Document(s) archivé(s) le : Wednesday, May 30, 2018 - 12:43:11 PM

File

2017AZUR4114.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01720323, version 1

Collections

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⟩

Share

Metrics

Record views

417

Files downloads

232