A framework for visualizing and manipulating structured execution graphs

Ce travail présente un outil qui permet d'afficher et de manipuler des graphes d’exécutions structurées. Ceux-ci représentent des chemins possibles dans un système et ils peuvent être structurés parce qu'il existe une hiérarchie. En réalité, ils proviennent du model checking qui permet de vérifier une propriété sur un système. Ceci nous donne une explication qui elle-même peut avoir des sous-explications faisant apparaître une hiérarchie. Cet outil permet d'afficher ces explications mais aussi d'appliquer un layout sur les graphes, naviguer dans la hiérarchie, afficher une trace sélectionnée dans le graphe, mettre en évidence les prédécesseurs et successeurs d'un nœud, ... . Ce document contient l'explication du contexte dans lequel s'insère cet outil, son architecture, son utilisation, des exemples, un détail des fonctionnalités et enfin un ensemble de tests.