JPH0276029A - Coincidence checking method among source, object and load modules - Google Patents

Abstract

PURPOSE:To prevent correspondence between a module itself and source control information from being missed by outputting comparing list between a source and an object and between the source and a load, confirming these two lists, and checking coincidence among respective source, object and load modules. CONSTITUTION:The source module is complied or the object module is prepared by an assemble program. Simultaneously, the source control information is also outputted. These object module and source control information 21 are housed in a same pack and after that, for the object module, the load module is prepared by a linkage edit program 22. Simultaneously, source control information 23 is also outputted and these load module and source control information 23 are housed in the same pack. When the coincidence is checked, both bits of information are outputted from the same pack and checked. Thus, since the respective modules themselves and correspondent source control information are housed in the same pack, the correspondence is not missed and the coincidence check can be executed without fail.

Description

DETAILED DESCRIPTION OF THE INVENTION [Field of Industrial Application] The present invention relates to a method for reliably and easily verifying correspondence between a source module, an object module, and a modified source module when a source module is modified. .

[Conventional technology]

Conventionally, when providing a program after modifying a source module, there was no way to prove that the load module was created from the corresponding source module.

A source module is a document written in a programming language and is the basis of a program, and is stored on a tape, card, magnetic disk, or the like. An object module is created by editing the language group read from this source module by compiling or assembling. Furthermore, a load module is created by putting the object module into a state where it can be immediately used as a program using a linkage editing program. Here, it is assumed that the source, object, and load modules are all stored in a magnetic disk device.

By the way, when creating an object module from a source module and a load module from an object module, many modules are created at the same time, so the creation process for the former and the latter is done by different personnel, and it also takes a lot of time. They are often created at different times and locations, and in different rooms.

For this reason, when a source module is modified when providing a program, an object module may be created from the modified source module, and an object module may be created from the source module before modification, without creating a load module. If the modification is made multiple times, check whether object modules and load modules have been created from all modified source modules.
It was not possible to verify the accuracy of the test, and there were problems with reliability.

Therefore, in order to eliminate such problems, source.

A method of verifying the consistency of object and load modules has been proposed (for example, Japanese Patent Application Laid-Open No. 61-226846
(see publication). In the above method, generation information about a source module is associated with an object module created from that source module, stored in an object module management data set, and then associated with a load module created from the object module, Store the source module generation information in the load module management data set. Thereby, matching verification can be performed by searching the generation information of the source module corresponding to the object module and the load module.

[Problem to be solved by the invention]

However, in the conventional method described above, in order to verify the match between sources, objects, and load modules, it is necessary to provide an object module management data set and a load module management data set, respectively, which requires extensive preparation and hardware. Must. Furthermore, since the actual object module itself, the load module itself, and the management data set are separate, there is no guarantee that the module and the management data set can be reliably associated. If possible, it is desirable to be able to perform match verification without separately providing extra data.

The purpose of the present invention is to solve such conventional problems, to avoid creating separate and independent data, and even when data is created, it is possible to reliably associate it with each module, and to easily create sources and objects. .

The object of the present invention is to provide a method for verifying consistency between a source, an object, and a load module that can perform consistency verification for each module of a load.

[Means to solve the problem]

To achieve the above object, a sauce according to the present invention.

The matching verification method between objects and load modules is as follows:
Compile or assemble the source module to create an object module, and at the same time create source management information from the source module using a program that sets source management information, and store the object module and source management information in the same pack. After that, create a load module from the object module using the linkage editor, store the load module and the source management information in the same pack, and check the information between the source and the object module and between the source and the object module using the source and object verification program. The feature is that each match between the source and the load module is verified by a verification program.

[For production]

In the present invention, when an object module is created by compiling or assembling a source module, source management information is also output, and after storing the object module and source management information in the same pack, the object module is loaded into a linkage nib. At the same time as a load module is created by a load module, source management information is also output, and these load modules and source management information are stored in the same pack, and when verifying matching, image information is output from the same pack for verification. As a result, since each module itself and the corresponding source management information are stored in the same pack, there is no mistake in correspondence, and matching can be verified reliably.

The present invention consists of the following two steps of processing. That is, (
i) Output source management information into an object module when compiling or assembling a source module. Furthermore, enter the above object module in the linkage editor.

Outputs source control information also in the load module. (
ii) Based on the information on the source module itself and the source management information in the object module, a match between the source and object is verified and a comparison list is output. In addition, we verify the consistency between the source and load based on the information on the source module itself and the source management information in the load module.
Output comparison list.

〔Example〕

Hereinafter, embodiments of the present invention will be described in detail with reference to the drawings.

FIG. 1 is a flowchart showing the flow of processing according to an embodiment of the present invention.

First, the source module is modified and stored in the source module pack 6 (step 10).

Next, by assembling or compiling the source module 6, an object module is created and stored in the object module pack 7 (step 11). Next, the source management information setting program acquires source information from the source module 6 and stores it as source management information in the object module 7 (step 12). Next, a load module is created from the object module 7 using the linkage editor program, and this is stored in the load module pack 8 (step 13). At the same time, obtain the source information in the object module 7 and output it as source management information to the load module 8,
This is stored (step 13). In the case of matching verification, the source module 6 and the object module 7 are compared using the source and object verification programs (step 14), and the comparison results are used as the source and object verification programs.
Output as an object comparison list (step 15
).

Also, the source and load verification program compares the information of the source module 6 and the load module 8 (step 17), and the comparison result is used as the source.

Output as a load comparison list (step 18).

Finally, by checking both comparison lists, the source,
Matching of objects and load modules can be verified (step 19).

FIG. 2 is an explanatory diagram showing a procedure for creating an object and a load module including source management information according to the present invention.

In FIG. 1, the procedure for creating an object module 7 and a load module 8 containing source management information from a source module 6 is shown.

As shown in FIG. 2, processing begins with respect to the source module 6 and object module 7.

First, the source module 6 is compiled or assembled to create the object module 7, and then the source management information setting program 20 outputs the source management information into the object module 7, and the object module pack 21 containing the source management information is created. complete. Next, the linkage editor program 2
2, a load module is created and stored in the load module pack 23, and source management information is read from the pack 21 in which object modules and source management information are stored, output as is to the load module pack 23, and this is Store. In this way, the source management information can be stored in the same pack as the object module and the load module, respectively, as corresponding source management information, without having to be stored in a separate pack. As a result, there will be no mistakes in handling.

FIG. 3 is an explanatory diagram for comparing objects and load modules and source information in the present invention.

The object module 21 created according to FIG. 2 and the source module 6 are compared by a source/object verification program 24, and a source/object comparison list 15 is output. In the same way, the load module 23 and the source module 6 are compared by the source/load verification program 25, and the source/load comparison list 18 is output. Comparison list of these two 15.1
By checking 8, the source,object.

You can perform matching verification for each loaded module.

〔Effect of the invention〕

As explained above, according to the present invention, a comparison list of source and object and source and load is output, and by checking these two lists, the consistency verification between the source, object, and load modules is performed. This makes it possible to prevent accidents due to load module creation errors when providing programs, and since the source management information is stored within each module itself without being provided separately from each module itself, the module itself and source control information.

[Brief explanation of the drawing]

FIG. 1 is a flowchart of a matching verification process between modules showing an embodiment of the present invention, FIG. 2 is a diagram showing a procedure for creating an object module and a load module including source management information in the present invention, and FIG. It is an explanatory diagram of comparison processing of object 1 to module, a load module, and a source module in the present invention. 6: Source module pack, 7: Object module pack, 8: Load module pack, 15
: Source, object comparison list, 18: Source, load comparison list, 21: Pack of object modules including source management information, 23: Pack of load modules including source management information, 20: Source management information setting program, 22 Linkage editor program,
24: Source, object verification program; 25: Source, load verification program. Patent applicant: Hitachi, Ltd. Figure 1

Claims (1)

[Claims] 1. Compile or assemble the source module to create an object module, and at the same time create source management information from the source module using a program that sets source management information, and pack the object module and source management information in the same pack. Then, a load module is created from the object module using a linkage editor, and at the same time, the load module and the source management information are stored in the same pack, and the source and object verification program checks the information between the source and the object module and the source. A method for verifying a match between a source, an object, and a load module, characterized in that each match between the source and the load module is verified by a load verification program.