| 摘要 |
<p>Mécanisme de détection d'erreurs servant à détecter les erreurs de programmation dans un programme informatique. Un élément du programme informatique, par exemple une procédure ou une fonction du programme informatique, est analysée pour déterminer l'effet de cet élément sur les ressources utilisées par le programme informatique. L'analyse dudit élément consiste à parcourir les instructions machine, c'est-à-dire les ordres, de l'élément et à rechercher l'état des ressouces utilisées par ledit élément et affectées par les ordres de l'élément. Chaque ressource possède un comportement défini représenté par une pluralité d'états et de transitions entre les états. Les violations dans le comportement défini d'une ressource qui résultent d'une exécution émulée des ordres de l'élément sont détectées et rapportées comme étant des erreurs de programmation. Les ressources utilisées par deux éléments ou davantage sont modélisées au moyen de la modélisation d'externes de l'élément. L'effet de l'exécution d'un élément sur les externes et les ressources de l'élément est déterminé par le défilement d'une ou de plusieurs voies d'écoulement de commande possibles à travers l'élément et la recherche de l'utilisation de chaque externe et de chaque ressource par chaque ordre de chaque voie d'écoulement de commande. Une fois déteminé l'effet de l'exécution d'un élément sur les externes et les ressources de l'élément, un modèle de l'élément est créé et utilisé pour modéliser les externes et les ressources d'autres éléments qui appellent l'élément modélisé.</p> |
