G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 11/36 (2006.01) G06F 9/455 (2006.01)
Patent
CA 2637798
An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the components as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components. The effect of execution of a component on externals and resources of the component is determined by traversing one or more possible control flow paths through the component and tracking the use of each external and resource by each statement of each control flow path. Once the effect of execution of a component on externals and resources of the component is determined, a model of the component is created and used to model externals and resources of other components which invoke the modelled component.
Mécanisme de détection des erreurs dans un programme informatique. Un élément du programme informatique, p. ex., 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. Un élément est analysé en traversant les instruction de l'ordinateur,c.-à-d., les énoncés de l'élément, et en effectuant le suivi des de l'état des ressources utilisés par l'élément affecté par les énoncs de l'élément. Chaque ressource possède un comportment prescrit représenté par bon nombre d'états et de transitions entre les états. Les écarts dans le comportement prescrit d'une resource résultant d'une exécution émulée de l'énoncé de l'élément sont détectés et signalés comme des erreurs de programmation. Les ressources utilisées par deux éléments ou plus sont modélisées en utilisant des techniques de modélisations externes de l'élément.. L'effet de l'exécution d'un élément sur les composantes externes et les resources de l'élément est déterminé en traversant un parcours de de cheminement de contrôle possible ou plus dans l'élément et en retraçant de chaque composante externe et ressources par chaque énoncé du parcours de cheminement de contrôle. Une fois que l'effet de l'exécution d'un élément sur les parties externes et les ressources de l'élément est déterminé, un modèle de l'élément est créé et utilisé comme modèle des parties externess et des ressources des autres éléments qui appellent l'élément modelisé.
Bush William R.
Haley Matthew A.
Pincus Jonathan D.
Microsoft Corporation
Smart & Biggar
LandOfFree
Computer process resource modelling method and apparatus does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Computer process resource modelling method and apparatus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computer process resource modelling method and apparatus will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1846919