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

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

Translation翻訳: 原文 > 日本語
国際公開番号:    WO/2016/174743    国際出願番号:    PCT/JP2015/062852
国際公開日: 03.11.2016 国際出願日: 28.04.2015
IPC:
G06F 9/44 (2006.01)
出願人: HITACHI, LTD. [JP/JP]; 6-6, Marunouchi 1-chome, Chiyoda-ku, Tokyo 1008280 (JP)
発明者: SIMBARA Daisuke; (JP).
SUZUKI Yasufumi; (JP).
PHAN Thi Thanh Huyen; (JP).
SAKAIDA Shinya; (JP)
代理人: SEIRYO I.P.C.; 24-2, Hatchobori 2-chome, Chuo-ku, Tokyo 1040032 (JP)
優先権情報:
発明の名称: (EN) SOURCE CODE EQUIVALENCE VERIFICATION DEVICE AND SOURCE CODE EQUIVALENCE VERIFICATION METHOD
(FR) DISPOSITIF ET PROCÉDÉ DE VÉRIFICATION D'ÉQUIVALENCE DE CODE SOURCE
(JA) ソースコード等価性検証装置、および、ソースコード等価性検証方法
要約: front page image
(EN)This source code equivalence verification device is provided with: a symbolic execution calculation unit which performs symbolic execution on both an original source code and a modified version of the original source code; an equivalence verification expression generation unit which generates, using the results of the symbolic execution performed by the symbolic execution calculation unit, equivalence verification expressions for verifying equivalence between the original source code and the modified source code; an equivalence verification expression verification unit which verifies the equivalence verification expressions generated by the equivalence verification expression generation unit; a correction candidate generation unit which generates a correction candidate, on the basis of which the modified source code is to be corrected so as to be equivalent to the original source code, if the results of the verification of the equivalence verification expressions by the equivalence verification expression verification unit indicate that the modified source code is not equivalent to the original source code; and a verification result generation unit which generates a verification result report using the results of the verification performed by the equivalence verification expression verification unit and the correction candidate generated by the correction candidate generation unit.
(FR)La présente invention concerne un dispositif de vérification d'équivalence de code source qui comporte : une unité de calcul d'exécution symbolique qui effectue une exécution symbolique sur un code source d'origine et une version modifiée du code source d'origine ; une unité de génération d'expression de vérification d'équivalence qui génère, à l'aide des résultats de l'exécution symbolique réalisée par l'unité de calcul d'exécution symbolique, des expressions de vérification d'équivalence pour vérifier l'équivalence entre le code source d'origine et le code source modifié ; une unité de vérification d'expression de vérification d'équivalence qui vérifie les expressions de vérification d'équivalence générées par l'unité de génération d'expression de vérification d'équivalence ; une unité de génération de candidat de correction qui génère un candidat de correction, sur la base duquel le code source modifié doit être corrigé de manière à être équivalent au code source d'origine, si les résultats de la vérification des expressions de vérification d'équivalence par l'unité de vérification d'expression de vérification d'équivalence indique que le code source modifié n'est pas équivalent au code source d'origine ; 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 des résultats de la vérification effectuée par l'unité de vérification d'expression de vérification d'équivalence et du candidat de correction généré par l'unité de génération de candidat de correction.
(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)