JPH0782433B2 - How to confirm the comparison instruction when converting the program - Google Patents

Description

The present invention relates to a confirmation method when converting a program of an electronic computer.

When replacing the central processing unit with another machine with a different architecture in an information processing system, the programs used up to now are all valuable software assets that have been proven so that they can be processed by a new machine. I have to convert.

The present invention relates to a method for verifying whether this conversion was done correctly.

[Prior Art] Conversion of programs for replacement of architectures with different computers is currently being developed by various conversion programs.

However, especially in the case of area-variable conversion, such as conversion from a word machine (for example, a machine that handles 2 bytes as one unit) to a byte machine, the contents of the data definition part will change significantly. Due to such changes, the procedure section (one of the four sections that make up the source program,
It is extremely difficult to convert the comparison instruction in (the calculation procedure is described). Therefore, there were many conversion omissions that could not be converted correctly.

For example, in the compiler language COBOL, if "A
If the comparison command is based on a conditional command such as "If is a 1-digit character," it is written as A = A'A 'in the data definition part, but the data item length changes when the program is converted from word system to byte system. , A = 'AΔ' (Δ indicates a space), a conversion error occurs.

In the past, in order to confirm the program conversion, the converted program was applied to a program analysis tool to analyze the data definition part and the procedure part respectively. However, regarding the comparison instruction, the conversion of the data definition part and the conversion of the procedure part were performed. Since it was difficult to synchronize the, it was impossible to confirm universally, and there was no way to actually debug it by inserting data.

[Problems to be Solved by the Invention] As described above, according to the conventional confirmation method for the program conversion of the area variable type, there is no universal confirmation method for the comparison instruction, and therefore, it is often used for debugging. It took a long time.

The present invention is intended to provide a novel method for confirming the comparison instruction at the time of this program conversion.

[Means for Solving Problems] Regarding the above problems, the program before conversion and the program after conversion are separately applied to a program analysis tool to analyze each data definition section and procedure section, and The instruction and the data targeted by this instruction, the instruction of the converted program corresponding to the instruction, and the comparison instruction before and after the conversion, in which the data and the data item targeted by this instruction are searched and matched This is solved by the comparison instruction confirmation method at the time of program conversion of the present invention configured to compare and verify the data lengths of the data to be verified and to inspect based on a predetermined rule.

[Operation] That is, in this method, both the program before conversion and the program after conversion are applied to the program analysis tool, and the command in the program before conversion and the data targeted by this are
The converted instruction corresponding to the instruction is compared and collated with the four parties of the data that is the target of this instruction, and depending on the conditions between these four parties, a rule is determined as to whether it is an error or OK, and the inspection is performed.・ To confirm.

[Examples] The gist of the present invention will be specifically described below with reference to Examples shown in Figs. 1 and 2.

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

In the figure, 1 is a program before conversion, which has already been verified by actual operation on a previous computer. Reference numeral 2 is a program at the time of conversion, which has been converted by an automatic conversion program, but it is necessary to confirm and check especially the comparison instruction.

Reference numerals 3 and 4 are program analysis tools. For the pre-conversion program 1, the data definition part is analyzed by the data part analysis 5, and the procedure part is analyzed by the procedure part analysis 6, and each data item, data item length, Data item attribute information is extracted, and the procedure division is analyzed by the procedure division analysis 6 to extract instruction type and data item (definition item instruction) information. Also in the converted program 2, the data definition part is analyzed by the data part analysis 7 and the data item name,
The information of the data item length and the data item attribute is extracted, and the procedure division is analyzed by the procedure division analysis 8 to extract the information of the instruction type and the data item name (definition item instruction).

The comparison command confirmation unit 9 searches the information obtained by the above-mentioned analysis using the data item name as a key and matches the command, the command in the program before conversion, the data targeted by this command, and the conversion corresponding to the command. The command in the later program and the four parties of the data targeted by this command are compared and collated, and checked and confirmed according to certain rules.

The result of the inspection / confirmation by the comparison command confirmation unit 9 is output as a confirmation list 10.

An example of certain rules for this inspection / confirmation is shown in FIG. Fig. 2 shows an example of rules for inspection and confirmation when comparing by IF command in COBOL.

(A) is a conditional instruction that the instruction is IF A = 'A', that is, "if A is a one-digit character and the value is A", and the target data A before conversion is X. In the case of (1), if X (2) is obtained after the conversion, that is, if a one-digit character becomes a two-digit character due to the area change after the conversion, an error is generated. This is because the converted instruction must be modified as IF A = 'AΔ' (Δ indicates a space).

(B) is a conditional instruction that the instruction is IF A = 1, that is, “if A is a numerical value 1”, and the target data A before conversion is 9 (1), If it becomes 9 (2) later, that is, if the 1-digit numerical value becomes the 2-digit numerical value due to the area change after conversion, the confirmation is OK.

This is because the instruction may be IF A = 1 or IF A = 01.

[Effects of the Invention] As described above, according to the present invention, it is possible to perform inspection / confirmation at the time of area conversion type program conversion, which has been impossible in the past, thereby improving the productivity of program conversion and improving the quality. It can be expected, and its practical effect is great.

BRIEF DESCRIPTION OF THE DRAWINGS FIG. 1 is a functional configuration block diagram of an embodiment of the present invention, and FIG. 2 is a diagram showing an example of confirmation rules. In the drawing, 1 is a program before conversion, 2 is a program after conversion, 3 and 4 are program analysis tools, 5 and 7 are data section analysis, 6 and 8 are procedure section analysis, 9 is a comparison command confirmation section, and 10 is a confirmation list. , Respectively.

Claims (1)

[Claims] 1. A confirmation method at the time of program conversion for use on a computer having a different architecture, wherein a program before conversion and a program after conversion are individually applied to a program analysis tool to respectively define a data definition section and a procedure. Each part is analyzed, and the command of the program before conversion and the data targeted by the command and the command of the program after conversion corresponding to the command and the data targeted by the command are data item names as keys. It is configured to search and match, and compare and collate the data length of the target data by the comparison command before and after conversion, and to inspect those that do not match the length based on the predetermined data item attribute. Characteristic method for confirming comparison instructions during program conversion.