Assas Recherche | Maîtriser la variabilité enfouie dans les systèmes orientés objet et les systèmes de construction logicielle

Maîtriser la variabilité enfouie dans les systèmes orientés objet et les systèmes de construction logicielle (Document en Anglais)

Accès au(x) document(s)

Accéder au(x) document(s) :

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Modalités de diffusion de la thèse :

Thèse consultable sur internet, en texte intégral.

Informations sur les contributeurs

Auteur : Mortara Johann

Mortara, Johann

Nom

Mortara

Prénom

Johann

Nationalité

Français

Date de soutenance : 20-12-2022

Directeur(s) de thèse : Collet Philippe

Collet, Philippe

Nom

Collet

Prénom

Philippe

Etablissement de soutenance : Université Côte d'Azur

Université Côte d'Azur

Nom

Université Côte d'Azur

Laboratoire : Laboratoire Informatique, signaux et systèmes (Sophia Antipolis, Alpes-Maritimes)

Laboratoire Informatique, signaux et systèmes (Sophia Antipolis, Alpes-Maritimes)

Nom

Laboratoire Informatique, signaux et systèmes (Sophia Antipolis, Alpes-Maritimes)

Ecole doctorale : École doctorale Sciences et technologies de l'information et de la communication (Nice ; 1992-....)

École doctorale Sciences et technologies de l'information et de la communication (Nice ; 1992-....)

Nom

École doctorale Sciences et technologies de l'information et de la communication (Nice ; 1992-....)

Informations générales

Discipline : Informatique
Classification : Informatique

Mots-clés libres : Génie logiciel, Lignes de produits logiciels, Variabilité logicielle, Modèle de variabilité, Rétro-Ingénierie, Visualisation
Mots-clés :

Logiciels -- Développement - Logiciels -- Maintenance
Logiciels -- Vérification
Conception de systèmes informatiques
Systèmes d'exploitation orientés objets

Résumé : La demande sans cesse croissante de solutions logicielles nouvelles et récentes oblige les professionnels du logiciel à développer et à maintenir des systèmes logiciels personnalisables tout en garantissant un niveau élevé de qualité et de fiabilité.Si les lignes de produits logiciels (LPLs) constituent une solution pour atteindre cet objectif, de nombreux systèmes logiciels riches en variabilité ne sont pas organisés de cette manière. Ils augmentent progressivement leurs parties variables, en s'appuyant sur les multiples mécanismes existants pour mettre en œuvre leur variabilité dans le code et leur chaîne d'outils de construction. Dans leur mise en œuvre, les systèmes orientés objet (OO) gèrent principalement leur variabilité dans une base de code unique en utilisant des mécanismes OO tels que l'héritage et les patrons de conception. En raison de leur nature, ces implémentations sont enfouies dans la base de code, ce qui nuit à la compréhension du système par les développeurs et, par conséquent, à sa maintenance et à son évolution, entraînant des problèmes de qualité. En outre, les grands systèmes logiciels riches en variabilité s'appuient souvent sur des systèmes de construction complexes pour sélectionner les éléments du code. Comme il s'agit de systèmes de construction ad hoc réutilisant des outils standard, aucune représentation globale du mécanisme de résolution de la variabilité n'est disponible, et des conflits peuvent survenir et causer des anomalies. Dans cette thèse, nous proposons tout d'abord les bases et les techniques pour identifier et visualiser les implémentations de la variabilité dans les grands systèmes logiciels OO riches en variabilité. Ces implémentations sont abstraites en termes de points de variation et de variantes et identifiées en s'appuyant sur la notion de densité de symétries dans les structures OO. En reprenant la métaphore d'une ville, elles sont ensuite visualisées sous la forme d'un ensemble connecté de bâtiments 3D combinés à des métriques sur leur qualité.Cela permet de distinguer les zones concentrant les implémentations de variabilité et présentant potentiellement une dette technique. Ces propositions ont été validées par un prototype sur de grands systèmes logiciels OO open-source et hautement variables, ainsi que par une étude d'utilisabilité avec deux groupes distincts de développeurs débutants. La thèse introduit également un cadre de modélisation et de raisonnement pour caractériser les anomalies dans les systèmes de construction gérant de la variabilité, permettant de raisonner sur les relations entre les actifs du code, et d'identifier toutes ces anomalies au grain le plus fin. Le framework a été instancié et partiellement implémenté à la fois sur le système de construction du noyau Linux, démontrant sa généralité sur les nombreuses détections distinctes sur ce sujet très étudié, et sur une chaîne d'outils de construction récemment étudiée de la fondation Mozilla, démontrant son applicabilité.

Informations techniques

Type de contenu : Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

STAR : dépôt national des thèses électroniques françaises

Identifiant : 2022COAZ4107
Type de ressource : Thèse