特許
J-GLOBAL ID：201003007738348460
カバレージ測定装置
発明者：
出願人/特許権者：
代理人 (3件)：
中村 聡延
, 山本 晃司
, 江上 達夫
公報種別：公開公報
出願番号（国際出願番号）：特願2008-317023
公開番号（公開出願番号）：特開2010-140326
出願日： 2008年12月12日
公開日（公表日）： 2010年06月24日
要約：
【課題】検査済みのプログラム経路を特定するカバレージ測定装置を提供する。【解決手段】カバレージ測定装置200は、測定対象コードを取得し(201)、検査項目情報を取得し(202)、測定対象コードを検査項目情報に基づいて検査し(203)、検査中に生成した状態変数の割り当て情報及びブランチ対応状態変数情報を用いて、検査済みのブランチを特定して(204)、カバレージ測定を行う(205)。この場合、カバレージ測定装置200は、形式検証を行った際に、検査を実行したブランチを特定できると共にカバレージ測定を正確に行うことができる。【選択図】図5
請求項（抜粋）：
測定対象のコードを取得する測定対象コード取得手段と、
検査項目情報を取得する検査項目情報取得手段と、
前記測定対象コードについて、前記検査項目情報に基づいて形式手法により検査する検査手段と、
前記検査の状態変数と前記測定対象コード中のブランチとの対応付けを定義したブランチ対応状態変数情報を生成するブランチ対応状態変数情報生成手段と、
前記検査で割り当てられた状態変数と、前記ブランチ対応状態変数情報とを用いて、処理実行したブランチを特定する検査対象ブランチ特定手段と、
前記検査対象ブランチ特定手段が特定したブランチに関するカバレージを測定するカバレージ測定手段と、
を備えることを特徴とするカバレージ測定装置。
IPC (1件)：
FI (2件)：
G06F11/28 340B
, G06F11/28 310E
5B042HH18
, 5B042HH30
, 5B042JJ12
, 5B042LA24
, 5B042MC13
