このアプリケーションの一部のコンテンツは現時点では利用できません。
このような状況が続く場合は、にお問い合わせくださいフィードバック & お問い合わせ
1. (WO2018154657) 等価性検証装置および等価性検証プログラム
国際事務局に記録されている最新の書誌情報    第三者情報を提供

国際公開番号: WO/2018/154657 国際出願番号: PCT/JP2017/006598
国際公開日: 30.08.2018 国際出願日: 22.02.2017
IPC:
G06F 11/36 (2006.01)
G 物理学
06
計算;計数
F
電気的デジタルデータ処理
11
エラー検出;エラー訂正;監視
36
ソフトウェアを検査またはデバッグすることによるエラー防止
出願人:
三菱電機株式会社 MITSUBISHI ELECTRIC CORPORATION [JP/JP]; 東京都千代田区丸の内二丁目7番3号 7-3, Marunouchi 2-chome, Chiyoda-ku, Tokyo 1008310, JP
発明者:
吉田 三喜也 YOSHIDA, Mikiya; JP
磯田 誠 ISODA, Makoto; JP
米持 一樹 YONEMOCHI, Kazuki; JP
伊藤 益夫 ITO, Masuo; JP
馬場 まどか BABA, Madoka; JP
野口 玲哉 NOGUCHI, Reiya; JP
代理人:
溝井国際特許業務法人 MIZOI INTERNATIONAL PATENT FIRM; 神奈川県鎌倉市大船二丁目17番10号3階 3rd floor, 17-10, Ofuna 2-chome, Kamakura-shi, Kanagawa 2470056, JP
優先権情報:
発明の名称: (EN) EQUIVALENCE CHECKING DEVICE AND EQUIVALENCE CHECKING PROGRAM
(FR) DISPOSITIF ET PROGRAMME DE VÉRIFICATION D'ÉQUIVALENCE
(JA) 等価性検証装置および等価性検証プログラム
要約:
(EN) An equivalence checking unit (130), by equivalence checking, determines, for each of corresponding combinations that contain a function included in a pre-alteration source code and a function included in a post-alteration source code, whether the functions included in each corresponding combination are equivalent to each other. A partial checking determination unit (150) determines, for each corresponding combination in which the two functions are inequivalent, whether the corresponding combination in question is a partial checking combination that contains a function including both an inequivalent path for which an inequivalent function is invoked and a non-inequivalent path for which a non-inequivalent function is invoked. A partial checking unit (160) performs equivalence checking on each partial checking combination by excluding the inequivalent path so as to determine whether the functions contained in the partial checking combination are partially equivalent to each other.
(FR) Une unité (130) de vérification d'équivalence détermine, par vérification d'équivalence, pour chaque combinaison parmi des combinaisons correspondantes qui contiennent une fonction comprise dans un code source avant modification et une fonction comprise dans un code source après modification, si les fonctions comprises dans chaque combinaison correspondante sont équivalentes l'une à l'autre. Une unité (150) de détermination de vérification partielle détermine, pour chaque combinaison correspondante dans laquelle les deux fonctions sont inéquivalentes, si la combinaison correspondante en question est une combinaison de vérification partielle qui contient une fonction comprenant à la fois un trajet inéquivalent pour lequel une fonction inéquivalente est invoquée et un trajet non inéquivalent pour lequel une fonction non inéquivalente est invoquée. Une unité (160) de vérification partielle effectue une vérification d'équivalence sur chaque combinaison de vérification partielle en excluant le trajet inéquivalent de façon à déterminer si les fonctions contenues dans la combinaison de vérification partielle sont partiellement équivalentes l'une à l'autre.
(JA) 等価性検証部(130)は、変更前ソースコードに含まれる関数と変更後ソースコードに含まれる関数との組である対応組毎に、対応組に含まれる関数同士が等価であるか等価性検証によって判定する。部分検証判定部(150)は、不等価である対応組毎に、対応組が、不等価関数が呼び出される不等価パスと非不等価関数が呼び出される非不等価パスとの両方が含まれる関数を含んだ部分検証組であるか判定する。部分検証部(160)は、部分検証組毎に、不等価パスを除外して等価性検証を行うことによって、部分検証組に含まれる関数同士が部分等価であるか判定する。
front page image
指定国: 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, DJ, 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, KH, KN, KP, KR, KW, 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)
国際公開言語: 日本語 (JA)
国際出願言語: 日本語 (JA)