JPH04115331A - 対話型アプリケーションシステムの検査方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は対話型アプリケーションシステムの検査方式、
特にイベントドリブン方式の対話型アプリケーションシ
ステムの検査方式に関する。

〔従来の技術〕

従来、この種の対話型アプリケーションシステムの検査
方式は、検査者がアプリケーションシステムを操作しな
がらフローチャートを参照して外部からのイベントのタ
イプとそのときの状態の変更に誤りがないかを検査して
いる。

〔発明が解決しようとする課題〕

上述した対話型アプリケーションシステムの検査方式は
、検査者がアプリケーションシステムを操作しながら、
イベントを発生させる度に外部からのイベントのタイプ
とその状態とをフローチャートに照らし合わせてチエツ
クし、合っているかを人手により検証する必要があると
いう煩雑さがある。

〔課題を解決するための手段〕

本発明の対話型アプリケーションシステムの検査方式は
、イベントドリブンの対話型アプリケーションシステム
の状態遷移図を状態遷移ファイルに変換する状態遷移図
変換手段と、前記対話型アプリケーションシステムのコ
マンドの内部状態値を直接変更する状態値変更手段と、
外部からのイベントのタイプにより変化された前記内部
状値を含む状態が前記状態遷移ファイルに記述されたイ
ベント状態と同じかどうかを検証する検証手段とを有す
ることにより構成される。

〔実施例〕

次に、本発明について図面を参照して説明する。

第１図は本発明の一実施例を示すブロック図である。第
１図の実施例は、イベントドリブンの対話型アプリケー
ションシステムの状態の遷移を示す状態遷移図１と、状
態遷移図を対話型アプリケーションシステムが読込める
形式のデータに変換する状態遷移図変換部２と、状態遷
移図変換部２から出力されるイベントごとのデータをフ
ァイルとして格納する状態遷移ファイル３と、検査対象
の対話型アプリケーションシステム４と、対話型アプリ
ケーションシステム４への入力装置５とから構成される
。対話型アプリケーションシステム４は対話型アプリケ
ーションとして必須のイベントを受付けて次の処理を呼
出すイベント処理部６と、イベント処理部６に呼出され
るコマンド処理部７と、状態値を直接変更する状態値変
更部８と、コマンドの状態値を格納しておく状態値格納
部９とを有する他に、本発明のために変更した状態値と
状態遷移ファイル３の内容とが一致するかをチエツクし
て、一致しない場合は警告を発生する状態遷移検証部１
０を有した構成となっている。

状態遷移図１は状態遷移図変換部２によって状態遷移フ
ァイル３に変換される。一方、状態値変更部８はイベン
トによって変更した状態値に状態値格納部９の状態値を
変更する。状態遷移検証部１０には、イベントのタイプ
ａと、状態を変更する前の状態値すと、状態値格納部９
の状態値Ｃとのコマンドの状態遷移を表現できる三つの
データが送られる。状態遷移検証部１０は状態遷移ファ
イル３を読込んで、コマンドの状態遷移と状態遷移ファ
イルと３が一致しているかを検証する。

〔発明の効果〕

以上説明したように本発明の対話型アプリケーションシ
ステムの検査方式は、状態遷移図からイベントごとの状
態遷移データを作らせておくことにより、検査者が全状
態で全イベントを発生させることにより、状態遷移図と
一致しない状態が発生した場合、警告を発生させること
ができ、検査効率を大幅にあげることができるという効
果がある。

【図面の簡単な説明】

第１図は本発明の一実施例のブロック図である。 １・・・状態遷移図、２・・・状態遷移図変換部、３・
・・状態遷移ファイル、４・・・対話型アプリケーショ
ンシステム、５・・・入力装置、６・・・イベント処理
部、７・・・コマンド処理部、８・・・状態値変更部、
９・・・状態値格納部、１０・・・状態遷移検証部。

Claims (1)

【特許請求の範囲】
1. イベントドリブンの対話型アプリケーションシステムの
   状態遷移図を状態遷移ファイルに変換する状態遷移図変
   換手段と、前記対話型アプリケーションシステムのコマ
   ンドの内部状態値を直接変更する状態値変更手段と、外
   部からのイベントのタイプにより変化された前記内部状
   値を含む状態が前記状態遷移ファイルに記述されたイベ
   ント状態と同じかどうかを検証する検証手段とを有する
   ことを特徴とする対話型アプリケーションシステムの検
   査方式。