特許

J-GLOBAL ID：200903065788918178

オブジェクト指向仕様の実行検証装置

発明者： 田村 直樹
出願人/特許権者： 三菱電機株式会社
代理人 (1件)： 宮田 金雄 (外3名)
公報種別：公開公報
出願番号（国際出願番号）：特願平8-143085
公開番号（公開出願番号）：特開平9-325952
出願日： 1996年06月05日
公開日（公表日）： 1997年12月16日
要約：

【要約】【課題】 大規模・複雑なソフトウェアシステムの仕様作成作業を効率化し、品質を向上させる手段を提供する。【解決手段】 状態遷移表を基にシステムの動作を定義した抽象機械定義表と、抽象機械定義に対して変数値や属性値を具体的に与えた具象機械を定義する具象機械定義表と、具象機械に対してイベント入力や変数値設定を行なうための事象値入力部と、抽象機械定義表と具象機械定義表に基づいて次の瞬間のシステム状態を予測する遷移状態予測部と、遷移状態予測部によって予測されたシステムの状態値を保存する予測状態値保存部と、予測状態値と具象機械定義表に記載されている状態値とを比較する状態値比較部と、微分方程式計算部と、抽象機械定義表に与えられた状態遷移表を解釈し状態遷移を行なう状態遷移計算部と、システムの動作開始からの時刻を計算する時間管理部と、実行結果表示部と、を備える。

請求項（抜粋）：

状態遷移表を基にシステムの動作を定義した抽象機械定義表と、抽象機械定義に対して変数値や属性値を具体的に与えた具象機械を定義する具象機械定義表と、具象機械に対してイベント入力や変数値設定を行なうための事象値入力部と、抽象機械定義表と具象機械定義表に基づいて次の瞬間のシステム状態を予測する遷移状態予測部と、遷移状態予測部によって予測されたシステムの状態値を保存する予測状態値保存部と、予測状態値と具象機械定義表に記載されている状態値とを比較する状態値比較部と、各状態に対して定義された微分方程式を解釈・実行する微分方程式計算部と、抽象機械定義表に与えられた状態遷移表を解釈し状態遷移を行なう状態遷移計算部と、システムの動作開始からの時刻を計算する時間管理部と、実行結果を表示する実行結果表示部と、を備えるようにしたことを特徴とするオブジェクト指向仕様の実行検証装置。

IPC (2件)：

G06F 17/00 ,  G06F 9/44 530

FI (2件)：

G06F 15/20 D ,  G06F 9/44 530 Z