特許
J-GLOBAL ID：200903091092405568
プロパティ記述のカバレッジ測定装置及びプログラム
発明者：
,
出願人/特許権者：
代理人 (22件)：
鈴江 武彦
, 蔵田 昌俊
, 河野 哲
, 中村 誠
, 福原 淑弘
, 峰 隆司
, 白根 俊郎
, 村松 貞男
, 野河 信久
, 幸長 保次郎
, 河野 直樹
, 砂川 克
, 勝村 紘
, 橋本 良郎
, 風間 鉄也
, 河井 将次
, 佐藤 立志
, 岡田 貴志
, 堀内 美保子
, 竹内 将訓
, 市原 卓三
, 山下 元
公報種別：公開公報
出願番号（国際出願番号）：特願2008-070323
公開番号（公開出願番号）：特開2008-269585
出願日： 2008年03月18日
公開日（公表日）： 2008年11月06日
要約：
【課題】 設計記述に対するプロパティ記述のカバレッジを早期かつ容易に測定できるようにする。【解決手段】 設計記述データから設計オートマトンを抽出する設計オートマトン抽出部と、設計記述データに対応するプロパティ記述データからプロパティオートマトンを抽出するプロパティオートマトン抽出部と、設計オートマトンの全状態数を計数するとともに、設計オートマトンにおける全状態のうちプロパティオートマトンに合致する合致状態を検出し、その合致状態数を計数する合致状態検出部と、合致状態数と設計オートマトンの全状態数との比を求めることにより、設計記述データに対してプロパティ記述データがどの程度対応しているのかの度合いを表すカバレッジを算出するカバレッジ算出部とを備える。【選択図】 図1
請求項（抜粋）：
設計記述データから、その状態遷移を表す設計オートマトンを抽出する設計オートマトン抽出部と、
前記設計記述データに対応するプロパティ記述データから、その状態遷移を表すプロパティオートマトンを抽出するプロパティオートマトン抽出部と、
前記設計オートマトンの全状態数を計数するとともに、前記設計オートマトンから前記プロパティオートマトンへのオートマトン上の模倣関係の有無により、前記設計オートマトンにおける全状態のうち前記プロパティオートマトンに合致する合致状態を検出し、その合致状態数を計数する合致状態検出部と、
前記合致状態数と前記設計オートマトンの全状態数との比を求めることにより、前記設計記述データに対して前記プロパティ記述データがどの程度対応しているのかの度合いを表す第1のカバレッジを算出するカバレッジ算出部と、を具備するプロパティ記述のカバレッジ測定装置。
IPC (1件)：
FI (1件)：
Fターム (2件)：
引用特許：
出願人引用 (5件)
全件表示
審査官引用 (3件)
前のページに戻る
