特許
J-GLOBAL ID：200903048240932588
論理システムの障害検証方法、障害検証装置、および障害検証プログラム
発明者：
出願人/特許権者：
代理人 (1件)：
横山 淳一
公報種別：公開公報
出願番号（国際出願番号）：特願2007-033246
公開番号（公開出願番号）：特開2008-197962
出願日： 2007年02月14日
公開日（公表日）： 2008年08月28日
要約：
【課題】 本発明は、ハードウェアおよびソフトウエアにより構成される論理システムのブラックボックス検証において、障害発生条件を効率的に見つける技術を提供する。【解決手段】 障害発生条件を明確化する検証装置であって、論理システムの既検証テスト項目に対する各組み合わせ障害発生確率指数、および既検証組み合せ障害発生積算値を取得し、さらに論理システムの各未検証テスト項目の組み合せ障害発生積算値の取得して、未検証テスト項目組み合せ障害発生積算値が、既検証組み合せ障害発生積算値にある比率係数を乗じたものに最も近い未検証テスト項目を次の検証対象として抽出することを特徴とする。【選択図】図1
請求項（抜粋）：
論理システムにおける障害発生条件を検証する障害検証方法であって、
前記論理システムの複数の入力因子からなるテスト項目において、既検証テスト項目の入力因子の組合せに対する既検証組合せ情報を取得するステップと、
前記既検証組合せ情報に基づいて、前記入力因子の組合せになる各テスト項目の組合せ障害発生確率指数と当該全指数の積算値を取得するステップと、
前記論理システムの未検証テスト項目の入力因子の組合せになる組合せ障害発生積算値を取得するステップと、
前記未検証テスト項目の組合せ障害発生積算値が、前記既検証組合せ障害発生積算値に所定の比率係数を乗じた値に最も近い未検証テスト項目を次の検証対象として抽出するステップを有することを特徴とする障害検証方法。
IPC (2件)：
FI (2件)：
G06F11/22 310B
, G06F11/28 340A
5B042HH08
, 5B042HH17
, 5B048AA01
, 5B048DD05
, 5B048FF03
