特許
J-GLOBAL ID：200903056107078070
仕様実行検証装置
発明者：
,
出願人/特許権者：
代理人 (1件)：
高田 守
公報種別：公開公報
出願番号（国際出願番号）：特願平6-144884
公開番号（公開出願番号）：特開平8-016625
出願日： 1994年06月27日
公開日（公表日）： 1996年01月19日
要約：
【要約】【目的】 開発システムの仕様を実行し誤りがないことを検証するための仕様実行検証装置において、仕様が示すシステムの動作をシステムが制御する対象の動きを視覚的に自然に模擬することで仕様の誤り発見を容易にすることを目的としている。【構成】 仕様定義部を用いて抽象機械を含む仕様記述を作成し、実行環境作成部で抽象機械を実行画面上に複写して実行環境を作成し、実行部は仕様記述をもとに実行環境を逐次実行し、画面描画部はアイコンの動きと切替えによって実行結果を実行画面に表示する。これにより、抽象機械における変更は自動的に具象機械の動作に反映される。
請求項（抜粋）：
以下の要素を有する仕様実行検証装置(a)抽象化された状態機械を抽象機械として定義し、抽象機械を用いて仕様記述を作成する仕様定義部、(b)上記仕様定義部により定義された抽象機械を用いて、具象化された状態機械を具象機械として定義し、具象機械を用いて実行環境を作成する実行環境作成部、(c)上記仕様定義部が作成した仕様記述と、上記実行環境作成部が作成した実行環境とを用いて、仕様を実行する実行部。
引用特許：
前のページに戻る
