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

国際公開番号: WO/2018/150507 国際出願番号: PCT/JP2017/005674
国際公開日: 23.08.2018 国際出願日: 16.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
発明者:
野口 玲哉 NOGUCHI, Reiya; JP
磯田 誠 ISODA, Makoto; JP
馬場 まどか BABA, Madoka; JP
米持 一樹 YONEMOCHI, Kazuki; JP
代理人:
溝井国際特許業務法人 MIZOI INTERNATIONAL PATENT FIRM; 神奈川県鎌倉市大船二丁目17番10号3階 3rd floor, 17-10, Ofuna 2-chome, Kamakura-shi, Kanagawa 2470056, JP
優先権情報:
発明の名称: (EN) TEST CASE SELECTION DEVICE AND TEST CASE SELECTION PROGRAM
(FR) DISPOSITIF DE SÉLECTION D'ESSAI TYPE ET PROGRAMME DE SÉLECTION D'ESSAI TYPE
(JA) テストケース選択装置およびテストケース選択プログラム
要約:
(EN) A non-equivalent pair extraction unit (120) extracts a non-equivalent pair from among a list of target pairs, each target pair comprising an original target function and a corresponding modified target function, wherein said non-equivalent pair is a target pair that does not satisfy the condition that applying the same input to the original and modified target functions should result in the modified target function producing the same output as the original target function. A test case selection unit (140) selects, from among a plurality of test cases and as an important test case, a test case in which the original target function of the non-equivalent pair is called.
(FR) La présente invention concerne une unité d'extraction de paire non équivalente (120) qui extrait une paire non équivalente parmi une liste de paires cibles, chaque paire cible comprenant une fonction cible d'origine et une fonction cible modifiée correspondante, ladite paire non équivalente étant une paire cible qui ne satisfait pas à la condition selon laquelle l'application de la même entrée sur les fonctions cibles d'origine et modifiée doit avoir pour résultat le fait que la fonction cible modifiée produit la même sortie que la fonction cible d'origine. Une unité de sélection d'essai type (140) sélectionne, parmi une pluralité d'essais types et en tant qu'essai type important, un essai type dans lequel la fonction cible d'origine de la paire non équivalente est appelée.
(JA) 不等価組抽出部(120)は、対象組リストから、変更前対象関数と変更後対象関数との両方に同じ入力が与えられた場合に変更後対象関数の出力が変更前対象関数の出力と一致するという条件を満たさない対象組である不等価組を抽出する。テストケース選択部(140)は、複数のテストケースから、不等価組に含まれる変更前対象関数が呼び出されるテストケースを重要テストケースとして選択する。
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)