Academic literature on the topic 'Multiverse debugging'

Cette thèse traite du débogage interactif des langages de spécification non déterministes, en réponse à la complexité croissante des systèmes logiciels, notamment dans le domaine de l’Internet des Objets. Nous proposons une approche de débogage multivers réduit, modulaire et indépendante du langage afin de s’adapter à la diversité offerte par les approches de spécification existantes. Cette méthode propose aussi des outils pour surmonter les défis liés à l’explosion de l’espace d’état et permet de définir des points d’arrêt temporels, offrant aux utilisateurs des outils de contrôle précis pour l’exploration des exécutions possibles d’un système. Nos travaux incluent la mise en œuvre de cette approche pour deux langages de modélisation, incluant un interpréteur UML existant. Une nouvelle classification des points d’arrêt est également introduite, incluant une catégorie inexplorée, les points d’arrêt de vivacité. Les résultats obtenus ouvrent la voie à une généralisation des outils de débogage pour des systèmes de plus en plus complexes, tout en facilitant une vérification plus rigoureuse dès les premières étapes de développement<br>This thesis deals with the interactive debugging of non-deterministic specification languages, in response to the increasing complexity of software systems, particularly in the domain of the Internet of Things. We propose a reduced, modular and language-independent multiverse debugging approachto accommodate the diversity offered by existing specification approaches. This method also provides tools to overcome the challenges of state-space explosion and allows the definition of temporal breakpoints, providing users with precise control tools for exploring the possible executions of a system. Our work includes the implementation of this approach for two modeling languages, including an existing UML interpreter. A new classification of breakpoints is also introduced, including an unexplored category, liveness breakpoints. The results obtained pave the way for the generalization of debugging tools for increasingly complex systems, while facilitating more rigorous verification at the early stages of development