WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO1996005556) COMPUTER PROCESS RESOURCE MODELLING METHOD AND APPARATUS
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/1996/005556    International Application No.:    PCT/US1995/009691
Publication Date: 22.02.1996 International Filing Date: 09.08.1995
Chapter 2 Demand Filed:    05.03.1996    
IPC:
G06F 11/36 (2006.01)
Applicants: INTRINSA CORPORATION [US/US]; 101 University Avenue, Palo Alto, CA 94301 (US)
Inventors: HALEY, Matthew, A.; (US).
PINCUS, Jonathan, D.; (US).
BUSH, William, R.; (US)
Agent: MACPHERSON, Alan, H.; Skjerven, Morrill, MacPherson,, Franklin & Friel, 25 Metro Driveolborn, Suit 700, San Jose, CA 95110 (US).
W.P. Thompson & Co.; Celcon House, 289-293 High Holborn, London WC1V 7HU (GB)
Priority Data:
289,148 10.08.1994 US
Title (EN) COMPUTER PROCESS RESOURCE MODELLING METHOD AND APPARATUS
(FR) PROCEDE ET APPAREIL DE MODELISATION DES RESSOURCES D'UN PROCESSUS INFORMATIQUE
Abstract: front page image
(EN)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.
(FR)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é.
Designated States: AM, AT, AU, BB, BG, BR, BY, CA, CH, CN, CZ, DE, DK, EE, ES, FI, GB, GE, HU, IS, JP, KE, KG, KP, KR, KZ, LK, LR, LT, LU, LV, MD, MG, MN, MW, MX, NO, NZ, PL, PT, RO, RU, SD, SE, SG, SI, SK, TJ, TM, TT, UA, UG, UZ, VN.
African Regional Intellectual Property Organization (KE, MW, SD, SZ, UG)
European Patent Office (AT, BE, CH, DE, DK, ES, FR, GB, GR, IE, IT, LU, MC, NL, PT, SE)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, ML, MR, NE, SN, TD, TG).
Publication Language: English (EN)
Filing Language: English (EN)