JP2803369B2 - 対話型システムの検査方法 - Google Patents
対話型システムの検査方法Info
- Publication number
- JP2803369B2 JP2803369B2 JP3004906A JP490691A JP2803369B2 JP 2803369 B2 JP2803369 B2 JP 2803369B2 JP 3004906 A JP3004906 A JP 3004906A JP 490691 A JP490691 A JP 490691A JP 2803369 B2 JP2803369 B2 JP 2803369B2
- Authority
- JP
- Japan
- Prior art keywords
- state transition
- event
- state
- command
- file
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Lifetime
Links
- 230000002452 interceptive effect Effects 0.000 title claims description 21
- 238000000034 method Methods 0.000 title claims description 13
- 238000007689 inspection Methods 0.000 title claims description 10
- 230000007704 transition Effects 0.000 claims description 36
- 238000010586 diagram Methods 0.000 claims description 11
- 238000012795 verification Methods 0.000 claims description 7
- 238000006243 chemical reaction Methods 0.000 claims description 4
- 230000000694 effects Effects 0.000 description 2
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Description
【０００１】
【産業上の利用分野】本発明は対話型システムの検査方
法に関し、特にイベントドリブン方式の対話型アプリケ
ーションの検査を行うための対話型システムの検査方法
に関する。
法に関し、特にイベントドリブン方式の対話型アプリケ
ーションの検査を行うための対話型システムの検査方法
に関する。
【０００２】
【従来の技術】従来の対話型システムの検査方法は、検
査者がアプリケーションプログラムを走らせながらフロ
ーチャートを参照して、外部からのイベントのタイプと
そのときの状態の変更に誤りがないかを照合して検査し
ていた。
査者がアプリケーションプログラムを走らせながらフロ
ーチャートを参照して、外部からのイベントのタイプと
そのときの状態の変更に誤りがないかを照合して検査し
ていた。
【０００３】
【発明が解決しようとする課題】上述した対話型システ
ムの検査方法は、検査者がアプリケーションプログラム
を走らせながら発生可能な全イベントを発生させて、発
生したイベントに対してイベントのタイプとその状態の
チェックをフローチャートと照らし合わせて、合ってい
るか否かを検証する必要があるため、全状態の全イベン
トに対する検査に漏れがあったり、フローチャートとの
照らし合わせを間違えるなどの人的要因のミスが発生す
るという問題点があった。
ムの検査方法は、検査者がアプリケーションプログラム
を走らせながら発生可能な全イベントを発生させて、発
生したイベントに対してイベントのタイプとその状態の
チェックをフローチャートと照らし合わせて、合ってい
るか否かを検証する必要があるため、全状態の全イベン
トに対する検査に漏れがあったり、フローチャートとの
照らし合わせを間違えるなどの人的要因のミスが発生す
るという問題点があった。
【０００４】本発明の目的は、対話型アプリケーション
の検査の洩れをなくし、検査効率を上げることのできる
対話型システムの検査方法を提供することにある。
の検査の洩れをなくし、検査効率を上げることのできる
対話型システムの検査方法を提供することにある。
【０００５】
【課題を解決するための手段】本発明の対話型システム
の検査方法は、イベントドリブンの対話型アプリケーシ
ョンの状態遷移図を状態遷移ファイルに変換するファイ
ル変換手段と、全状態の全イベントを自動的に発生させ
るイベント発生手段と、イベントの前記対話型アプリケ
ーションのコマンドの内部状態値を直接変更する状態値
変更手段と、イベントのタイプにより変化する状態が前
記状態遷移ファイルに記述されたイベント状態と同じか
どうか検証する状態遷移検証手段とを含む構成である。
の検査方法は、イベントドリブンの対話型アプリケーシ
ョンの状態遷移図を状態遷移ファイルに変換するファイ
ル変換手段と、全状態の全イベントを自動的に発生させ
るイベント発生手段と、イベントの前記対話型アプリケ
ーションのコマンドの内部状態値を直接変更する状態値
変更手段と、イベントのタイプにより変化する状態が前
記状態遷移ファイルに記述されたイベント状態と同じか
どうか検証する状態遷移検証手段とを含む構成である。
【０００６】
【実施例】次に本発明について、図面を参照して説明す
る。
る。
【０００７】図１は本発明の一実施例のブロック図であ
る。
る。
【０００８】図１に示す対話型システムの検査方法は、
対話型アプリケーションの状態の遷移を示す状態遷移図
１と、状態遷移図１を対話型アプリケーションが読み込
める形式のファイルに変換する状態遷移変換部２と、状
態遷移図１を対話型アプリケーションが理解できる形式
に変換した状態遷移ファイル３と、検査対象の対話型シ
ステム４と、状態遷移ファイル３を読み込んで全状態の
全イベントを自動的に発生させるイベント発生部５と、
対話型システムへのイベントを受け付けて次の処理を呼
び出すイベント処理部６と、イベント処理部６に呼び出
されたコマンドを処理するコマンド処理部７と、コマン
ド処理部７の出力するコマンドの状態値を直接変更する
状態値変更部８と、変更したコマンドの状態値を格納し
ておく状態値格納部９と、変更したコマンドの状態値と
状態遷移ファイル３の内容とが一致するか否かをチェッ
クして、一致しない場合は不一致情報を出力する状態遷
移検証部１０と、状態遷移検証部１０から不一致情報を
受け警告を発生する警告発生部１１とで実現する。
対話型アプリケーションの状態の遷移を示す状態遷移図
１と、状態遷移図１を対話型アプリケーションが読み込
める形式のファイルに変換する状態遷移変換部２と、状
態遷移図１を対話型アプリケーションが理解できる形式
に変換した状態遷移ファイル３と、検査対象の対話型シ
ステム４と、状態遷移ファイル３を読み込んで全状態の
全イベントを自動的に発生させるイベント発生部５と、
対話型システムへのイベントを受け付けて次の処理を呼
び出すイベント処理部６と、イベント処理部６に呼び出
されたコマンドを処理するコマンド処理部７と、コマン
ド処理部７の出力するコマンドの状態値を直接変更する
状態値変更部８と、変更したコマンドの状態値を格納し
ておく状態値格納部９と、変更したコマンドの状態値と
状態遷移ファイル３の内容とが一致するか否かをチェッ
クして、一致しない場合は不一致情報を出力する状態遷
移検証部１０と、状態遷移検証部１０から不一致情報を
受け警告を発生する警告発生部１１とで実現する。
【０００９】次に動作について説明する。
【００１０】状態遷移図１は状態遷移変更部２によって
状態遷移ファイル３に変換する。イベント発生部５で
は、状態遷移ファイル３の出力を受け、その時の状態で
発生する可能性のあるイベントの１つを発生する。イベ
ントの１つを受けたイベント処理部６はイベントに対応
したコマンドをコマンド処理部７に出力する。コマンド
処理部７はコマンドを処理し、コマンドの状態値を状態
値変更部８に出力する。状態値変更部８はイベントによ
って変更したコマンドの状態値に状態値格納部９内のコ
マンドの状態値を書き直す。次に状態を変更する前のコ
マンドの状態値ａと、イベントのタイプｂと、状態値格
納部９内のコマンドの状態値ｃと、コマンドの状態遷移
を表現できる３つのデータを状態遷移検証部１０に送
る。状態遷移検証部１０は状態遷移ファイル３を読み込
んで、コマンドの状態遷移と状態遷移ファイル３が一致
しているか否かを検証し、一致していない場合は、不一
致情報を警告発生部１１に送り警告を発生する。このよ
うに、すべての状態ですべてのイベントが繰り返し発生
するようにイベント発生部５を動作させて状態値ｃと状
態遷移ファイル３との比較を自動的に行うので検査者の
ミスを大幅に減少させることができる。
状態遷移ファイル３に変換する。イベント発生部５で
は、状態遷移ファイル３の出力を受け、その時の状態で
発生する可能性のあるイベントの１つを発生する。イベ
ントの１つを受けたイベント処理部６はイベントに対応
したコマンドをコマンド処理部７に出力する。コマンド
処理部７はコマンドを処理し、コマンドの状態値を状態
値変更部８に出力する。状態値変更部８はイベントによ
って変更したコマンドの状態値に状態値格納部９内のコ
マンドの状態値を書き直す。次に状態を変更する前のコ
マンドの状態値ａと、イベントのタイプｂと、状態値格
納部９内のコマンドの状態値ｃと、コマンドの状態遷移
を表現できる３つのデータを状態遷移検証部１０に送
る。状態遷移検証部１０は状態遷移ファイル３を読み込
んで、コマンドの状態遷移と状態遷移ファイル３が一致
しているか否かを検証し、一致していない場合は、不一
致情報を警告発生部１１に送り警告を発生する。このよ
うに、すべての状態ですべてのイベントが繰り返し発生
するようにイベント発生部５を動作させて状態値ｃと状
態遷移ファイル３との比較を自動的に行うので検査者の
ミスを大幅に減少させることができる。
【００１１】
【発明の効果】本発明の対話型システムの検査方法は、
すべての状態ですべてのイベントを自動的に発生するこ
とにより、検査の漏れをなくすことができるという効果
がある。また、状態遷移図と一致しない状態が発生した
場合、警告を発生するため、検査効率を大幅にあげるこ
とができるという効果もある。
すべての状態ですべてのイベントを自動的に発生するこ
とにより、検査の漏れをなくすことができるという効果
がある。また、状態遷移図と一致しない状態が発生した
場合、警告を発生するため、検査効率を大幅にあげるこ
とができるという効果もある。
【図１】本発明の一実施例のブロック図である。
１ 状態遷移図 ２ 状態遷移図変換部 ３ 状態遷移ファイル ４ 対話型システム ５ イベント発生部 ６ イベント処理部 ７ コマンド処理部 ８ 状態値変更部 ９ 状態値格納部 １０ 状態遷移検証部 １１ 警告発生部 ａ 状態値変更前の状態値 ｂ イベントタイプ ｃ 状態値格納部の状態値
Claims (1)
- 【請求項１】 イベントドリブンの対話型アプリケーシ
ョンの状態遷移図を状態遷移ファイルに変換するファイ
ル変換手段と、全状態の全イベントを自動的に発生させ
るイベント発生手段と、イベントの前記対話型アプリケ
ーションのコマンドの内部状態値を直接変更する状態値
変更手段と、イベントのタイプにより変化する状態が前
記状態遷移ファイルに記述されたイベント状態と同じか
どうか検証する状態遷移検証手段とを含むことを特徴と
する対話型システムの検査方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3004906A JP2803369B2 (ja) | 1991-01-21 | 1991-01-21 | 対話型システムの検査方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3004906A JP2803369B2 (ja) | 1991-01-21 | 1991-01-21 | 対話型システムの検査方法 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH04236636A JPH04236636A (ja) | 1992-08-25 |
| JP2803369B2 true JP2803369B2 (ja) | 1998-09-24 |
Family
ID=11596694
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3004906A Expired - Lifetime JP2803369B2 (ja) | 1991-01-21 | 1991-01-21 | 対話型システムの検査方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2803369B2 (ja) |
Families Citing this family (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0778075A (ja) * | 1993-01-22 | 1995-03-20 | Internatl Business Mach Corp <Ibm> | 対話式分散有限状態プログラム発生器を提供する方法及び装置 |
| JP5404721B2 (ja) * | 2011-09-08 | 2014-02-05 | 日本電信電話株式会社 | シナリオテストのテスト項目生成装置及び方法及びプログラム |
| DE112017007271T5 (de) | 2017-04-19 | 2019-12-05 | Mitsubishi Electric Corporation | Äquivalenzverifikationseinrichtung und Äquivalenzverifikationsprogramm |
Family Cites Families (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS6077248A (ja) * | 1983-10-05 | 1985-05-01 | Hitachi Ltd | テストデ−タ作成装置 |
| JPH036630A (ja) * | 1989-06-02 | 1991-01-14 | Chubu Nippon Denki Software Kk | 対話処理プログラム検査方式 |
-
1991
- 1991-01-21 JP JP3004906A patent/JP2803369B2/ja not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| JPH04236636A (ja) | 1992-08-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPS63278145A (ja) | パラメ−タ対応検査方式 | |
| CN108920695B (zh) | 一种数据查询方法、装置、设备及存储介质 | |
| JP2803369B2 (ja) | 対話型システムの検査方法 | |
| CN112306882A (zh) | 一种基于c算法模型的芯片算法模块验证方法及系统 | |
| US20250384166A1 (en) | Formal verification method and system for interlocking data security | |
| CN113391942B (zh) | shell脚本打印日志方法和装置、电子设备和存储介质 | |
| JP2004192139A (ja) | デバッグ装置、デバッグ方法および記録媒体 | |
| JP2015055967A (ja) | 検証用プログラム自動生成装置 | |
| CN111124930A (zh) | 一种代码缺陷检查方法、装置、设备及存储介质 | |
| JPH04115331A (ja) | 対話型アプリケーションシステムの検査方式 | |
| JP4564689B2 (ja) | ハードウェア機能検証方法及びハードウェア機能検証装置 | |
| JP2910658B2 (ja) | 試験端子生成方式 | |
| WO2018137146A1 (zh) | 图形组态语言转换方法及装置 | |
| JP2508193B2 (ja) | 登録原文の変換装置 | |
| CN113608998A (zh) | 测试活动自动优化的方法、装置、计算机设备及存储介质 | |
| JP2011002903A (ja) | 非同期回路検証装置及びプログラム | |
| JPH04181326A (ja) | ソースプログラムのコンパイル方法 | |
| JP2004272524A (ja) | 論理検証装置、論理検証方法および記録媒体並びにプログラム | |
| JPH0573437A (ja) | メモリパリテイ回路 | |
| JPH01261738A (ja) | 対話型システム用テストモジュール | |
| JPS6170641A (ja) | テストプログラム自動生成方法 | |
| CN118113618A (zh) | 软件测试库生成方法、装置、设备、介质以及程序产品 | |
| JP2000276344A (ja) | オブジェクトを利用したプログラム作成システムおよびそのプログラム作成方法 | |
| JPH07306801A (ja) | プログラムテスト実行方式 | |
| JPH07181237A (ja) | テストパターン生成モデル自動作成方法と装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 19980616 |