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

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2006038394) DISPOSITIF, MÉTHODE, PROGRAMME D’INSPECTION DE CODE SOURCE ET SUPPORT D’ENREGISTREMENT
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2006/038394    N° de la demande internationale :    PCT/JP2005/015625
Date de publication : 13.04.2006 Date de dépôt international : 29.08.2005
CIB :
G06F 11/28 (2006.01), G06F 9/44 (2006.01)
Déposants : MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD. [JP/JP]; 1006, Oaza Kadoma, Kadoma-shi, Osaka 5718501 (JP) (Tous Sauf US).
AOSHIMA, Takenobu; (US Seulement).
ITOH, Tomoaki; (US Seulement).
YAMAGUCHI, Takao; (US Seulement)
Inventeurs : AOSHIMA, Takenobu; .
ITOH, Tomoaki; .
YAMAGUCHI, Takao;
Mandataire : IWAHASHI, Fumio; c/o Matsushita Electric Industrial Co. Ltd., 1006, Oaza Kadoma, Kadoma-shi Osaka 5718501 (JP)
Données relatives à la priorité :
2004-291987 04.10.2004 JP
Titre (EN) SOURCE CODE INSPECTION DEVICE, METHOD, PROGRAM, AND RECORDING MEDIUM
(FR) DISPOSITIF, MÉTHODE, PROGRAMME D’INSPECTION DE CODE SOURCE ET SUPPORT D’ENREGISTREMENT
(JA) ソースコード検査器、方法、プログラム及び記憶媒体
Abrégé : front page image
(EN)There are disclosed a source code inspection device and a source code inspection method for inspecting various features of a program behavior indicated by the source code of a computer program, a program for executing the method, and a storage medium for storing the program. The source code inspection method includes a path extraction step and an inspection content decision step. The path extraction step simulates and executes the program described by a source code of a computer program inputted in advance and extracts an instruction string to be executed actually. The inspection content decision step decides the inspection content of the source code according to the instruction string extracted by the path extraction step.
(FR)L'invention concerne un dispositif d’inspection de code source et une méthode d’inspection de code source pour inspecter différentes caractéristiques de comportement d’un programme indiqué par le code source d’un programme informatique, un programme pour exécuter la méthode et un support de stockage pour stocker le programme. La méthode d’inspection de code source comprend une étape d’extraction de chemin et une étape de décision de contenu d’inspection. L’étape d’extraction de chemin simule et exécute le programme décrit par un code source d’un programme informatique introduit à l’avance et extrait une chaîne d’instruction devant réellement être exécutée. L’étape de décision de contenu d’inspection décide du contenu d’inspection du code source selon la chaîne d’instruction extraite par l’étape d’extraction de chemin.
(JA) 計算機プログラムのソースコードが意味するプログラムの振る舞いに関する諸性質を検査するソースコード検査器及びソースコード検査方法、当該方法を実行させるプログラム、当該プログラムを格納する記憶媒体が開示されている。このソースコード検査方法は、パス抽出ステップと、検査内容決定ステップと、を含む。パス抽出ステップは、あらかじめ入力された計算機用プログラムのソースコードによって記述されたプログラムを模擬に実行することで実際に実行される命令列を抽出する。検査内容決定ステップは、パス抽出ステップで抽出した命令列に基づいてソースコードの検査内容を決定する。
États désignés : AE, AG, AL, AM, AT, AU, AZ, BA, BB, BG, BR, BW, BY, BZ, CA, CH, CN, CO, CR, CU, CZ, DE, DK, DM, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KP, KR, KZ, LC, LK, LR, LS, LT, LU, LV, MA, MD, MG, MK, MN, MW, MX, MZ, NA, NG, NI, NO, NZ, OM, PG, PH, PL, PT, RO, RU, SC, SD, SE, SG, SK, SL, SM, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, YU, ZA, ZM, ZW.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
Office européen des brevets (OEB) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HU, IE, IS, IT, LT, LU, LV, MC, NL, PL, PT, RO, SE, SI, SK, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Langue de publication : japonais (JA)
Langue de dépôt : japonais (JA)