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

国際公開番号: WO/2018/193548 国際出願番号: PCT/JP2017/015709
国際公開日: 25.10.2018 国際出願日: 19.04.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
発明者:
米持 一樹 YONEMOCHI, Kazuki; JP
磯田 誠 ISODA, Makoto; JP
代理人:
溝井国際特許業務法人 MIZOI INTERNATIONAL PATENT FIRM; 神奈川県鎌倉市大船二丁目17番10号3階 3rd floor, 17-10, Ofuna 2-chome, Kamakura-shi, Kanagawa 2470056, JP
優先権情報:
発明の名称: (EN) EQUIVALENCE VERIFICATION DEVICE AND EQUIVALENCE VERIFICATION PROGRAM
(FR) DISPOSITIF ET PROGRAMME DE VÉRIFICATION D'ÉQUIVALENCE
(JA) 等価性検証装置および等価性検証プログラム
要約:
(EN) A generation unit (110) generates a verification wrapper for verifying equivalence between a first function and a second function. The verification wrapper includes a loop statement for repeatedly calling the first function and the second function. A verification unit (130) performs equivalence verification using the verification wrapper so as to determine equivalence between the first function and the second function each time the first and second functions are called.
(FR) L'invention concerne une unité de génération (110) qui génère une classe enveloppante de vérification pour vérifier l'équivalence entre une première fonction et une deuxième fonction. La classe enveloppante de vérification comprend une instruction de boucle pour invoquer de manière répétée la première fonction et la deuxième fonction. Une unité de vérification (130) effectue une vérification d'équivalence en utilisant la classe enveloppante de vérification afin de déterminer une équivalence entre la première fonction et la deuxième fonction à chaque fois que les première et deuxième fonctions sont invoquées.
(JA) 生成部(110)は、第1関数と第2関数との等価性を検査するための検査ラッパーを生成する。検査ラッパーは、第1関数と第2関数とを繰り返し呼び出すためのループ文を含む。検査部(130)は、検査ラッパーを用いて等価性検査を行うことによって、第1関数と前記第2関数とが呼び出された回数毎に第1関数と第2関数との等価性を判定する。
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)