Pat

J-GLOBAL ID：201403038565684488

検証装置、検証方法及び検証プログラム

Inventor： 野田 夏子
Applicant, Patent owner： 日本電気株式会社
Agent (2)： 岩壁 冬樹 ,  塩川 誠人
Gazette classification：公開公報
Application number (International application number)：2012271616
Publication number (International publication number)：2014115960
Application date： Dec. 12, 2012
Publication date： Jun. 26, 2014
Summary：

【課題】システム及びソフトウェアの検証において、半順序関係により規定される挙動を、入力した検査対象の形式に依存せず汎用的に検査することができる検証装置を提供する。【解決手段】検査装置は、システムまたはソフトウェアを定義する検査対象を入力し、当該検査対象が定義する半順序関係を表現する半順序関係表現モデルを作成する半順序関係表現モデル作成手段1と、前記半順序関係表現モデルを検査するモデル検査手段2とを備える。【選択図】図1

Claim (excerpt)：

システムまたはソフトウェアを定義する検査対象を入力し、当該検査対象が定義する半順序関係を表現する半順序関係表現モデルを作成する半順序関係表現モデル作成手段と、 前記半順序関係表現モデルを検査するモデル検査手段とを備えた ことを特徴とする検証装置。

IPC (1)：

G06F 11/36

FI (1)：

G06F9/06 620M

F-Term (8)：

5B376BB03 ,  5B376BB05 ,  5B376BB09 ,  5B376BB11 ,  5B376BC38 ,  5B376BC69 ,  5B376BC71 ,  5B376DA24