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
 
maximize
Machine translation
52. (WO2010031731) METHOD OF ANALYZING A COMPUTER PROGRAM
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2010/031731    International Application No.:    PCT/EP2009/061752
Publication Date: 25.03.2010 International Filing Date: 10.09.2009
IPC:
G06F 11/36 (2006.01), G06F 9/45 (2006.01)
Applicants: SIEMENS AKTIENGESELLSCHAFT [DE/DE]; Wittelsbacherplatz 2 80333 München (DE) (For All Designated States Except US).
KANDULA, Ravikanth [IN/IN]; (IN) (For US Only).
NARAYAN, Chinmay [IN/IN]; (IN) (For US Only)
Inventors: KANDULA, Ravikanth; (IN).
NARAYAN, Chinmay; (IN)
Common
Representative:
SIEMENS AKTIENGESELLSCHAFT; Postfach 22 16 34 80506 München (DE)
Priority Data:
1621/KOL/2008 22.09.2008 IN
Title (EN) METHOD OF ANALYZING A COMPUTER PROGRAM
(FR) PROCÉDÉ D'ANALYSE D'UN PROGRAMME INFORMATIQUE
Abstract: front page image
(EN)The present invention relates to a method, a computer readable-media, and an apparatus for analyzing a computer program, wherein the method comprises receiving a dependency rule as an input, wherein the dependency rule provides dependencies between statements of a source code of the program and comprises conditions to be satisfied for a respective statement of the source code to be executed correctly, analyzing the program using a dataflow analyzer (128) to determine if there is a violation of the dependency rule and providing an indication of an error based on the violation of the dependency rule.
(FR)La présente invention porte sur un procédé, un support lisible par ordinateur et un appareil pour analyser un programme informatique, le procédé comprenant la réception d'une règle de dépendance en tant qu'entrée, la règle de dépendance fournissant les dépendances entre des instructions d'un code source du programme et comprenant des conditions devant être satisfaites pour qu'une instruction respective du code source soit exécutée correctement, l'analyse du programme à l'aide d'un analyseur de flux de données (128) pour déterminer s'il existe une violation de la règle de dépendance et fourniture d'une indication d'une erreur sur la base de la violation de la règle de dépendance.
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
European Patent Office (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Publication Language: English (EN)
Filing Language: English (EN)