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

国際・国内特許データベース検索
World Intellectual Property Organization
検索
 
閲覧
 
翻訳
 
オプション
 
最新情報
 
ログイン
 
ヘルプ
 
自動翻訳
1. (WO2016038741) ソースコード等価性検証装置、および、ソースコード等価性検証方法
国際事務局に記録されている最新の書誌情報   

Translation翻訳: 原文 > 日本語
国際公開番号:    WO/2016/038741    国際出願番号:    PCT/JP2014/074282
国際公開日: 17.03.2016 国際出願日: 12.09.2014
IPC:
G06F 11/36 (2006.01), G06F 9/44 (2006.01)
出願人: HITACHI, LTD. [JP/JP]; 6-6, Marunouchi 1-chome, Chiyoda-ku, Tokyo 1008280 (JP)
発明者: SUZUKI Yasufumi; (JP).
SHIMBARA Daisuke; (JP).
ICHII Makoto; (JP).
NOGUCHI Hideto; (JP)
代理人: SEIRYO I.P.C.; 7-1, Hatchobori 2-chome, Chuo-ku, Tokyo 1040032 (JP)
優先権情報:
発明の名称: (EN) SOURCE CODE EQUIVALENCE VERIFYING DEVICE, AND SOURCE CODE EQUIVALENCE VERIFYING METHOD
(FR) DISPOSITIF DE VÉRIFICATION D'ÉQUIVALENCE DE CODES SOURCES ET PROCÉDÉ DE VÉRIFICATION D'ÉQUIVALENCE DE CODES SOURCES
(JA) ソースコード等価性検証装置、および、ソースコード等価性検証方法
要約: front page image
(EN)A source code equivalence verifying device comprises: a symbolic execution calculating unit which performs a symbolic execution calculation with respect to a source code before modification, and a source code after modification, being the source code before modification that has been modified; an equivalence verification formula generating unit which, on the basis of a symbolic execution summary, which is the result of the symbolic execution calculation performed by the symbolic execution calculating unit, generates an equivalence verification formula for verifying the equivalence, which indicates that the same output is obtained in response to the same input, between the source code before modification and the source code after modification; an equivalence verification formula verifying unit which verifies the equivalence verification formula generated by the equivalence verification formula generating unit; and a verification result generating unit which generates a verification result report using the result of the verification carried out by the equivalence verification formula verifying unit.
(FR)La présente invention concerne un dispositif de vérification d'équivalence de codes sources comprenant : une unité de calcul d'exécution symbolique qui effectue un calcul d'exécution symbolique par rapport à un code source avant modification, et un code source après modification, qui correspond au code source avant modification qui a été modifié ; une unité de génération de formule de vérification d'équivalence qui, sur la base d'un résumé d'exécution symbolique, qui est le résultat du calcul d'exécution symbolique effectué par l'unité de calcul d'exécution symbolique, génère une formule de vérification d'équivalence à des fins de vérification de l'équivalence, ce qui indique que la même sortie est obtenue en réponse à la même entrée, entre le code source avant modification et le code source après modification ; une unité de vérification de formule de vérification d'équivalence qui vérifie la formule de vérification d'équivalence générée par l'unité de génération de formule de vérification d'équivalence ; et une unité de génération de résultat de vérification qui génère un rapport de résultat de vérification à l'aide du résultat de la vérification effectuée par l’unité de vérification de formule de vérification d'équivalence.
(JA) ソースコード等価性検証装置は、変更前ソースコードと変更前ソースコードを変更した変更後ソースコードとを対象に、それぞれ記号実行計算する記号実行計算部、記号実行計算部の記号実行計算結果である記号実行サマリに基づいて、変更前ソースコードと変更後ソースコードとの、同じ入力に対して同じ出力が得られることである等価性を検証するための等価性検証式を生成する等価性検証式生成部、等価性検証式生成部で生成された等価性検証式を検証する等価性検証式検証部、等価性検証式検証部における検証結果を用いて検証結果レポートを生成する検証結果生成部を有する。
指定国: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, 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, IR, IS, JP, KE, KG, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
アフリカ広域知的所有権機関(ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
ユーラシア特許庁(EAPO) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
欧州特許庁(EPO) (AL, 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, RS, SE, SI, SK, SM, TR)
アフリカ知的所有権機関(OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG).
国際公開言語: Japanese (JA)
国際出願言語: Japanese (JA)