Pat
J-GLOBAL ID：202203003717096212
ソフトウェアテスト装置及びソフトウェアテスト方法
Inventor：
,
,
,
,
Applicant, Patent owner：
Agent (1)：
一色国際特許業務法人
Gazette classification：公開公報
Application number (International application number)：2021092693
Publication number (International publication number)：2022185186
Application date： Jun. 02, 2021
Publication date： Dec. 14, 2022
Summary：
【課題】機械学習により作成された予測モデルの妥当性について、適宜な精度および効率で検証可能とする。
【解決手段】ソフトウェアテスト装置100において、予測モデルを保持する記憶装置201と、前提条件、制約条件、及び近似閾値の入力を受け付け、予測モデルを論理式に変換し、この論理式に対して近似閾値に基づき近似範囲を解析して論理式を簡略化し、簡略化した論理式を前提条件及び制約条件の否定と結合して検査式を生成し、検査式を充足する値を反例として探索し、反例が存在する場合に予測モデルに入力して検査精度を評価し、その結果を出力する演算装置202を含む構成とする。
【選択図】図2
Claim (excerpt)：
テスト対象とする、機械学習により生成された予測モデルを保持する記憶装置と、
テスト入力値の範囲を定める前提条件の入力を受け付ける処理、入力値に対する予測モデルの推論出力値の制約条件の入力を受け付ける処理、近似閾値の入力を受け付ける処理、前記予測モデルを前記記憶装置より取得して論理式に変換する処理、前記論理式に対して前記近似閾値に基づき近似範囲を解析して論理式を簡略化する処理、前記簡略化した前記論理式を、前記前提条件及び前記制約条件の否定と結合して検査式を生成する処理、前記検査式を充足する値を反例として探索する処理、前記反例が存在する場合に前記予測モデルに入力して検査精度を評価する処理、及び前記評価の結果を出力する処理、を実行する演算装置と、
を備えることを特徴とするソフトウェアテスト装置。
IPC (1)：
FI (1)：
F-Term (1)：
Patent cited by the Patent：
Return to Previous Page
