特許

J-GLOBAL ID：201403038565684488

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

発明者： 野田 夏子
出願人/特許権者： 日本電気株式会社
代理人 (2件)： 岩壁 冬樹 ,  塩川 誠人
公報種別：公開公報
出願番号（国際出願番号）：特願2012-271616
公開番号（公開出願番号）：特開2014-115960
出願日： 2012年12月12日
公開日（公表日）： 2014年06月26日
要約：

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

請求項（抜粋）：

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

IPC (1件)：

G06F 11/36

FI (1件)：

G06F9/06 620M

Fターム (8件)：

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