DEBUGGING AN EXECUTABLE CONTROL FLOW GRAPH THAT SPECIFIES CONTROL FLOW

A computer-implemented method for debugging an executable control flow graph that specifies control flow among a plurality of functional modules, with the control flow being represented as transitions among the plurality of functional modules, the computer-implemented method including: specifying a position in the executable control flow graph at which execution of the executable control flow graph is to be interrupted; wherein the specified position represents a transition to a given functional module, a transition to a state in which contents of the given functional module are executed or a transition from the given functional module; starting execution of the executable control flow graph in an execution environment; and at a point of execution representing the specified position, interrupting execution of the executable control flow graph; and providing data representing one or more attributes of the execution environment in which the given functional module is being executed. L'invention concerne un procédé mis en uvre par ordinateur pour déboguer un graphe de flux de commande exécutable qui spécifie un flux de commande parmi une pluralité de modules fonctionnels, le flux de commande étant représenté sous la forme de transitions entre la pluralité de modules fonctionnels, le procédé mis en uvre par ordinateur comprenant les étapes consistant à : spécifier une position dans le graphe de flux de commande exécutable au niveau de laquelle l'exécution du graphe de flux de commande exécutable doit être interrompue; la position spécifiée représentant une transition vers un module fonctionnel donné, une transition vers un état dans lequel des contenus du module fonctionnel donné sont exécutés ou une transition à partir du module fonctionnel donné; démarrer l'exécution du graphe de flux de commande exécutable dans un environnement d'exécution; et au niveau d'un point d'exécution représentant la position spécifiée, interrompre l'exécution du graphe de flux de commande exécutable; et fournir des données représentant un ou plusieurs attributs de l'environnement d'exécution dans lequel le module fonctionnel donné est en cours d'exécution.