JPH04115331A - Inspection system for interactive application system - Google Patents

Abstract

PURPOSE:To generate an alarm at the time of generating status different from a status transition (ST) diagram by forming the ST data of each event from the ST diagram and allowing an inspector to generate all events in all states. CONSTITUTION:The ST diagram 1 is converted into a ST file 3 by a ST diagram conversion part 2. On the other hand, a status value changing part 8 changes the status value of a status value storing part 9 to a status value changed by an event. Three data capable of expressing the ST of a command, i.e. the type (a) of an event, the status value (b) of unchanged status and the status value (c) of the storing part 9, are sent to a ST inspecting part 10. The ST inspection part 10 reads out the file 3 and inspects whether the TS of the command coincides with the contents of the file 3 or not.

Description

[Detailed Description of the Invention] [Industrial Application Field] The present invention provides an inspection method for an interactive application system;
In particular, the present invention relates to an inspection method for an event-driven interactive application system.

[Conventional technology]

Traditionally, this type of interactive application system inspection method involves an inspector operating the application system while referring to a flowchart to check for errors in the types of external events and changes in the state at that time. There is.

[Problem to be solved by the invention]

In the above-mentioned interactive application system inspection method, the inspector operates the application system while
Each time an event occurs, the type of event from the outside and its state must be checked against the flowchart, and it is necessary to manually verify whether they match.

[Means to solve the problem]

The inspection method for an interactive application system of the present invention includes a state transition diagram converting means for converting a state transition diagram of an event-driven interactive application system into a state transition file, and a state transition diagram converting means that converts a state transition diagram of an event-driven interactive application system into a state transition file, and a state transition diagram that directly converts the internal state values of commands of the interactive application system. a state value changing means to change;
and verification means for verifying whether the state including the internal state value changed by the type of external event is the same as the event state described in the state transition file.

〔Example〕

Next, the present invention will be explained with reference to the drawings.

FIG. 1 is a block diagram showing one embodiment of the present invention. The embodiment shown in FIG. 1 includes a state transition diagram 1 showing state transitions of an event-driven interactive application system, and a state transition diagram conversion unit 2 that converts the state transition diagram into data in a format readable by the interactive application system. , a state transition file 3 that stores data for each event output from the state transition diagram converter 2 as a file, an interactive application system 4 to be inspected, and an input device 5 to the interactive application system 4. be done. The interactive application system 4 includes an event processing unit 6 that receives an event essential for an interactive application and calls the next process, a command processing unit 7 that is called by the event processing unit 6, and a state value change unit that directly changes the state value. 8 and a state value storage part 9 for storing command state values, it also checks whether the state values changed for the purpose of the present invention match the contents of the state transition file 3. State transition verification unit 1 that issues a warning if they do not match
It has a configuration with 0.

The state transition diagram 1 is converted into a state transition file 3 by a state transition diagram converter 2. On the other hand, the state value changing unit 8 changes the state value in the state value storage unit 9 to the state value changed by the event. The state transition verification section 10 stores the event type a, the state value before changing the state, and the state value storage section 9.
Three pieces of data are sent that can express the state transition of the command with the state value C of . The state transition verification unit 10 reads the state transition file 3 and verifies whether the state transition of the command matches the state transition file 3.

〔Effect of the invention〕

As explained above, the inspection method of the interactive application system of the present invention allows the inspector to generate all events in all states by having the inspector create state transition data for each event from the state transition diagram. If a state that does not match the transition diagram occurs, a warning can be issued, which has the effect of greatly increasing inspection efficiency.

[Brief explanation of the drawing]

FIG. 1 is a block diagram of one embodiment of the present invention. 1... State transition diagram, 2... State transition diagram converter, 3.
... State transition file, 4... Interactive application system, 5... Input device, 6... Event processing section, 7... Command processing section, 8... State value changing section,
9... State value storage section, 10... State transition verification section.

Claims (1)

[Claims] A state transition diagram converting means for converting a state transition diagram of an event-driven interactive application system into a state transition file, a state value changing means for directly changing an internal state value of a command of the interactive application system, and an external event and a verification means for verifying whether a state including the internal state value changed according to the type of the event state is the same as an event state described in the state transition file.