Pat

J-GLOBAL ID：202303003213822211

システム検証方法およびシステム検証装置

Inventor： 川上 大介 ,  千田 伸男 ,  青木 利晃 ,  冨田 堯 ,  河井 達治
Applicant, Patent owner： 三菱電機株式会社
Agent (2)： 吉竹 英俊 ,  有田 貴弘
Gazette classification：公開公報
Application number (International application number)：2021196852
Publication number (International publication number)：2023082872
Application date： Dec. 03, 2021
Publication date： Jun. 15, 2023
Summary：

【課題】本開示は、出力の根拠が不明確であるシステムが仕様を満たしているか否かについて系統的に検証を行うことを目的とする。 【解決手段】本開示のシステム検証方法は、検証対象システム155が望ましくない出力を生成する要因を安全分析により抽出し、要因ごとにデータセット仕様183を定義し、データセット仕様183に基づいてデータセット184を生成し、データセット184が検証対象システム155に入力された場合に検証対象システム155により生成される出力に基づいて検証対象システム155が仕様を満たしているか否かを検証する。 【選択図】図1

Claim (excerpt)：

検証対象システムが望ましくない出力を生成する要因を安全分析により抽出し、 前記要因ごとにデータセット仕様を定義し、 前記データセット仕様に基づいてデータセットを生成し、 前記データセットが前記検証対象システムに入力された場合に前記検証対象システムにより生成される出力に基づいて前記検証対象システムが仕様を満たしているか否かを検証する、 システム検証方法。

IPC (3)：

G06N 5/025 ,  G06T 7/00 ,  G06N 5/04

FI (3)：

G06N5/02 150 ,  G06T7/00 350B ,  G06N5/04

F-Term (6)：

5L096AA06 ,  5L096BA04 ,  5L096DA02 ,  5L096HA09 ,  5L096JA24 ,  5L096KA04

Patent cited by the Patent：

Cited by applicant (1)

• 機械学習支援装置
  Gazette classification：公開公報   Application number：特願2015-236094   Applicant：池上通信機株式会社