Note ABES Metamodel-based language-agnostic approach to unit test generation from execution traces Approche indépendante du langage fondée sur des métamodèles pour la génération de tests unitaires à partir de traces d’exécution Tests unitaires Génération automatique Métamodèles Traces d'exécution Test Automatic generation Metamodel Traces Systèmes hérités (informatique) Migration des systèmes d'information Logiciels -- Vérification Langages de programmation Les systèmes logiciels hérités manquent souvent de tests unitaires automatisés, ce qui rend difficile la détection des régressions lors de la maintenance ou de la migration. Notre partenaire industriel, Berger-Levrault, est confronté à ce défi, car ses applications sont actuellement en cours de migration depuis des systèmes Java monolithiques vers une architecture « Software-as-a-Service » avec une interface Angular. Pour y remédier, cette thèse étudie la génération automatique de tests unitaires à partir des traces d'exécution du programme afin de capturer le comportement existant du système.Nous utilisons une technique appelée « test carving » pour extraire des tests à partir de traces d'exécution. Une trace est un enregistrement du comportement observé pendant l'exécution qui comprend les valeurs d'entrée et de sortie. Chaque trace peut servir de base à un test unitaire en rejouant le comportement enregistré avec les mêmes entrées et en vérifiant que le résultat correspond à la sortie d'origine. Afin de faciliter l'adoption par les développeurs, nous générons des tests qui reconstruisent les valeurs enregistrées sous forme de code, améliorant ainsi leur lisibilité et leur maintenabilité.Ces abstractions permettent de spécialiser l'approche pour différents langages de programmation et cadriciel de test. Nous avons implémenté notre approche dans un outil concret et l'avons évaluée sur des systèmes écrits en Java et Pharo, couvrant à la fois des logiciels open-source et industriels. Les résultats montrent qu'elle permet de générer des tests lisibles qui capturent les comportements réalistes du système.Dans l'ensemble, ce travail apporte une solution pratique pour dériver des tests de régression pour les systèmes hérités, tout en démontrant comment les abstractions basées sur des métamodèles permettent de créer des tests de manière extensible dans divers contextes techniques. Legacy software systems often lack automated unit tests, which makes it difficult to detect regressions during maintenance or migration. This challenge is faced by our industrial partner, Berger-Levrault, whose applications are currently being migrated from monolithic Java systems to a Software-as-a-Service architecture with an Angular front-end. To address this, this thesis investigates the automatic generation of unit tests from program execution traces to capture existing system behavior.We use a technique called test carving to extract tests from execution traces. A trace is a record of behavior observed during execution that includes input and output values. Each trace can serve as the basis for a unit test by replaying the recorded behavior with the same inputs and verifying that the result matches the original output. To support developer adoption, we generate tests that reconstruct recorded values as code, improving their readability and maintainability.Our approach is based on abstract representations of code, values, and tests, defined through metamodels. These abstractions make it possible to specialize the approach to different programming languages and test frameworks. We implemented the approach in a concrete tool and evaluated it on systems written in Java and Pharo, covering both open-source and industrial software. The results show that it can generate readable tests that capture realistic system behaviors.Overall, this work contributes a practical solution for deriving regression tests for legacy systems, while demonstrating how metamodel-based abstractions enable extensible test carving across diverse technical contexts. Electronic Thesis or Dissertation Text en PDF 1429898 https://pepite-depot.univ-lille.fr/LIBRE/EDMADIS/2025/2025ULILB043.pdf https://theses.fr/2025ULILB043/abes https://theses.hal.science/tel-05600194 https://theses.hal.science/tel-05600194 Darbord Gabriel Darbord 1997-01-14 FR 296433497 https://theses.fr/2025ULILB043 2025ULILB043 https://doi.org/10.70675/4033e5bfze619z4833z8942zaf1d712f0bc1 2025-12-05 Informatique et applications Université de Lille (2022-....) 259265152 Doctorat Docteur es non oui Etien Anne MADS_DIRECTEUR_DE_THESE_1 102053332 Anquetil Nicolas MADS_DIRECTEUR_DE_THESE_2 15665959X Merle Philippe MADS_PRESIDENT_DU_JURY 035777214 De Roover Coen MADS_MEMBRE_DU_JURY_1 267614586 Sunyé Gerson MADS_RAPPORTEUR_1 151750467 Barais Olivier MADS_RAPPORTEUR_2 094608946 École graduée Mathématiques, sciences du numérique et de leurs interactions (Lille ; 2021-....) MADS_ECOLE_DOCTORALE_1 258621362 Centre Inria de l'Université de Lille MADS_PARTENAIRE_DE_RECHERCHE_1 104752 185432247 Centre de Recherche en Informatique, Signal et Automatique de Lille MADS_PARTENAIRE_DE_RECHERCHE_2 410272 18388695X Université de Lille (2022-....) MADS_PARTENAIRE_DE_RECHERCHE_3 259265152 Berger-Levrault MADS_PARTENAIRE_DE_RECHERCHE_4 026498286 ddc:004 Etien Anne Anquetil Nicolas Merle Philippe De Roover Coen Sunyé Gerson Barais Olivier École graduée Mathématiques, sciences du numérique et de leurs interactions (Lille ; 2021-....) Centre Inria de l'Université de Lille Centre de Recherche en Informatique, Signal et Automatique de Lille Université de Lille (2022-....) Berger-Levrault PDF 1429898