Pat
J-GLOBAL ID：200903091092405568
プロパティ記述のカバレッジ測定装置及びプログラム
Inventor：
,
Applicant, Patent owner：
Agent (22)：
鈴江 武彦
, 蔵田 昌俊
, 河野 哲
, 中村 誠
, 福原 淑弘
, 峰 隆司
, 白根 俊郎
, 村松 貞男
, 野河 信久
, 幸長 保次郎
, 河野 直樹
, 砂川 克
, 勝村 紘
, 橋本 良郎
, 風間 鉄也
, 河井 将次
, 佐藤 立志
, 岡田 貴志
, 堀内 美保子
, 竹内 将訓
, 市原 卓三
, 山下 元
Gazette classification：公開公報
Application number (International application number)：2008070323
Publication number (International publication number)：2008269585
Application date： Mar. 18, 2008
Publication date： Nov. 06, 2008
Summary：
【課題】 設計記述に対するプロパティ記述のカバレッジを早期かつ容易に測定できるようにする。【解決手段】 設計記述データから設計オートマトンを抽出する設計オートマトン抽出部と、設計記述データに対応するプロパティ記述データからプロパティオートマトンを抽出するプロパティオートマトン抽出部と、設計オートマトンの全状態数を計数するとともに、設計オートマトンにおける全状態のうちプロパティオートマトンに合致する合致状態を検出し、その合致状態数を計数する合致状態検出部と、合致状態数と設計オートマトンの全状態数との比を求めることにより、設計記述データに対してプロパティ記述データがどの程度対応しているのかの度合いを表すカバレッジを算出するカバレッジ算出部とを備える。【選択図】 図1
Claim (excerpt)：
設計記述データから、その状態遷移を表す設計オートマトンを抽出する設計オートマトン抽出部と、
前記設計記述データに対応するプロパティ記述データから、その状態遷移を表すプロパティオートマトンを抽出するプロパティオートマトン抽出部と、
前記設計オートマトンの全状態数を計数するとともに、前記設計オートマトンから前記プロパティオートマトンへのオートマトン上の模倣関係の有無により、前記設計オートマトンにおける全状態のうち前記プロパティオートマトンに合致する合致状態を検出し、その合致状態数を計数する合致状態検出部と、
前記合致状態数と前記設計オートマトンの全状態数との比を求めることにより、前記設計記述データに対して前記プロパティ記述データがどの程度対応しているのかの度合いを表す第1のカバレッジを算出するカバレッジ算出部と、を具備するプロパティ記述のカバレッジ測定装置。
IPC (1)：
FI (1)：
F-Term (2)：
Patent cited by the Patent：
Cited by applicant (3)
Cited by examiner (3)
Return to Previous Page
