JPS6366651A - Status check system using source list - Google Patents

Abstract

PURPOSE:To omit execution of a program to be debugged by making use of a comment sentence of a source list of the program to be debugged to perform the status check based on a status rule. CONSTITUTION:A user inputs a source list 19 and then input route information 21 to the list 19 at the position decided by means of a comment sentence 20. Then the list 19 is stored in a source file 1 via a source list input production part 22 and the information 21 on the sentence 20 is read out and stored in a route information file 3. Receiving a retrieving request, a status rule access part 5 selects a coincident status rule 27 and informs it to a status check part 6. The part 6 updates the present status if it is judged that the informed contents show the transit of the status and requests a result output part 7 for output of the status transition information and also the error information in a status error mode if set.

Description

[Detailed Description of the Invention] [Industrial Application Field] The present invention relates to depacking various statuses through communication control, etc., and in particular, regarding status transitions due to macro issuance, etc., the status check is performed without executing the program to be debugged. This relates to a status check method using source list 1-.

[Conventional technology]

Conventionally, there are various statuses in communication control 2 communication management and the like. In order to change the status, call Lunitin that is registered in advance in the system, that is,
When issuing a macro, it is often necessary for the macro name to appear in the source list.

Status transitions in this communication control and communication management will be explained. A communication path must be set up for communication between the terminal and the center. As an example of the status for setting this communication bus, as shown in Figure 6, (1) communication path use declaration (APSET as macro name) (2) communication path setting (APSET as macro name) (3) communication path Release (APCLS) (4) Cancel use of communication bus (APCLS)
There is a macro name, and the status is "Communication path usage declaration complete" between "Communication path end used" and (+>, (4)), and "Communication path use declaration complete" status between (2>, (3)). This status changes as shown in Figure 6 when the macro name is issued. Conventionally, when issuing a macro, various statuses are set when the macro name appears on the source list. The check is performed by a communication control program, etc. In this case,
When there was a status error, the macro issuing program was debugged. This type of status check is performed not only in the real environment but also in a simulator that simulates the real environment, but the debugged program must be executed in both the real environment and the simulator. It was. The only way to check the status without running the debugged program was to manually check the status.

[Problem that the invention seeks to solve]

The conventional status check method for debugging related to status transitions described above has the following drawbacks.

■Since it is a manual desktop check, it is very time consuming and time consuming. ■For status checks using a real environment or a simulator, the program to be debugged must be executed, so tasks such as compiling and linking of the program to be debugged are required. It's inconvenient.

■Simulators and the like lack versatility as they can only be used to check the status of a specific processing system.

■In a simulator, etc., if you want to change the logic of status transitions, you need to change the simulator's own program! It becomes Kaname.

[Means for solving problems]

The status check method using a source list of the present invention includes a source list storage means for storing a source list including route information created in advance, and a source list storage means for storing a source list including route information created in advance. a route information reading means for extracting route information from a source list that has been updated; a status rule storage means for storing in advance a status rule in which logic regarding status transitions is defined; and a status rule storage means for storing previously created control information. A control information storage means, a status check means for checking a status transition by searching a stored status rule based on the stored control information and route information, and a result output means for outputting the results of the status check to an output medium. It has

〔Example〕

Next, the present invention will be explained with reference to the drawings. FIG. 1 shows the configuration of an embodiment of the present invention, and numbers 2 to 5i are diagrams for explaining the operation. In the figure, 1 is the source list h file, 2 is the rule I/information reading section, 3 is the rule 1 to information file, and 4
is a status rule file, 5 is a status rule access section, 6 is a status check section, 7 is a result output section, 8 is a disk file, 9 is a display, 1o is a status rule creation section, 11 is a control information file, 12
1 is a line printer, 13 is a magnetic tape, 14 is a card reader, 15 is a display-sized keyboard, 16 is a control unit, and 19 is a source list 1 to . 20 is a comment text,
21 is Lou I/information, 22 is a source list creation section, 26
is a frame, 27 is a status rule, and 28 is control information. Save source lists) to 19 in source file 1.

One source list has comments 71 to 2o, and root information M21 is set in comment 20 by the user. The content of route information 21 is the route start/end position 9
This information includes the issued macro name, a macro identifier that is a coded version of the macro name, and the like.

The definition of a route is a list section in the source list code 9 in which there are no branches that would affect status transition. The rule 1-information reading unit 2 extracts the source list 19 from the source file 1 and converts it into the source list 1.
The route information 21 of the comment sentence 20 in ~19 is extracted, and the route information 21 is stored in the route information file 3. The source list creation unit 22 inputs the source list 19 in which the route information 21 is set as the comment text 20 from the card reader 14 or the keyboard with display 15, and stores it in the source file 1. The status rule creation unit 10 inputs data necessary for creating the status rule 27 from the card reader 14 or the keyboard with display 15, creates the status rule 27, and stores it in the status rule file 4 as a frame 26.

Status rule 27 has 1 for each status.
It has two frames 26. One frame 26 stores a status rule 27 regarding the status corresponding to that frame 26. Status rule 27 is IF
- Expressed by the THEN rule and serves as a criterion for status transition. The IF-THEN rule is in the form of "IF premise part THEN conclusion part". Control literature department 16
inputs a control statement from the card reader 14 or keyboard with display 15 to create control information 28 and stores it in the control information file 11. The prerequisite control statements include an initial status definition statement, a root statement representing the route,
There are additional conditional statements that specify additional conditions that are parameters indicating conditions such as branching added to a macro when the macro is issued, and loop statements that repeat control statements in a certain section. The status check unit 6 receives control information 2 from the control information file 11.
8, and also read the route information 21 of the route information file 3 and read the contents of the control information 28 and the route information 21.
to determine the current status and status rule antecedents. This status and information on the antecedent part are notified to the status rule access unit 5. The status rule access unit 5 creates a frame 26 based on the status and prerequisites notified from the status check unit 6.
, select status rule 27, and
Deriving the conclusion part and checking its contents in the status check part 6
to notify. After receiving the conclusion part, the status check unit 6 determines the status transition based on the conclusion part, and then
Status transition information and status error At one time, the error information is requested to be output from the result output unit 7. The result output unit 7 outputs the output information requested by the status check unit 6 to the line printer 12, magnetic tape 13, display 9, and disk file 8. To update and delete the source list 19, the source list 19 stored in the source list file 1 is read into the source list creation section 22 in advance according to the user's specifications, and the source list 19 is updated and deleted, and if necessary, the source list file 1 is save. To update and delete the status rules 27 and frames 26, read the status rules 27 and frames 26 that have been previously saved in the status rule file 4 into the status rule creation unit 10, update and delete them, and save them in the status rule file 4 if necessary. do.

Next, the operation will be explained.

(1) The user inputs the source list 1-19 using the card reader 14 or the 1-inch display keyboard 15. In the source list 19, route information 21 is input in a predetermined position using a comment text 20. FIG. 2 shows an example of inputting route information 21 in the source list 19. At 42 in FIG. 2, the comment text 20 is from ** to **, and the route information 21 is between ** and **. The route information 21, RUTEA, is 1, meaning that it declares the start of route A. 43 declares the start of route B. Also, in 44, APSET
This means issuing the macro name ``BOI'' and assigning the macro identifier BOI.

45 means that an APOPN macro is issued and the macro identifier is B20. After one source list is stored in the source file 1 by the source list creation section 22, the route information 2 written as a comment sentence 20 in the tooth list 19 by the route information reading section 2.
1 is extracted and only the route information 21 is stored in the route information file 3. The storage format of the route information 21 in the route I/information file 3 is to use a table as shown in FIG. 4 to collectively store route information related to one route I. The input is created by unit 10. FIG. 3 shows an example of input creation of the frame 26 and status rule 27 regarding the status of the communication bus. Figure 3 (,A), (B), (C
) shows an example of a frame in frame 26; Status rules 27 that flash are collected.Similarly, the same figure (
36 shown in B) represents frame Nn, 2, 37 shown in FIG. 337 represents a status of "connecting". If the current status is frame N
When expressed as ILI 35, it means that when the APSET macro is issued, the antecedent part of status rule 38 is operated and the conclusion part frame Na,2 is derived. The derived frame Pi 2 is shown in Figure 3 (
B) has the content shown in 36. This represents status transition. Note that the frame name or status error is input and set in the conclusion section.

(3) FIG. 5 shows a control statement. 51 is D
F, This is an F statement, and is a definition statement of the initial status.

Reference numeral 52 is a RUTE statement, which specifies the name of the route whose status is to be checked. 53 is an ACT statement, which is an additional conditional statement that specifies additional conditions when issuing a macro. This additional condition and macro name become the premise of the status rule 27. The entire processing routine I can be made by specifying and inputting all 52 RUTE statements.

The control sentence human resources section 16 performs a syntax check on the control sentence. If a syntax error occurs, an error message is output to the line printer 12 or display 15. If no syntax error occurs, it is stored in the control information file 11 as control information 28.

(4) The status check unit 6 is the control information file 11
The clever information 28 of 2 is read sequentially from the beginning.

If the control information 28 is related to the DEF statement 51, the current status is set as the specified value of the initial status of the DEF statement 51. Next, if the RUTE statement 52 is complete, the route information 21 corresponding to the route name specified in the RUTE statement 52 is read from the route information file 3. Then, the macro name in the route information 21 and the additional information of the ACT sentence 53 are associated with each other using the macro identifier as a key, and the antecedent part of the status rule 27 is created. The premise part and the current status of the created status rule 27 are notified to the status rule access unit 5, and a search request for the conclusion part of the corresponding status rule 27 is made. Upon receiving the search request, the status rule access unit 5 associates the frame 26 with the current status, and among the status rules 27 related to the frame 26, reads the antecedent part of the status rule 27 notified by the status check unit 6. The corresponding status rule 27 is transferred to obtain the conclusion part, and the result is notified to the status check unit 6. The status check unit 6 determines that if the content of the notified conclusion part is a frame name, it is a status transition, updates the current status to the status indicated by the frame name, and performs a status transition such as the status before and after the update. Request the result output unit 7 to output the information. If the content of the conclusion section is a status error, a request is made to the result output section 7 to output an error message.

〔Effect of the invention〕

As described above, the present invention has the following effects by using the comment text in the source list of the debugged program to perform a status check according to the status rule without executing the debugged program.

(1) It is possible to check status transitions even in a non-actual environment.

(2) There is no need to compile or link the program to be debugged.

(3) Able to perform desk check P and machine check.

(4) It can also be used as a simulator regarding status transitions.

(5) It can be used to check the status of various processing systems and is highly versatile.

(6) If you want to change the logic of status transitions, you only need to update the status rules, and the logic of the program is not affected.

[Brief explanation of drawings]

Figure 1 is a configuration diagram of an embodiment of the present invention, Figure 2 is a diagram showing an example of input format for a source list, Figure 3 is a diagram showing an example of input creation of frames and status rules, and Figure 4 is a route information storage format. FIG. 5 is a diagram showing an example of a control statement, and FIG. 6 is a diagram showing an example of a status transition diagram. 1... Source list file, 2... Route information reading section, 3... Route information file, 4... Status rule file, 5... Status rule access section, 6... Status checking section, 7... Result output section, 8... Disk file, 9... Display, 10... Status rule creation section, 11...
Control information file, 12... line printer, 13.
...Magnetic tape, 14...Card reader, 15...
Keyboard with display, 16... Control literary department,
19... Source list, 20... Comment text, 21
...Route information, 22...Source list creation section, 2
6...Frame, 27...Status rule, 28
...Control information, 35...Frame N [L136...
・Frame blockage 2.37...Frame N [L 3.38
...Status rule example, 51...DEF statement, 5
2...RUTE statement, 53...ACT statement. , #2 Figure 3 times

Claims (1)

[Claims] A source list storage means for storing a source list containing route information created in advance, a route information reading means for extracting route information from the stored source list, and a status rule that prescribes logic related to status transition. A status rule storage means for storing in advance, a control information storage means for storing control information created in advance, and a status transition by searching a stored status rule based on the stored control information and the route information. 1. A status check method using a source list, comprising: a status check means for checking the status check; and a result output means for outputting the result of the status check to an output medium.