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

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Options
Langue d'interrogation
Stemming/Racinisation
Trier par:
Nombre de réponses par page
1. (WO2016151703) DISPOSITIF ET PROCÉDÉ DE VÉRIFICATION D'ÉQUIVALENCE DE CODE SOURCE
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication : WO/2016/151703 N° de la demande internationale : PCT/JP2015/058575
Date de publication : 29.09.2016 Date de dépôt international : 20.03.2015
CIB :
G06F 9/44 (2006.01)
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
9
Dispositions pour la commande par programme, p.ex. unité de commande
06
utilisant un programme emmagasiné, c. à. d. utilisant une unité de stockage interne de l'équipement de traitement de données pour recevoir et conserver le programme
44
Dispositions pour exécuter des programmes spécifiques
Déposants : HITACHI, LTD.[JP/JP]; 6-6, Marunouchi 1-chome, Chiyoda-ku, Tokyo 1008280, JP
Inventeurs : PHAN Thi Thanh Huyen; JP
SHIMBARA Daisuke; JP
SUZUKI Yasufumi; JP
NOGUCHI Hideto; JP
SAKAIDA Shinya; JP
ICHII Makoto; JP
Mandataire : SEIRYO I.P.C.; 24-2, Hatchobori 2-chome, Chuo-ku, Tokyo 1040032, JP
Données relatives à la priorité :
Titre (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) ソースコード等価性検証装置、および、ソースコード等価性検証方法
Abrégé :
(EN) Provided is a technique for a source code equivalence verification device to verify equivalence between an original source code and a modified version of the original source code that are to be verified, and that have different interfaces. The source code equivalence verification device according to the present invention is provided with: a symbolic execution calculation unit which performs symbolic execution of both an original source code and a modified version of the original source code; a correspondence-finding unit which finds correspondences between the interfaces of the original source code and the modified source code by use of relative equivalence patterns for finding correspondences between interfaces when the interfaces are different; an equivalence verification expression generation unit which generates an equivalence verification expression for verifying equivalence between the original source code and the modified source code, on the basis of the results of the symbolic execution performed by the symbolic execution calculation unit and on the basis of the correspondences found by the correspondence-finding unit; an equivalence verification expression verification unit which verifies the equivalence verification expression generated by the equivalence verification expression generation unit; and a verification result generation unit which outputs equivalence verification results that are obtained using the equivalence verification expression on the basis of the results of the verification performed by the equivalence verification expression verification unit.
(FR) L'invention concerne une technique destinée à permettre à un dispositif de vérification d'équivalence de code source de vérifier l'équivalence entre un code source d'origine et une version modifiée du code source d'origine qui doivent être vérifiés et qui sont dotés d'interfaces différentes. Le dispositif de vérification d'équivalence de code source selon la présente invention comporte: une unité de calcul d'exécution symbolique qui effectue une exécution symbolique à la fois d'un code source d'origine et d'une version modifiée du code source d'origine; une unité de repérage de correspondances qui repère des correspondances entre les interfaces du code source d'origine et du code source modifié en utilisant des motifs d'équivalence relative pour repérer des correspondances entre les interfaces lorsque les interfaces sont différentes; une unité de génération d'expressions de vérification d'équivalence qui génère une expression de vérification d'équivalence servant à vérifier l'équivalence entre le code source d'origine et le code source modifié, d'après les résultats de l'exécution symbolique effectuée par l'unité de calcul d'exécution symbolique et les correspondances repérées par l'unité de repérage de correspondances; une unité de vérification d'expressions de vérification d'équivalence qui vérifie l'expression de vérification d'équivalence générée par l'unité de génération d'expressions de vérification d'équivalence; et une unité de génération de résultats de vérification qui délivre des résultats de vérification d'équivalence qui sont obtenus en utilisant l'expression de vérification d'équivalence d'après les résultats de la vérification effectuée par l'unité de vérification d'expressions de vérification d'équivalence.
(JA) ソースコード等価性検証装置において、検証対象である変更前ソースコードと変更後ソースコードのインタフェースが異なる場合の、等価性検証を実行するための技術を提供する。 変更前ソースコードおよび変更後ソースコードに対して、それぞれ記号実行を行う記号実行計算部と、変更前ソースコードおよび変更後ソースコードのインタフェースが異なる場合にインタフェース間の対応関係を導くためのパターンである相対的等価パターンを用いて、対応関係を探索する対応関係探索部と、記号実行計算部が行った記号実行の結果と対応関係探索部が探索した対応関係とに基づいて、変更前ソースコードと変更後ソースコードとの等価性を検証するための等価性検証式を生成する等価性検証式生成部と、等価性検証式生成部が生成した等価性検証式を検証する等価性検証式検証部と、等価性検証式検証部が検証した結果に基づいて、等価性検証式についての検証結果を出力する検証結果生成部と、を備える。
front page image
États désignés : 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
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB (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)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : japonais (JA)
Langue de dépôt : japonais (JA)