Note ABES An interactive debugging approach based on time-traveling queries Une approche de débogage interactive basée sur des Time-traveling queries Débogueurs voyageant dans le temps Requêtes de voyage dans le temps Données d’exécution Debugging Time-Traveling Debuggers Reversible Debuggers Reverse and Replay Time-Traveling Queries Débogage Logiciels -- Développement Mémoire partagée répartie Pharo (langage de programmation) Le debugging est une activité incontournable du développement logiciel.Il s'agit d'une tâche ardue qui nécessite une grande quantité de temps et de ressources, et elle exige que les développeurs aient une compréhension approfondie de leurs programmes. Pour ce faire, les développeurs explorent l'exécution de leurs programmes à l'aide de debuggers interactifs.Cependant, cette activité est souvent répétitive et coûteuse.Afin de simplifier l'exploration interactive des programmes, nous proposons les Time-traveling Queries (TTQs).TTQs est un mécanisme qui explore automatiquement les exécutions de programmes en utilisant un Time-traveling Debugger pour recueillir des données d'exécution.Ce mécanisme permet une nouvelle approche de debugging, où les données collectées permettent de voyager dans le temps à travers les états d'exécution, facilitant ainsi l'exploration des exécutions de programmes.Nous avons élaboré un ensemble de questions clés basées sur des questions typiques que les développeurs se posent lorsqu'ils essaient de comprendre les programmes.Pour évaluer l'impact de nos requêtes sur les activités de compréhension des programmes, nous avons mené une étude empirique impliquant 34 utilisateurs.Nos résultats montrent que, par rapport aux outils de debugging traditionnels, les TTQs améliorent considérablement la précision des développeurs tout en réduisant le temps et les efforts nécessaires pour mener à bien les tâches de compréhension des programmes.Malgré les résultats prometteurs que notre approche a montrés, elle présente une exigence cruciale: elle nécessite l'utilisation d'un Time-traveling Debugger pour être opérationnelle.Cependant, il est important de noter que les debuggers de ce genre ne sont pas disponibles pour tous les systèmes.Dans les systèmes où plusieurs programmes sont exécutés dans une mémoire partagée, les Time-traveling Debuggers se heurtent à la complexité de délimiter les effets en mémoire causés par les opérations de voyage dans le temps.Pour résoudre ce problème, nous avons mené une étude approfondie des propriétés essentielles requises pour adapter les solutions de voyage dans le temps à ce type de système.En utilisant ces propriétés comme guide, nous avons introduit deux Time-traveling Debuggers spécifiquement conçus pour Pharo, un système qui repose sur une mémoire partagée.Nous avons ensuite évalué l'importance de ces propriétés au travers de deux expériences, démontrant ainsi leur rôle crucial dans la réalisation d'opérations précises de voyage dans le temps.Enfin, nous avons procédé à une analyse approfondie des solutions existantes pour évaluer leur applicabilité dans le contexte des systèmes à mémoire partagée. Debugging is an indispensable part of software development, often consuming a significant amount of time and resources.Efficiently debugging a program requires program comprehension.To acquire it, developers explore the program execution, a task often performed using interactive debuggers.Unfortunately, exploring a program's execution through standard interactive debuggers is a tedious and costly task.We propose Time-traveling Queries (TTQs) to ease interactive program exploration.TTQs is a mechanism that automatically explores program executions using a time-traveling debugger to collect execution data.This mechanism enables a new debugging approach, where the collected data is used to time-travel through execution states, facilitating the exploration of program executions.We built a set of key TTQs based on typical questions developers ask when trying to understand programs.We conducted a user study with 34 participants to evaluate the impact of our queries on program comprehension activities.Results show that, compared to traditional debugging tools, TTQs significantly improve developers' precision while reducing the time and effort required to perform program comprehension tasks, allowing for a more efficient debugging process.While our TTQs-based debugging approach shows promising results in improving interactive debugging problems, it requires a time-traveling debugger to operate.However, debuggers of such kind are not available in all systems.In systems where multiple programs run in shared memory, time-traveling debuggers face the challenge of precisely scoping time-travel operations.This presents a critical difficulty that limits the applicability of time-traveling debuggers to these systems.To investigate this difficulty, we study the essential properties required to apply time-traveling solutions to this type of system.From these properties, we introduced two time-traveling debuggers for Pharo, a shared memory system.We evaluated the importance of these properties through two experiments, demonstrating their significance in performing precise time-traveling operations.Furthermore, we analyze existing solutions to assess their applicability to shared memory systems. Electronic Thesis or Dissertation Text en PDF 9609435 https://pepite-depot.univ-lille.fr/LIBRE/EDMADIS/2023/2023ULILB031.pdf https://theses.hal.science/tel-04512544 https://theses.hal.science/tel-04512544 https://theses.hal.science/tel-04512544 https://theses.hal.science/tel-04512544 https://theses.hal.science/tel-04512544 https://theses.fr/2023ULILB031/abes https://theses.hal.science/tel-04512544 https://theses.hal.science/tel-04512544 https://theses.hal.science/tel-04512544 Willembrinck Santander Maximilian Ignacio Willembrinck Santander 1986-08-29 CL 27647709X https://theses.fr/2023ULILB031 2023ULILB031 https://doi.org/10.70675/2372cfd2z4549z4f8dzb941z37a198b2a5f6 2023-11-21 Informatique et applications Université de Lille (2022-....) 259265152 Doctorat Docteur es non oui Etien Anne MADS_DIRECTEUR_DE_THESE_1 102053332 Rudametkin Walter MADS_PRESIDENT_DU_JURY 169898180 Le Pors Éric MADS_MEMBRE_DU_JURY_1 144123576 Costiou Steven MADS_MEMBRE_DU_JURY_2 234842342 Gonzalez Boix Elisa MADS_RAPPORTEUR_1 259915068 Dony Christophe MADS_RAPPORTEUR_2 048655198 É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 EVREF MADS_PARTENAIRE_DE_RECHERCHE_3 ddc:004 Etien Anne Rudametkin Walter Le Pors Éric Costiou Steven Gonzalez Boix Elisa Dony Christophe Ecole doctorale Mathématiques, sciences du numérique et de leurs interactions (Lille) Centre de Recherche en Informatique, Signal et Automatique de Lille Centre Inria de l'Université de Lille EVREF PDF 9609435