JPH04263338A - Automatic check system for data value of debugger - Google Patents

Abstract

PURPOSE:To shorten the debug processing time by checking automatically the data value during the debug processing process. CONSTITUTION:A source program analyzing means 1 analyzes a source program 5 where a declaration sentence including a comment for check of the data value and produces a table specification data base 7 and an object program 5. An automatic table check test means 3 loads and executes a load module 6 where some programs 5 are linked together and checks automatically the propriety of the data value contained in the module 6 by reference to the base 7.

Description

[Detailed description of the invention]

0001

[Field of Industrial Application] The present invention relates to an interactive debugger that supports program testing, and in particular, automatic checking of data values in a debugger that automatically checks the validity of data values related to a program to be debugged. Regarding the method.

0002

2. Description of the Related Art Conventionally, interactive debuggers that support program testing only display data values related to the program to be debugged, leaving the user to check their validity.

0003

[Problems to be Solved by the Invention] In the conventional debugger described above, the data value is only displayed, and the user must perform work to check the validity of the data value, so the debugging process This has the disadvantage that it increases the time required to test the program.

In view of the above points, an object of the present invention is to provide an automatic check method for data values in a debugger that can automatically check the validity of data values in the process of debugging and shorten the time required for debugging. Our goal is to provide the following.

[0005]

[Means for Solving the Problems] The automatic data value checking method in the debugger of the present invention analyzes a source program in which a declaration statement with comments for checking data values is written, and analyzes a table specification database and objects. A source program analysis means for creating a program, and a load module to which the object program created by the source program analysis means is linked is loaded and executed, and the table specification database created by the source program analysis means is referred to and the object program created by the source program analysis means is linked. and table automatic check test means for automatically checking the validity of data values in the load module.

[0006]

[Operation] In the automatic data value checking method in the debugger of the present invention, the source program analysis means analyzes a source program in which a declaration statement with comments for checking data values is written, and generates a table specification database and an object program. The table automatic check test means loads and executes the load module to which the object program created by the source program analysis means is linked, and refers to the table specification database created by the source program analysis means to check the load module. Automatically check the validity of the data values inside.

[0007]

DESCRIPTION OF THE PREFERRED EMBODIMENTS Next, the present invention will be explained in detail with reference to the drawings.

FIG. 1 is a block diagram showing the structure of an embodiment of an automatic data value checking method in a debugger of the present invention. The automatic data value checking method in the debugger of this embodiment includes a source program analysis means 1,
The program includes an object program linking means 2 (linkage editor), an automatic table check test means 3, a source program 4, an object program 5, a load module 6, and a table specification database 7. The solid arrows in the figure indicate the flow of control, and the dashed arrows indicate the flow of data.

FIG. 2 is a flowchart showing the processing of the source program analysis means 1. This process consists of a source code reading step 21, a source program end determination step 22, a declaration statement determination step 23, a specification data record creation step 24, and an object code creation step 25.

FIG. 3 is a diagram showing the structure of specification data records in the table specification database 7. As shown in FIG. The specification data record has a data name 31, a data value number 32, and N
(positive integer) data values 33.

FIG. 4 is a flowchart showing the processing of the table automatic check test means 3. This process includes a command acquisition step 41, an end determination step 42, a data check determination step 43, a load module execution etc. step 44, and a data value check step 45.

Next, the operation of the automatic data value checking method in the debugger of this embodiment configured as described above will be explained.

The source program analysis means 1 performs the following processing.

First, the source code is read from the source program 4 (step 21).
end determination (whether or not the source code to be read still remains in the source program 4, that is, step 21)
(Determining whether the source code could be loaded with
(Step 22).

If it is determined that the source program 4 is not finished (if the source code could be read in step 21), it is determined whether the source code is a declaration statement (step 23).

[0016] If the source code is a declaration statement in this judgment, the comment in the declaration statement (comment for checking the value of data related to the data declared in the declaration statement) is analyzed, and the comment is A corresponding specification data record is created in the table specification database 7. In other words, the specifications of the data in the comment (some data values that the data may take)
is analyzed, and the data name 31 of the data, the number of data values 32 indicating the number of possible data values, and N data values 34 indicating the value of each data are set in the specification data record (step 24). Note that since no comments exist for data that does not require checking, there is no need to create a corresponding specification data record.

If it is determined in step 23 that the source code is not a declaration statement (if it is an executable statement), an object code corresponding to the executable statement is created in the object program 5 (step 25).

When the process of step 24 or 25 is completed, the process returns to step 21, reads the next source code from the source program 4, and repeats the above process.

Source program 4 is determined in step 22.
If it is the end (if no source code to be read remains in the source program 4), the process ends.

The object program combining means 2 creates a load module 6 by linking some of the object programs 5 created through the processing by the source program analysis means 1 as described above.

In the process of debugging the load module 6, the table automatic check test means 3 performs the following processing (the table automatic check test means 3 performs the process in an interactive manner with the user).

First, a command specified by the user in an interactive format is obtained (step 41), the command is analyzed, and it is determined whether the command instructs termination (step 41).
end determination) is performed (step 42).

[0023] In this judgment, if the command instructs termination, the process is terminated.

If it is determined in step 42 that the command does not instruct termination, it is determined whether the command instructs data check (data check determination).
(Step 43).

[0025] In this judgment, if the command instructs data check, the table specification database 7
, and performs a data value check related to the instruction (step 45). That is, table specification database 7
Obtain the data value 33 in the corresponding specification data record (the specification data record whose data name 31 has the data name specified in the instruction), and load the data value 33 that is being executed into some of the obtained data values 33. Check whether there is a match with the data value in module 6 (if there is a match, the validity of the data value has been confirmed), and notify the user of the check result. do.

If it is determined in step 43 that the command does not instruct data checking, the load module 6 is executed based on the command, and the debugging process proceeds (step 44).

When the processing in step 44 or 45 is completed, the process returns to step 41, obtains the next command, and repeats the above-described processing.

[0028]

[Effects of the Invention] As explained above, the present invention automatically checks the validity of data values in the process of debugging, thereby reducing the time required to test a program related to the data to be checked. This has the effect that debugging processing can be performed efficiently.

[Brief explanation of the drawing]

FIG. 1 is a block diagram showing the configuration of an embodiment of the present invention.

FIG. 2 is a flowchart showing the processing of the source program analysis means in FIG. 1;

FIG. 3 is a diagram showing the configuration of specification data records in the table specification database in FIG. 1;

FIG. 4 is a flowchart showing the processing of the table automatic check test means in FIG. 1;

[Explanation of symbols]

1 Source program analysis means 2 Object program combination means 3 Table automatic check test means 4 Source program 5 Object program 6 Load module 7 Table specification database 31 Data name 32 Number of data values 33 Data value

Claims (1)

[Claims] Claim 1: Source program analysis means for analyzing a source program in which a declaration statement with comments for checking data values is written, and creating a table specification database and an object program; A table automation system that loads and executes a load module to which an object program has been linked and automatically checks the validity of data values in the load module by referring to the table specification database created by the source program analysis means. 1. A method for automatically checking data values in a debugger, comprising a check test means.