JPH04236636A - Check method for interactive system - Google Patents

Check method for interactive system

Info

Publication number
JPH04236636A
JPH04236636A JP3004906A JP490691A JPH04236636A JP H04236636 A JPH04236636 A JP H04236636A JP 3004906 A JP3004906 A JP 3004906A JP 490691 A JP490691 A JP 490691A JP H04236636 A JPH04236636 A JP H04236636A
Authority
JP
Japan
Prior art keywords
event
state transition
state
command
state value
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.)
Granted
Application number
JP3004906A
Other languages
Japanese (ja)
Other versions
JP2803369B2 (en
Inventor
Yoshinori Ito
美紀 伊藤
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Priority to JP3004906A priority Critical patent/JP2803369B2/en
Publication of JPH04236636A publication Critical patent/JPH04236636A/en
Application granted granted Critical
Publication of JP2803369B2 publication Critical patent/JP2803369B2/en
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Landscapes

  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)

Abstract

PURPOSE:To improve the check efficiency by eliminating omission of check of an interactive application. CONSTITUTION:A command of the interactive application is expressed by a state transition diagram 1, and this diagram is converted to a state transition file 3 by a state transition diagram converting part 2. Meanwhile, an event generating part 5 automatically generates an event. When receiving the event, an event processing part 6 calls a command processing part 7 for the event to perform the processing. A state value changing part 8 changes the state value in a state value storage part 9 by processing contents of the command processing part 7. A state transition verifying part 10 verifies whether the state transition of the command understood by the state value before event generation, the event, and the state value in the state value storage part coincides with contents of an independently read state transition file or not. If they do not coincide with each other, a warning is given. All events are automatically generated for all states in the event generating part to automatically check all states of the application.

Description

【発明の詳細な説明】[Detailed description of the invention]

【0001】0001

【産業上の利用分野】本発明は対話型システムの検査方
法に関し、特にイベントドリブン方式の対話型アプリケ
ーションの検査を行うための対話型システムの検査方法
に関する。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to an interactive system testing method, and more particularly to an interactive system testing method for testing an event-driven interactive application.

【0002】0002

【従来の技術】従来の対話型システムの検査方法は、検
査者がアプリケーションプログラムを走らせながらフロ
ーチャートを参照して、外部からのイベントのタイプと
そのときの状態の変更に誤りがないかを照合して検査し
ていた。
[Background Art] In a conventional inspection method for interactive systems, an inspector refers to a flowchart while running an application program to check whether there are any errors in the type of event from the outside and the change in state at that time. was inspected.

【0003】0003

【発明が解決しようとする課題】上述した対話型システ
ムの検査方法は、検査者がアプリケーションプログラム
を走らせながら発生可能な全イベントを発生させて、発
生したイベントに対してイベントのタイプとその状態の
チェックをフローチャートと照らし合わせて、合ってい
るか否かを検証する必要があるため、全状態の全イベン
トに対する検査に漏れがあったり、フローチャートとの
照らし合わせを間違えるなどの人的要因のミスが発生す
るという問題点があった。
[Problems to be Solved by the Invention] In the above-mentioned method of testing an interactive system, the tester generates all possible events while running an application program, and identifies the type and status of each event that has occurred. Since it is necessary to compare the check with the flowchart and verify whether it matches, human errors such as omissions in checking all events in all states and mistakes in checking against the flowchart occur. There was a problem with that.

【0004】本発明の目的は、対話型アプリケーション
の検査の洩れをなくし、検査効率を上げることのできる
対話型システムの検査方法を提供することにある。
An object of the present invention is to provide an interactive system testing method that can eliminate omissions in testing interactive applications and improve testing efficiency.

【0005】[0005]

【課題を解決するための手段】本発明の対話型システム
の検査方法は、イベントドリブンの対話型アプリケーシ
ョンの状態遷移図を状態遷移ファイルに変換するファイ
ル変換手段と、全状態の全イベントを自動的に発生させ
るイベント発生手段と、イベントの前記対話型アプリケ
ーションのコマンドの内部状態値を直接変更する状態値
変更手段と、イベントのタイプにより変化する状態が前
記状態遷移ファイルに記述されたイベント状態と同じか
どうか検証する状態遷移検証手段とを含む構成である。
[Means for Solving the Problems] The interactive system inspection method of the present invention includes a file conversion means for converting a state transition diagram of an event-driven interactive application into a state transition file, and a method for automatically converting all events in all states. a state value changing means that directly changes the internal state value of the command of the interactive application of the event, and a state that changes depending on the type of event is the same as the event state described in the state transition file. This configuration includes a state transition verification means for verifying whether or not the state transition is the same.

【0006】[0006]

【実施例】次に本発明について、図面を参照して説明す
る。
DESCRIPTION OF THE PREFERRED EMBODIMENTS Next, the present invention will be explained with reference to the drawings.

【0007】図1は本発明の一実施例のブロック図であ
る。
FIG. 1 is a block diagram of one embodiment of the present invention.

【0008】図1に示す対話型システムの検査方法は、
対話型アプリケーションの状態の遷移を示す状態遷移図
1と、状態遷移図1を対話型アプリケーションが読み込
める形式のファイルに変換する状態遷移変換部2と、状
態遷移図1を対話型アプリケーションが理解できる形式
に変換した状態遷移ファイル3と、検査対象の対話型シ
ステム4と、状態遷移ファイル3を読み込んで全状態の
全イベントを自動的に発生させるイベント発生部5と、
対話型システムへのイベントを受け付けて次の処理を呼
び出すイベント処理部6と、イベント処理部6に呼び出
されたコマンドを処理するコマンド処理部7と、コマン
ド処理部7の出力するコマンドの状態値を直接変更する
状態値変更部8と、変更したコマンドの状態値を格納し
ておく状態値格納部9と、変更したコマンドの状態値と
状態遷移ファイル3の内容とが一致するか否かをチェッ
クして、一致しない場合は不一致情報を出力する状態遷
移検証部10と、状態遷移検証部10から不一致情報を
受け警告を発生する警告発生部11とで実現する。
The method for testing the interactive system shown in FIG.
A state transition diagram 1 that shows state transitions of an interactive application; a state transition converter 2 that converts the state transition diagram 1 into a file in a format that the interactive application can read; and a state transition diagram 1 that converts the state transition diagram 1 into a format that the interactive application can understand. an interactive system 4 to be inspected; an event generation unit 5 that reads the state transition file 3 and automatically generates all events for all states;
An event processing unit 6 that accepts an event to the interactive system and calls the next process, a command processing unit 7 that processes the command called by the event processing unit 6, and a status value of the command output by the command processing unit 7. The state value change unit 8 that directly changes the state value, the state value storage unit 9 that stores the state value of the changed command, and the state value storage unit 9 that checks whether the state value of the changed command matches the contents of the state transition file 3. This is realized by a state transition verification section 10 that outputs mismatch information when there is no match, and a warning generation section 11 that receives the mismatch information from the state transition verification section 10 and generates a warning.

【0009】次に動作について説明する。Next, the operation will be explained.

【0010】状態遷移図1は状態遷移変更部2によって
状態遷移ファイル3に変換する。イベント発生部5では
、状態遷移ファイル3の出力を受け、その時の状態で発
生する可能性のあるイベントの1つを発生する。イベン
トの1つを受けたイベント処理部6はイベントに対応し
たコマンドをコマンド処理部7に出力する。コマンド処
理部7はコマンドを処理し、コマンドの状態値を状態値
変更部8に出力する。状態値変更部8はイベントによっ
て変更したコマンドの状態値に状態値格納部9内のコマ
ンドの状態値を書き直す。次に状態を変更する前のコマ
ンドの状態値aと、イベントのタイプbと、状態値格納
部9内のコマンドの状態値cと、コマンドの状態遷移を
表現できる3つのデータを状態遷移検証部10に送る。 状態遷移検証部10は状態遷移ファイル3を読み込んで
、コマンドの状態遷移と状態遷移ファイル3が一致して
いるか否かを検証し、一致していない場合は、不一致情
報を警告発生部11に送り警告を発生する。このように
、すべての状態ですべてのイベントが繰り返し発生する
ようにイベント発生部5を動作させて状態値cと状態遷
移ファイル3との比較を自動的に行うので検査者のミス
を大幅に減少させることができる。
The state transition diagram 1 is converted into a state transition file 3 by a state transition change unit 2. The event generation unit 5 receives the output of the state transition file 3 and generates one of the events that may occur in the current state. The event processing unit 6 that receives one of the events outputs a command corresponding to the event to the command processing unit 7. The command processing unit 7 processes the command and outputs the status value of the command to the status value changing unit 8. The state value changing section 8 rewrites the state value of the command in the state value storage section 9 to the state value of the command changed by the event. Next, the state transition verification section stores the state value a of the command before changing the state, the type b of the event, the state value c of the command in the state value storage section 9, and three data that can express the state transition of the command. Send to 10. The state transition verification unit 10 reads the state transition file 3 and verifies whether the state transition of the command and the state transition file 3 match, and if they do not match, sends mismatch information to the warning generation unit 11. Generates a warning. In this way, the event generation unit 5 is operated so that all events occur repeatedly in all states, and the comparison between the state value c and the state transition file 3 is automatically performed, which greatly reduces inspector errors. can be done.

【0011】[0011]

【発明の効果】本発明の対話型システムの検査方法は、
すべての状態ですべてのイベントを自動的に発生するこ
とにより、検査の漏れをなくすことができるという効果
がある。また、状態遷移図と一致しない状態が発生した
場合、警告を発生するため、検査効率を大幅にあげるこ
とができるという効果もある。
[Effect of the invention] The method for testing an interactive system of the present invention is as follows:
By automatically generating all events in all conditions, it is possible to eliminate omissions in inspections. Furthermore, if a state that does not match the state transition diagram occurs, a warning is issued, which has the effect of greatly increasing inspection efficiency.

【図面の簡単な説明】[Brief explanation of the drawing]

【図1】本発明の一実施例のブロック図である。FIG. 1 is a block diagram of one embodiment of the present invention.

【符号の説明】 1    状態遷移図 2    状態遷移図変換部 3    状態遷移ファイル 4    対話型システム 5    イベント発生部 6    イベント処理部 7    コマンド処理部 8    状態値変更部 9    状態値格納部 10    状態遷移検証部 11    警告発生部 a    状態値変更前の状態値 b    イベントタイプ c    状態値格納部の状態値[Explanation of symbols] 1. State transition diagram 2    State transition diagram conversion section 3. State transition file 4 Interactive system 5 Event occurrence part 6 Event processing section 7 Command processing section 8 Status value change section 9 Status value storage section 10    State transition verification section 11 Warning section a Status value before status value change b Event type c Status value of status value storage section

Claims (1)

【特許請求の範囲】[Claims] 【請求項1】  イベントドリブンの対話型アプリケー
ションの状態遷移図を状態遷移ファイルに変換するファ
イル変換手段と、全状態の全イベントを自動的に発生さ
せるイベント発生手段と、イベントの前記対話型アプリ
ケーションのコマンドの内部状態値を直接変更する状態
値変更手段と、イベントのタイプにより変化する状態が
前記状態遷移ファイルに記述されたイベント状態と同じ
かどうか検証する状態遷移検証手段とを含むことを特徴
とする対話型システムの検査方法。
1. File conversion means for converting a state transition diagram of an event-driven interactive application into a state transition file; event generation means for automatically generating all events in all states; The present invention is characterized by comprising a state value changing means for directly changing the internal state value of a command, and a state transition verification means for verifying whether the state changed depending on the type of event is the same as the event state described in the state transition file. How to test interactive systems.
JP3004906A 1991-01-21 1991-01-21 Inspection method for interactive system Expired - Lifetime JP2803369B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP3004906A JP2803369B2 (en) 1991-01-21 1991-01-21 Inspection method for interactive system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP3004906A JP2803369B2 (en) 1991-01-21 1991-01-21 Inspection method for interactive system

Publications (2)

Publication Number Publication Date
JPH04236636A true JPH04236636A (en) 1992-08-25
JP2803369B2 JP2803369B2 (en) 1998-09-24

Family

ID=11596694

Family Applications (1)

Application Number Title Priority Date Filing Date
JP3004906A Expired - Lifetime JP2803369B2 (en) 1991-01-21 1991-01-21 Inspection method for interactive system

Country Status (1)

Country Link
JP (1) JP2803369B2 (en)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0778075A (en) * 1993-01-22 1995-03-20 Internatl Business Mach Corp <Ibm> Method and apparatus for provision of interactive dispersed finite-state program generator
JP2013058075A (en) * 2011-09-08 2013-03-28 Nippon Telegr & Teleph Corp <Ntt> Device, method, and program for generating test items of scenario test
DE112017007271T5 (en) 2017-04-19 2019-12-05 Mitsubishi Electric Corporation Equivalence Verifier and Equivalence Verification Program

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6077248A (en) * 1983-10-05 1985-05-01 Hitachi Ltd Forming device of test data
JPH036630A (en) * 1989-06-02 1991-01-14 Chubu Nippon Denki Software Kk Check system for interactive processing program

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6077248A (en) * 1983-10-05 1985-05-01 Hitachi Ltd Forming device of test data
JPH036630A (en) * 1989-06-02 1991-01-14 Chubu Nippon Denki Software Kk Check system for interactive processing program

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0778075A (en) * 1993-01-22 1995-03-20 Internatl Business Mach Corp <Ibm> Method and apparatus for provision of interactive dispersed finite-state program generator
JP2013058075A (en) * 2011-09-08 2013-03-28 Nippon Telegr & Teleph Corp <Ntt> Device, method, and program for generating test items of scenario test
DE112017007271T5 (en) 2017-04-19 2019-12-05 Mitsubishi Electric Corporation Equivalence Verifier and Equivalence Verification Program

Also Published As

Publication number Publication date
JP2803369B2 (en) 1998-09-24

Similar Documents

Publication Publication Date Title
JP3056026B2 (en) Logic simulation method
US6895582B1 (en) Method and apparatus for high assurance computing using virtual machines on general purpose computing resources
JPH04236636A (en) Check method for interactive system
JPH04115331A (en) Inspection system for interactive application system
JP2005316710A (en) Software test support device
Saifan et al. Using formal methods for test case generation according to transition-based coverage criteria
WO2018137146A1 (en) Graph configuration language transformation method and apparatus
KR102558933B1 (en) Method and device for systematic test case creation for Korean requirements including time conditions
JP4564689B2 (en) Hardware function verification method and hardware function verification apparatus
JPH10207727A (en) System for automatically generating test program
JPH0363838A (en) Software program inspection system
JP2910658B2 (en) Test terminal generation method
JP2508193B2 (en) Registered text conversion device
CN111124930A (en) Code defect inspection method, device, equipment and storage medium
JPH04116755A (en) Telegram form conversion processing system
JPH01205332A (en) Linkage editor system
JPS59112395A (en) Automatic tester
JPH1063532A (en) Examining item generator
JPH05304195A (en) Signal processing system
JPH0137771B2 (en)
CN117631650A (en) Simulation test method of whole vehicle controller
JPH04140803A (en) Expected value data generating system
JPH11338727A (en) Testing method for information processor
JPH04289468A (en) Method for testing lsi
JPH07181237A (en) Method and apparatus for automatically producing test pattern-generation model thereof

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