| 摘要 |
<p>On crée une trace de données d'exécution de programme en instrumentant un programme pour enregistrer des ensembles de valeurs pendant l'exécution et une trace d'instruction. En simulant les instructions soit vers l'arrière soit vers l'avant à partir d'une première instruction associée à un ensemble de valeurs enregistré vers une seconde instruction selon la trace d'instruction, on détermine un ensemble de valeurs pour la seconde instruction. La simulation vers l'arrière et la simulation vers l'avant peuvent être combinées pour se compléter l'une l'autre. Pour une simulation vers l'arrière, on maintient de préférence une table d'instructions de simulation, qui associe les instructions de programme rencontrées dans la trace d'instruction avec les instructions de simulation qui inversent le fonctionnement des instructions de programme associées. De préférence, une ou plusieurs sondes sont insérées dans le programme pour sauvegarder les valeurs de variables particulières, dont la valeur peut être difficile à déterminer. La trace d'instruction est de préférence affichée en association et en corrélation avec la trace de données. Dans un mode de réalisation, la trace d'instruction est affichée et un ensemble de valeurs est déterminé pour une instruction, à la demande de l'utilisateur indiquant l'instruction pour laquelle l'ensemble de valeurs est souhaité.</p> |
