JPH04342037A - Operand checking system for program - Google Patents

Abstract

PURPOSE:To detect the error of operand description of each instruction without giving a user a programming constraint and in addition, by reading all the instructions of a program only one time. CONSTITUTION:All the instructions of a user program are read, and the size of each file (file size) of a file numbers 0, 1,...4 defined in a subprogram is stored in a file size preservation area 20, and simultaneously, the maximum data number value of each file of the file numbers 0, 1,...4 designated by the operand of the prescribed instruction in the user program is stored in a maximum operand value preservation area 30. Then, the description error of the operand is detected by executing the comparison of size between the file size and the maximum data number value for every above-mentioned file, and checking the presence or the absence of the existance of the operand exceeding the file size.

Description

[Detailed description of the invention]

0001

[Field of Industrial Application] The present invention relates to a program error checking method for checking errors in instructions written in a program executed by a data processing device, a control arithmetic device, etc. Concerning an operand check method for a program that checks.

0002

[Prior Art] In certain data processing devices, control processing devices, etc., the CPU (central processing unit) of these devices
Among the programs executed by the program, there are programs that can write an instruction that defines the size of a data area (data area size definition instruction) and an instruction that uses an arbitrary address within the data area as an operand. When checking for errors (debugging) such a program, first check the user program (
At the source program stage, it is necessary to check whether the address indicated by the operand of each instruction is within the data area defined by the data area size definition instruction.

[0003] The above check has conventionally been performed using the following two methods. (1) First, all instructions in the user program are checked to detect a data area size definition instruction, and the size defined by the detected data area size definition instruction is held in a memory, register, or the like. Next, all instructions in the user program are checked again, and if there is an operand description that exceeds the defined size of the data area held above, the instruction containing that operand is determined to be abnormal, and that instruction is marked as an error. Outputs an error message etc. indicating that something is wrong. ■ When creating a user program, there is a restriction that the data area size definition instruction is written before other instructions, and when checking all the instructions in the user program sequentially from the beginning, the data area size definition instruction is is detected before the instruction, and after checking and retaining the size of the data area defined by the data area size definition instruction, the operands of subsequent instructions are checked, and if the data area size exceeds the data area size confirmed above. If there is an operand, it is determined to be abnormal, and an error message or the like indicating that the instruction including the operand is in error is output.

0004

[Problem to be solved by the invention] However, the above ■
In the method shown in FIG. 1, it is necessary to check all the instructions of the user program twice, so when the capacity of the user program is large, there is a problem that the time required for checking becomes long.

[0005]Also, in the method shown in (2) above, all the instructions of the user program need only be checked once, but there is a drawback in that it imposes programming constraints on the user.

[0006] The present invention allows the user to check the operands of each instruction in a user program in which the size of a data area is defined by an instruction in the program, and an instruction that uses data in the data area as an operand is written. It is an object of the present invention to realize a program operand checking method that can be executed by checking all instructions of a user program only once without imposing programming restrictions on the program.

[0007]

[Means for Solving the Problems] FIG. 1 is a diagram illustrating the principle of the present invention. The present invention is written in a programming language that includes a first instruction that defines the size of a data area, and a second instruction that takes as an operand an arbitrary address within the data area that is executed by the first instruction. It is assumed that a program operand check method is used to check for operand description errors in the second instruction in the program.

In the figure, the first storage means 1 defines the size of each data area defined by all the first instructions in the program. The second storage means 2 stores the maximum address of each data area specified by the operands of all second instructions in the program.

The checking means 3 checks all instructions in the program and stores the data (the size and size of each data area defined by the first instruction) in the first storage means 1 and the second storage means 2. The maximum address of each data area specified by the operand of the second instruction is written, and after the writing is completed, the size of each data area stored in the first storage means 1 and the size of each data area stored in the second storage means 2 are stored. An error in the operand description of the second instruction written in the program is detected based on the maximum specified address of each data area. This operand description error occurs, for example, when the operand of the second instruction specifies an address that exceeds the range of the data area defined by the first instruction.

0010

[Operation] In the present invention, the checking means 1 sequentially reads out all the instructions of the program, for example from the beginning, and each time the first instruction is read, the size of each data area defined by the first instruction ( range) is written into the first storage means 1. Furthermore, when reading all the instructions of the program, the checking means 1 detects the address of any data area specified by the operand of the instruction every time the second instruction is read, and detects the address of any data area specified by the operand of the instruction. The maximum specified address of each data area specified by the operand is written into the second storage means 2. After the reading of all instructions of the program is completed, the size (range) of each data area defined by the first instruction stored in the first storage means 1 is stored in the second storage means 2. The maximum specified address of each data area specified by the operand of the second instruction that is defined is compared individually for each data area, and the maximum specified address of each data area is determined by It is determined whether the size (range) of the data area is exceeded, and if it is, it is determined that there is a second instruction in which the operand is written incorrectly, and, for example, a message to that effect is determined. Notify the user by outputting an error message, etc.

[0011]

Embodiments Hereinafter, embodiments of the present invention will be described with reference to the drawings. FIG. 2 is a diagram illustrating the configuration and operation of an embodiment of the present invention.

First, user program area 1 in memory
The contents of the user program loaded into 2 will be explained. In the above user program, [FILE n, d
max] format is a file size definition command that says, "As a file with number n, an area in which dmax pieces of data are stored is secured as a data area." That is, n: File identification number dmax: Number of data indicating the size of the file (file size). In this instruction, n is the first operand and dmax is the second operand.

In the user program shown in FIG. 3(a), [FILE 3, 5] and [FILE 1
, 7] corresponds to this command, and by executing the command [FILE 1, 7], a file with the file number "1" and the number of stored data of 7 is created in the data area 14 shown in FIG. 14-1, the file number is "3" and the number of stored data is 5 by executing the [FILE 3, 5] command.
Files 14-3 are secured.

[0014] Further, an instruction written in the format [ZZZ→n:d] is an instruction to ``store the result of process ZZZ in the address corresponding to data number d in the file with file number n''. In this instruction, n is the first operand and d is the second operand.

The above processing ZZZ includes, for example, arithmetic processing between two registers or variables. For example, in the user program shown in FIG.
, "P÷Q", and "A×B" (X, Y, P, Q, A, B are arbitrary registers or variables, etc.) are applicable.

Therefore, for example, "X+Y→2:3"
The instruction is register (variable) X and register (variable)
The added value with Y is calculated in the area corresponding to data number 3 in the file with file number 2 provided in the data area 14 (
This specifies the process of storing the data at the address).

In order to manage the size of each file defined by the above file size definition command, a file size storage area 20 shown in FIG. 2C is provided in a predetermined area in the memory. In the user program of this embodiment, the file number that can be defined is "0".
” to “4”, and as shown in the same figure (c), for each file having each file number from “0” to “4”, a separate file size storage area
1 (21-0 to 21-4) are provided.

Furthermore, as shown in FIG. 3(d), the maximum data number (
corresponding to the file size), file number n (n=
0, 1, 2, 3, 4) is provided in a predetermined area in the memory. Similar to the file size storage area 20, this maximum operand value storage area 30 also has individual maximum operand value storage areas for each file having file numbers "0", "1", ... "4". 31 (31
-0 to 31-4) are assigned.

Next, the operation of the embodiment having the above configuration will be explained with reference to the flowchart shown in FIG. First, file size storage area 20 and maximum operand value storage area 3
After initializing 0 (clearing to 0) (S1), the start address of the user program area is set as a check address (S2).

[0020] Next, the instructions stored at the check address are [FILE n, dmax], "X
XX→n:d" or some other command (S3).

[FILE n, dmax]
If it is a file size definition command in the format of The number of existing data dmax is written and registered (S4).

On the other hand, if the instruction is in the format [XXX→n:d], the maximum value operand corresponding to the file with the file number "n" specified by the instruction in the maximum value operand value storage area 30 is stored. The data number d specified by the above command is written and registered in the area 31-n (S5). Further, no processing is performed for other commands.

The above processes S3 to S5 are performed for all instructions in the user program area while sequentially incrementing the check address by "1" (S7), and the above processes S3 to S5 are performed for the last instruction of the user program. When it is determined that the processing of ~S5 has been completed (S6), the maximum number of data dmax stored in each file size storage area 21 in the file size storage area 20 and the maximum operand storage area 3 are determined.
The values stored in the maximum operand value storage area 31 within 0 are compared for each file number, and the file size value > the maximum operand value, that is, the maximum operand value is It is determined whether there is a file number exceeding the number dmax (S8).

If there is a file number that exceeds the defined file size, the user program is in error, and error processing is performed to output an error message to that effect. (S9).

When the above operation is performed on the user program shown in FIG. 20, the maximum operand value storage area 30 is shown in (c) and (d), respectively.
) is written. That is, [F
By reading the instructions ILE 3, 5] and [FILE 1, 7], as shown in FIG. The value "5" is rewritten in the file size storage area 21-1 of file number 1 as data indicating the file size. Also,
By reading the instructions [X+Y→3:3] and [A+B→3:10], the maximum operand value storage area 31 of file number 1 of the maximum operand value storage area 30 is ─1 has a value of "3", file number 3
A value of "10" is written to the maximum value operand storage area 31-3.

[0026] Then, by performing the process S8,
An instruction with file number 3 as the operand (first operand) returns the defined size (
=5) is detected. In other words, in the user program, the second operand is data number 10.
It is detected that the command [A×B→3:10] that specifies the command is incorrect.

[0027]

[Effects of the Invention] According to the present invention, by checking all the instructions of the user program once without giving the user programming constraints, the data area whose size is defined in the user program can be changed to an operand. You can check for operand description errors in the specified instruction.

[Brief explanation of drawings]

FIG. 1 is an explanatory diagram of the principle of the present invention.

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

FIG. 3 is a flowchart illustrating the operation of the above embodiment.

[Explanation of symbols]

1 First storage means 2 Second storage means 3. Checking means

Claims (1)

[Claims] Claim 1: Written in a programming language comprising a first instruction that defines the size of a data area, and a second instruction that takes as an operand an arbitrary address within the data area defined by the first instruction. In a program operand checking method for checking operand description errors in the second instruction in a program, a first storage means stores the size of each data area defined by all the first instructions in the program. (1), a second storage means for storing the maximum address of each data area specified by the operand of all the second instructions in the program, and checking all instructions in the program;
The data is written into the first storage means and the second storage means, and after the writing is completed, the size of each data area stored in the first storage means and the data stored in the second storage means are determined. and checking means for detecting an operand description error in the second instruction written in the program based on the maximum specified address of each data area in the program. method.