Note ABES Dépendances externes dans les programmes : spéci?cation, détection et inexactitudes External Dependencies in Programs : Specification, Detection and Incorrectness Dépendances externes Dépendances incorrectes Qualité logicielle Correspondance de motifs External dependencies Incorrect dependencies Software quality Pattern matching Logiciels -- Développement Logiciels Qualité Code source (informatique) Pharo (langage de programmation) Un logiciel réussi nécessite des modifications constantes.Pour garantir le bon fonctionnement continu des applications, les développeurs doivent bien les comprendre, notamment en ayant une carte précise des dépendances entre les parties qu'ils modifient.Cependant, certaines de ces dépendances ne sont pas facilement identifiables.Par exemple, dans une application Android, il existe des dépendances entre le code source Java et les parties XML, dont certaines sont matérialisées par une classe Java "R" générée.Un autre exemple est le logiciel qui se connecte à une base de données, où des requêtes SQL sont intégrées dans le code source de ce logiciel (comme en Java, .NET, etc.).Ces requêtes font référence à des entités de base de données telles que des tables et des procédures stockées.Nous appelons ces dépendances externes car elles sont introduites par un agent externe au code source.Elles ne sont pas facilement détectables car elles existent entre des parties (comme différents langages de programmation, différentes couches, etc.).Dans cette thèse, nous avons développé un outil générique nommé Adonis, qui utilise des modèles réutilisables pour identifier les dépendances.Nous avons implémenté cet outil dans le langage de programmation Pharo et l'avons validé sur divers projets open source et industriels. Au cours de l'implémentation, nous avons réalisé la nécessité d'un moteur de recherche capable d'identifier des parties de dépendances externes, indépendamment de leur langage de code source, de leur profondeur dans le code ou de la complexité de leur emplacement.Pour répondre à ce besoin, nous avons créé MoTion, un langage de correspondance de motifs déclaratif capable de définir des modèles et de faire correspondre des objets ou des arbres d'objets dans des modèles importés dans Pharo, ainsi que de faire correspondre des chaînes de texte à l'aide d'expressions régulières.De plus, nous avons découvert que les dépendances externes sont parfois établies de manière incorrecte, ce qui peut entraîner des défauts dans le programme.Identifier ces dépendances est crucial pour que les développeurs puissent prendre des décisions éclairées sur leur correction ou leur suppression afin d'éviter des problèmes ou des effets secondaires potentiels.Nous avons développé une approche pour détecter ces dépendances externes incorrectes, basée à la fois sur la littérature et nos résultats de recherche, et avons validé cette approche sur les mêmes projets open source et industriels que pour Adonis. Successful software requires constant modifications.To guarantee the continuous proper functioning of the applications, developers need to understand them well, particularly by having an accurate map of the dependencies between the parts they are modifying.However, some of these dependencies are not easily identified.For example, in an Android application, there are dependencies between the Java source code and XML parts, some of which are materialized by a generated “R” Java class.Another example is software that connects to a database, where SQL queries are embedded within the source code of this software (such as in Java, .NET, etc.).These queries refer to database entities like tables and stored procedures.We call such dependencies external because they are introduced by some agent external to the source code.We call such dependencies external because they are introduced by some agent external to the source code.They are not easily detectable as they exist between parts (like different programming languages, different tiers ...).In this thesis, we developed a generic tool named Adonis, which uses reusable patterns to identify dependencies.We implemented this tool in the Pharo programming language and validated it across various open source and industrial projects.During implementation, we realized the need for a search engine capable of identifying parts of external dependencies, regardless of their source code language, their depth within the code, or the complexity of their location.To address this need, we created MoTion, a declarative pattern matching language capable of defining patterns and matching objects or trees of objects in imported models in Pharo, as well as matching text strings using regular expressions.Additionally, we discovered that external dependencies are sometimes incorrectly established, potentially leading to program flaws.Identifying these dependencies is crucial for developers to make informed decisions on correcting or removing them to avoid potential issues or side effects.We developed an approach to detect such incorrect external dependencies, based on both literature and our research findings, and validated this approach on the same open source and industrial projects as for Adonis. Electronic Thesis or Dissertation Text en PDF 17385064 https://pepite-depot.univ-lille.fr/LIBRE/EDMADIS/2024/2024ULILB045.pdf https://theses.hal.science/tel-05031064 https://theses.fr/2024ULILB045/abes https://theses.hal.science/tel-05031064 https://theses.hal.science/tel-05031064 https://theses.hal.science/tel-05031064 Hosry Aless Hosry 1994-06-23 LB 284281026 https://theses.fr/2024ULILB045 2024ULILB045 https://doi.org/10.70675/df132dbaz4026z495azb9d2zc692881158c8 2024-12-06 Informatique et applications Université de Lille (2022-....) 259265152 Doctorat Docteur es non oui Anquetil Nicolas MADS_DIRECTEUR_DE_THESE_1 15665959X Rudametkin Walter MADS_PRESIDENT_DU_JURY 169898180 Sadou Salah MADS_RAPPORTEUR_1 077766148 El Boussaidi Ghizlane MADS_RAPPORTEUR_2 284275794 École graduée Mathématiques, sciences du numérique et de leurs interactions (Lille ; 2021-....) MADS_ECOLE_DOCTORALE_1 258621362 Centre de Recherche en Informatique, Signal et Automatique de Lille MADS_PARTENAIRE_DE_RECHERCHE_1 410272 18388695X Centre Inria de l'Université de Lille MADS_PARTENAIRE_DE_RECHERCHE_2 104752 185432247 Université de Lille (2018-2021) MADS_PARTENAIRE_DE_RECHERCHE_3 223446556 Institut national de recherche en informatique et en automatique (France ; 1979-....) MADS_PARTENAIRE_DE_RECHERCHE_4 026489171 ddc:004 Anquetil Nicolas Rudametkin Walter Sadou Salah El Boussaidi Ghizlane École graduée Mathématiques, sciences du numérique et de leurs interactions (Lille ; 2021-....) Centre de Recherche en Informatique, Signal et Automatique de Lille Centre Inria de l'Université de Lille Université de Lille (2018-2021) Institut national de recherche en informatique et en automatique (France ; 1979-....) PDF 17385064