特許
J-GLOBAL ID：200903046108010458
検証処理装置
発明者：
出願人/特許権者：
代理人 (1件)：
速水 進治
公報種別：公開公報
出願番号（国際出願番号）：特願2006-249419
公開番号（公開出願番号）：特開2008-071135
出願日： 2006年09月14日
公開日（公表日）： 2008年03月27日
要約：
【課題】利用者が指定した要求を検証対象であるデータ処理システムが満足するかを簡単に確認でき、利用者が指定したカバレッジ指標によるデータ処理システムのカバレッジの測定結果も簡単に確認できる、検証処理装置を提供する。【解決手段】検証対象であるデータ処理システムの状態遷移グラフを取得し、データ処理システムへの要求を取得し、データ処理システムの検証範囲に含まれるべき動作を示すカバレッジ指標を取得する。取得された状態遷移グラフが要求を満足するか検証し、取得されたカバレッジ指標に対応して状態遷移グラフのカバレッジを測定し、結果を出力する。【選択図】図1
請求項（抜粋）：
検証対象であるデータ処理システムの状態遷移グラフを取得するグラフ取得部と、
前記データ処理システムへの要求を取得する要求取得部と、
前記データ処理システムの検証範囲に含まれるべき動作を示すカバレッジ指標を取得する指標取得部と、
取得された前記状態遷移グラフが前記要求を満足するか検証する要求検証部と、
前記要求の検証結果を出力する検証出力部と、
取得された前記カバレッジ指標に対応して前記状態遷移グラフのカバレッジを測定するカバレッジ測定部と、
前記カバレッジの測定結果を出力する測定出力部と、
を有する検証処理装置。
IPC (3件)：
G06F 11/28
, G06F 11/36
, G06F 17/50
G06F11/28 340B
, G06F9/06 620M
, G06F17/50 672F
, G06F17/50 664Z
5B042HH18
, 5B046AA08
, 5B046BA03
, 5B046JA01
, 5B176CA08
, 5B176EC02
