PATENTSCOPE は、メンテナンスのため次の日時に数時間サービスを休止します。サービス休止: 月曜日 03.02.2020 (10:00 午前 CET)
国際・国内特許データベース検索
このアプリケーションの一部のコンテンツは現在ご利用になれません。
この状況が続く場合は、次のお問い合わせ先までご連絡ください。ご意見・お問い合わせ
1. (WO2020008991) 検証自動化装置、検証自動化方法、およびコンピュータ読み取り可能な記録媒体
国際事務局に記録されている最新の書誌情報第三者情報を提供

国際公開番号: WO/2020/008991 国際出願番号: PCT/JP2019/025590
国際公開日: 09.01.2020 国際出願日: 27.06.2019
IPC:
G06F 8/76 (2018.01) ,G06F 11/36 (2006.01)
[IPC code unknown for G06F 8/76]
G 物理学
06
計算;計数
F
電気的デジタルデータ処理
11
エラー検出;エラー訂正;監視
36
ソフトウェアを検査またはデバッグすることによるエラー防止
出願人:
日本電気株式会社 NEC CORPORATION [JP/JP]; 東京都港区芝五丁目7番1号 7-1, Shiba 5-chome, Minato-ku, Tokyo 1088001, JP
発明者:
福田 達也 FUKUDA, Tatsuya; JP
代理人:
特許業務法人ブライタス BRIGHTAS IP ATTORNEYS; 東京都中央区銀座1丁目19番12号 1-19-12, Ginza, Chuo-ku, Tokyo 1040061, JP
優先権情報:
2018-12787804.07.2018JP
発明の名称: (EN) VERIFICATION AUTOMATION DEVICE, VERIFICATION AUTOMATION METHOD, AND COMPUTER-READABLE RECORDING MEDIUM
(FR) DISPOSITIF D’AUTOMATISATION DE VÉRIFICATION, PROCÉDÉ D’AUTOMATISATION DE VÉRIFICATION, ET SUPPORT D'ENREGISTREMENT LISIBLE PAR ORDINATEUR
(JA) 検証自動化装置、検証自動化方法、およびコンピュータ読み取り可能な記録媒体
要約:
(EN) The present invention enables reuse of a verification script without the need for manually correcting an internal parameter of the verification script. This verification automation device 1 makes a verification script compatible with a system subject to verification. The verification automation device 1 comprises: a verification script acquisition part 101 for acquiring a verification script which includes an execution script for carrying out a verification task and an executability requirement for executing the execution script; a verification configuration search means 104 for using environment information for the system subject to verification and the executability requirement to search, in the system subject to verification, for a configuration with which the execution script can be executed; and an execution script implementation part 105 for, on the basis of the retrieved configuration, implementing the execution script so as to be executable on the system to be subject to verification.
(FR) La présente invention permet la réutilisation d'un script de vérification sans avoir besoin de corriger manuellement un paramètre interne du script de vérification. Ce dispositif d'automatisation de vérification 1 effectue un script de vérification compatible avec un système soumis à une vérification. Le dispositif d'automatisation de vérification 1 comprend : une partie d'acquisition de script de vérification 101 destinée à acquérir un script de vérification qui comprend un script d'exécution pour effectuer une tâche de vérification et une exigence d'exécutabilité pour exécuter le script d'exécution ; un moyen de recherche de configuration de vérification 104 destiné à utiliser des informations d'environnement pour le système faisant l'objet de vérification et l'exigence d'exécutabilité pour rechercher, dans le système faisant l'objet de vérification, pour une configuration avec laquelle le script d'exécution peut être exécuté ; et une partie de mise en œuvre de script d'exécution 105 qui, sur la base de la configuration extraite, met en œuvre le script d'exécution de façon à ce que celui-ci soit exécutable sur le système qui doit être soumis à une vérification.
(JA) 人手によって検証スクリプトの内部パラメータの修正を行うことなく、検証スクリプトの再利用を可能にする。検証自動化装置1は、検証スクリプトを検証対象となるシステムに適合させる。検証自動化装置1は、検証作業を行う実行スクリプト及び実行スクリプトを実行するための実行可能要件を含む、検証スクリプトを取得する、検証スクリプト取得部101と、検証対象となるシステムの環境情報及び実行可能要件を用いて、検証対象となるシステムにおいて、実行スクリプトが実行可能となる構成を探索する、検証構成探索手段104と、探索された構成に基づいて、実行スクリプトを、検証対象となるシステムで実行できるように具体化する、実行スクリプト具体化部105と、を備えている。
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, JO, 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)