Pat
J-GLOBAL ID：202103020399118150
システム検証装置及びシステム検証方法
Inventor：
,
,
Applicant, Patent owner：
Agent (2)：
吉竹 英俊
, 有田 貴弘
Gazette classification：特許公報
Application number (International application number)：2020531835
Patent number：6952902
Application date： Jul. 23, 2018
Claim (excerpt)：
【請求項1】 システムにより望ましくない出力が生成される原因となる特定事象の抽出結果に基づいて生成仕様を定義する定義部と、
前記生成仕様に基づいて検証データセットを生成する生成部と、
前記検証データセット、及び前記検証データセットが前記システムに入力された場合に前記システムにより生成される出力に基づいて前記システムが仕様を満たしているか否かについて検証を行う検証部と、
を備え、
前記定義部は、作成可能な検証データの数を示す作成可能データ数を決定し、前記作成可能データ数が最大データ数より多い場合は、前記作成可能な検証データの全部を前記検証データセットに含めたときに行われる検証の結果を区間推定により設定信頼度以上で推定可能な検証データの数を示すデータ数を決定し、前記データ数を前記生成仕様に含める
システム検証装置。
IPC (1)：
FI (1)：
Patent cited by the Patent：
Cited by applicant (5)
Show all
Cited by examiner (5)
Show all
Return to Previous Page
