Pat

J-GLOBAL ID：200903056107078070

仕様実行検証装置

Inventor： 中島 毅 ,  田村 直樹
Applicant, Patent owner： 三菱電機株式会社
Agent (1)： 高田 守
Gazette classification：公開公報
Application number (International application number)：1994144884
Publication number (International publication number)：1996016625
Application date： Jun. 27, 1994
Publication date： Jan. 19, 1996
Summary：

【要約】【目的】 開発システムの仕様を実行し誤りがないことを検証するための仕様実行検証装置において、仕様が示すシステムの動作をシステムが制御する対象の動きを視覚的に自然に模擬することで仕様の誤り発見を容易にすることを目的としている。【構成】 仕様定義部を用いて抽象機械を含む仕様記述を作成し、実行環境作成部で抽象機械を実行画面上に複写して実行環境を作成し、実行部は仕様記述をもとに実行環境を逐次実行し、画面描画部はアイコンの動きと切替えによって実行結果を実行画面に表示する。これにより、抽象機械における変更は自動的に具象機械の動作に反映される。

Claim (excerpt)：

以下の要素を有する仕様実行検証装置(a)抽象化された状態機械を抽象機械として定義し、抽象機械を用いて仕様記述を作成する仕様定義部、(b)上記仕様定義部により定義された抽象機械を用いて、具象化された状態機械を具象機械として定義し、具象機械を用いて実行環境を作成する実行環境作成部、(c)上記仕様定義部が作成した仕様記述と、上記実行環境作成部が作成した実行環境とを用いて、仕様を実行する実行部。

Patent cited by the Patent：

Cited by examiner (2)

• 制御実行プログラム生成装置
  Gazette classification：公開公報   Application number：特願平3-206006   Applicant：株式会社東芝
• プラント・シミュレーション装置
  Gazette classification：公開公報   Application number：特願平4-257156   Applicant：株式会社東芝