JPH03265941A - Interface verification processing system - Google Patents

Abstract

PURPOSE:To verify the matching properties of interfaces with high efficiency for the tests of modules, etc., by inputting 1st and 2nd assemblies to the assembly computing mechanisms of an inspection part in order to carry out a prescribed assembly operation and outputting the prescribed information showing an assembly of the computing results. CONSTITUTION:An information collecting part 1 collects the identification infor mation of all external information for which a module 3 has the necessary accesses and defines a 1st A assembly 4. Then the part 1 collects the identifica tion information of all external information for which a module group 5 includ ing one or more modules except the relevant one have the necessary accesses and defines a 2nd B assembly 6. Thus, both assemblies 4 and 6 are obtained. An inspection part 2 owns an assembly computing mechanism 7 and inputs both assemblies 4 and 6 to an assembly computing mechanism 7 to carry out a prescribed assembly operation. Then, a deciding part 8 outputs the prescribed output information 9 showing the assembly of computing results. Thus, the matching properties of interfaces can be verified with high efficiency for the tests of modules, etc.

Description

[Detailed Description of the Invention] [Summary] This invention relates to a processing method for verifying consistency between modules in interfaces where program modules exchange information with the outside. Aiming at an interface verification processing method that can efficiently verify consistency, it has an information collection section and a verification section, and the information collection section is configured to check all the information that a given module has access to. The identification information of external information is collected as a first set, and the identification information of all external information accessed by a module group consisting of one or more given modules other than the module is collected and set as a second set. generating first and second sets for reference access on one side and definition access on the other side of the module and the group of modules as a set;
The verification unit has a set operation mechanism, inputs the first and second sets to the set operation mechanism, executes a predetermined set operation, and outputs predetermined information indicating the set of the operation results. Configure it to do so.

[Industrial application field]

The present invention relates to an interface verification processing method for verifying consistency between modules in an interface through which program modules and the like exchange information with the outside.

[Problems to be solved by conventional technology and inventions] When developing a computer program, as the scale of the program increases, it is well known that the program is divided into multiple modules and the information exchanged between the modules is divided into multiple modules. The usual method is to create each module individually to satisfy the interface conditions, and then combine those modules to complete the desired program.

In such a case, if the so-called unit tests for each module do not sufficiently remove errors, it will become increasingly difficult to find the cause of errors even if they are detected in tests after module integration. , it is well known that error detection itself becomes difficult.

Therefore, it is necessary to perform sufficient unit tests to confirm that the module is error-free as much as possible, but at that testing stage, other modules that have interfaces with the target module are generally at the same development stage, so
The interface will be checked by decoding the program, and by executing tests combined with temporary modules provided for testing.

However, such checks and the creation of temporary modules are performed based on the processing assumed for the module under test and adjacent modules, so it is easy for tests to be omitted and requires a relatively large amount of man-hours. There's a problem.

Also, when inserting or deleting a document for document editing work rather than program development, the font size, font, line spacing, and other document control information of the document may differ from other documents due to insertion/deletion. The problem of checking the influence on a part can be treated as an interface consistency problem similar to the above.

An object of the present invention is to provide an interface verification processing method that can efficiently verify the consistency of an interface for testing modules and the like.

[Means to solve the problem]

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

The figure shows the configuration of the interface verification processing method.
The first invention shown in FIG. The identification information of external information is collected into a first set, A set 4, and the identification information of all external information that is accessed as required by a module group 5 consisting of one or more given modules other than the module is collected. Collect B, which is the second set
As set 6, A set 4 and B set 6 are generated for one reference access and the other definition access of module 3 and module group 5, and verification unit 2 generates set
The A set 4 and the B set 6 are input to a set operation mechanism 7, a predetermined set operation is executed, and a determination unit 8 outputs predetermined information 9 indicating a set of the operation results.

Further, in the second invention shown in FIG. 1(b), the information collecting section 1
0 is inserted in the first document and at the specified position in the first document,
Or, given the predetermined document control information 11.12 of the second document to be deleted from the specified position, the first set A from the document control information 11 determined for the specified position 13.
A second set 14 is generated, and the document control information determined about the end of the second document is obtained after the second document is inserted into the specified position or before the second document is deleted from the specified position. Generate set 15 and combine A set 14 and B as described above.
The set 15 is input to the verification unit 2, and processing based on set operations is executed, and information 16 is output.

A subset consisting of reference elements and a subset consisting of definition elements obtained as . Therefore, the output makes it easy to verify the interface.

Furthermore, the processing method of the second invention ensures consistency of font size, font, stitching, chapter number, and other document control information between the inserted/deleted document and the original document during document editing. , it will also be possible to verify efficiently and reliably.

[For production]

With the processing method of the present invention, between modules or between a module and a module group of all other modules in the system to which that module belongs, the consistency state of external information referenced by one and external information defined by the other is checked. /
As a result of a set operation of a set obtained by automatically collecting identification information of external information to be defined, for example, a subset or a difference set that becomes a common set [Example] The information collecting unit 1 in FIG. 1(a) is given By scanning the source program code of the module 3 to be tested in the program and the module group 5 that has a module that has an interface with it, it is possible to define whether data declared as an external variable is referenced. For example, for module 3, the data name of the referenced data is collected as identification information, and an A set 4 having the data name as an element is created. For the module group 5, a similar process is performed to create a B set 6 based on the data names of external variables defined in those modules.

The verification unit 2 uses the set operation mechanism 7 to calculate, for example, the common set C=AnB, the difference set D, =A-B and D! for the A set 4 and the B set 6. Find =B-A.

The determination unit 8 outputs the results C, D, D2 as output information 9, and also performs the following determination and attaches the determination result to the output. That is, j) If C≠φ, D+=Dt=φ (however, φ is an empty set), then as shown in the explanatory diagram of FIG. 2(a), the A and B sets match, It is determined that there is no discrepancy between the reference and definition.

1i) If C≠φ, D1≠φ, Dt=φ, then Fig. 2 (
As shown in b), when A includes B, it is determined that undefined data is referenced.

ii) If C≠φ, D, =φ, D2≠φ, then A is included in B, as shown in FIG. 2(C),
Determines that there is data that is defined but not referenced.

1v) If C≠φ, D1≠φ, D2≠φ, then Fig. 2 (
As shown in d), when A and B partially overlap, it is determined that there is data that is not defined or data that is not referenced even if defined.

v) If C=φ, D1≠φ, and D2≠φ, it is determined that common information is not exchanged between both modules.

After the above, if necessary, by reversing the relationship between reference and definition and performing the same verification process, it is possible to verify the interface between the reference side and the definition side for the module under test.

In the above explanation, for module 3 to be tested,
This is an example of testing the relationship with a module group 5 that generally consists of a plurality of modules. This corresponds, for example, to testing the interface between a certain program system and one module therein. However, a test using similar processing can be applied in exactly the same way to verify the interface between two modules, assuming that the module group 5 consists of one module.

Further, in the above example, the information collection unit 1 obtained information from the source program code, but it analyzes the program for the module of the target program code, detects cases where a storage area other than the internal area of the module is accessed, The address may be collected as identification information of the access destination.

The processing method shown in FIG. 1(b) may be incorporated, for example, as part of a document creation system, resulting in a document 2 as shown in FIG.
When inserting document 21 between document 20 and document 22 of the first document consisting of consecutive 0 and document 22, or document 20
．． 21. When deleting document 21 from one consecutive document in the order of 22, the font size, font, formatting, chapter number, and other document control information for document 22 are changed before and after inserting or deleting document 21. This constitutes a function to check whether consistency is maintained.

Therefore, when the information collection unit 10 receives the document control information 11 set in the document 20 and the document control information 12 set in the document 21, the information collection unit 10 inputs the document control information 11 to the document 21. A set 1 as a set of document control information
Generate 4. Also, from the document control information input to the document 21 and the document control information 12 set in the document 21, a set B is created as a set of document control information 17 to be saved at the end point of the document 21 and input to the document 22. Generate 15.

Regarding the A set 14 and the B set 15, the verification unit 2 executes a set operation by the set operation mechanism 11 in the same manner as described above, and the determination unit 8 outputs the operation result and a judgment based on the operation result as output information 16. However, in this case, using the same symbols as above, there is no problem if C≠φ, D+=D*=φ, but if you get other results,
A warning is given that it is necessary to investigate whether there is an effect on Dl or DL.

〔Effect of the invention〕

As is clear from the above description, the present invention has a remarkable industrial effect in that it is possible to efficiently verify the consistency between modules in an interface through which program modules exchange information with the outside.

[Brief explanation of drawings]

FIG. 1 is a block diagram showing the configuration of the present invention, FIG. 2 is an explanatory diagram of set operation results of the present invention, and FIG. 3 is an explanatory diagram of verification during document editing. In the figure, 1.10 is the information collection unit, 3 is the module, 5 is the module group, 7 is the set calculation mechanism, 9.16 is the output information, 13 is the specified position, 2 is the verification unit, 4.14 is the A set, 6.15 is B set, 8 is determination unit, 11.12 is document control information, 20.21.22 is document (a) (bl Block diagram showing the configuration of the present invention FIG. 1

Claims (1)

[Claims] 1. The information collecting unit (1) has an information collecting unit (1) and a verifying unit (2), and the information collecting unit (1) allows the module to obtain required access information from a given module (3). A first set (4) is created by collecting the identification information of all external information that is accessed by a module group (5) consisting of one or more given modules other than the module. The identification information of the module (3) and the module group (5) are collected as a second set (6), and the first and second sets (4, 6), the verification unit (2) has a set operation mechanism (7), and the first
and the second set (4, 6) to the set operation mechanism (7), performs a predetermined set operation, and outputs predetermined information indicating the set of the operation results (8). An interface verification processing method characterized by: 2. The information collection unit (10) collects predetermined document control information (11, 12) for the first document and the second document to be inserted into or deleted from the specified position of the first document. given, the document control information (
Generating a first set (14) from 11) and obtaining the document control information that is determined about the end of the second document after inserting the second document at the specified position or before deleting the second document from the specified position. The interface verification processing method according to claim 1, wherein the second set (15) is generated by