WO2007072652A1

WO2007072652A1 - Program processing pattern automatic analysis processing device

Info

Publication number: WO2007072652A1
Application number: PCT/JP2006/323434
Authority: WO
Inventors: Syunichi Niihara
Original assignee: Syunichi Niihara
Priority date: 2005-12-22
Filing date: 2006-11-24
Publication date: 2007-06-28
Also published as: JPWO2007072652A1

Abstract

A program processing pattern automatic analysis processing device (10) includes a branch condition analysis processing unit (23) which handles each of tangled branches contained in an inputted source program PR1 as an independent branch and sets a processing procedure of the independent branch for analyzing the branching condition. The branch condition analysis processing unit (23) creates a management table TB1 indicating the analysis result of analyzing the processing procedure for each of the processes performed when the branching condition is true and false. The processing procedure described in the source program code is automatically analyzed. Thus, the program processing pattern automatic analysis processing device (10) reduces a man-caused mistake and improves the work efficiency in the program development and the system development as well as provides measurement means of quantitative quality so as to support improvement of quality of a program and a system.

Description

Specification

Program processing pattern automatic analysis processor

Technical field

The present invention relates to a program processing pattern automatic analysis processing apparatus, a program processing pattern automatic analysis processing method, and a program processing pattern automatic analysis processing program that automatically analyze a processing procedure described in a source program code. Program processing pattern automatic analysis processing device and program processing pattern automatic that automatically analyze the processing procedure for each branch condition described in the source program code including the branch processing (hereinafter referred to as processing pattern! /) The present invention relates to an analysis processing method and a program processing pattern automatic analysis processing program. Background art

[0002] Conventionally, program development has been performed for a) creation of a source program based on a program design document, b) unit test, c) combination test or combination test that is performed by combining a plurality of linked and operating programs. It is done in order.

[0003] a) When creating a source program, a programmer creates a document describing a function-based processing pattern based on a program design document, and creates a processing procedure for the source program according to the function-based processing pattern. After confirming that the source program has been received, the source program is converted into a format that can be executed by a computer.

[0004] In addition, in b) unit testing, a programmer creates a test result verification document by hand that can compare input data and output results for each processing pattern, and the unit test computer on which the program runs After creating the environment, create test data according to the verification document. In unit tests, the quality of the program is confirmed by having the computer execute the program and comparing the execution results with the contents of the verification document.

[0005] In unit testing, all program step-based processing patterns should be verified and used as a measure of quality as coverage (coverage rate) information. Since the work is enormous, coverage information with the total number of executed instructions as the numerator and the branch instruction used in the source program can be easily calculated using the total number of instructions used in the source program as the denominator. Coverage information with the total number of branch instructions executed as the denominator and the total number of branch instructions executed as the numerator is used. However, since all of these coverage information is not related to the program step-based processing pattern, it is used as a guideline and is just a matter of fact!

[0006] Furthermore, c) for combination tests and comprehensive tests, etc., based on the basic design document and system design document, function-based processing pattern documents are converted into system changes (hereinafter referred to as SE). Is created by handwriting, and a test result verification document that can compare the input data and the output result based on the function-based processing pattern of the entire connected and running program is created. After creating a test computer environment that runs the program, test data is created according to the verification document. In the test, the quality of the system is confirmed by executing the program by a computer and comparing the execution result with the contents of the verification document.

[0007] In addition, for testing, it is essential to verify all connected program step-based processing patterns and use it as a measure of quality as coverage information, but the work is enormous. Therefore, function-based processing patterns are often used as coverage information for simplicity. However, this is not closely related to the linked program step-based processing pattern, so adjustments according to the convergence status of the bug at the time of test execution, for example, if the bug has converged, the function is detailed. It is currently used as a guide, for example, by adjusting the number of tests to increase the number of tests by increasing the number of function-based processing patterns.

[0008] As a technique for supporting such program development, for example, Patent Document 1 is proposed.

Patent Document 1: Japanese Patent Application Laid-Open No. 5-20038

[0010] Specifically, Patent Document 1 discloses a program development support system having a development support tool such as a plurality of specification editors. In particular, this program development support The support system is a system that guides program development by continuously starting development support tools corresponding to the development procedure according to computer program development procedures registered in advance. As a result, in this program development system, it is possible to standardize the program development procedure, to achieve uniform and uniform results, and to improve the quality and productivity of the program. .

By the way, in the above-mentioned a) source program creation, a programmer creates a function-based processing pattern document (for example, a flowchart) based on a program design document, and visually checks the processing procedure of the source program. Forces It is difficult to visually check complex program codes by processing pattern, and there is a problem that mistakes are likely to occur.

[0012] In addition, in the above-mentioned b) unit test, the programmer creates a verification document by hand comparing the input data and the expected execution result for each function-based processing pattern. There was a problem that a great deal of labor was required and mistakes were likely to occur when the program was complicated. Furthermore, in unit testing, all program step-based processing patterns should be verified and used as a measure of quality as coverage information. However, since the work is enormous, the simple method described above is used. It has been taken. Therefore, the unit test has a problem that the quality of the program cannot be measured quantitatively.

[0013] Further, in the above-mentioned c) test, it is necessary to verify all the connected program step-based processing patterns and use it as a measure of quality as coverage information, but the work is enormous. For this reason, there is a problem that the quality of the system cannot be measured quantitatively because the simple method described above is employed.

[0014] As described above, system development sometimes induces human error caused by manual work of programmers and SEs. In addition, because there is no quantitative measurement method that accurately represents the quality of programs and systems, the system is always unstable, suddenly causing unexpected unexpected failures, or causing serious social accidents. There was also.

Disclosure of the invention

[0015] The present invention has been made in view of the above circumstances, and is a source program product. System step-based processing patterns are automatically analyzed to provide the total number of processing patterns that serve as the denominator of the original coverage information. By providing the total number of processing patterns, it provides a quantitative measurement method that accurately represents the quality of the program, and at the same time, minimizes human error and greatly reduces the labor required for document creation. An object of the present invention is to provide a program processing pattern automatic analysis processing apparatus, a program processing pattern automatic analysis processing method, and a program processing pattern automatic analysis processing program. In addition, the present invention automatically analyzes program step-based processing patterns of linked programs in a test, provides the total number of linked processing patterns that serve as the denominator of the original coverage information, and program development. By providing the total number of connected processing patterns that will be the numerator of the coverage information in cooperation with the support tool, it provides a quantitative measurement means that accurately represents the quality of the system, and at the same time causes human error. To provide a program processing pattern automatic analysis processing apparatus, a program processing pattern automatic analysis processing method, and a program processing pattern automatic analysis processing program that can significantly reduce the labor required for document creation. Purpose.

[0016] A program processing pattern automatic analysis processing apparatus that achieves the above-described object and is useful for the present invention is a program processing pattern automatic analysis processing apparatus that automatically analyzes a processing procedure described in a source program code, Interpreting the complicated branching clauses included in the input source program as independent branching clauses, analyzing the branching conditions by setting the processing procedure of the independent branching clauses, processing the branching conditions as true and false A branch condition analysis processing means for creating a management table indicating an analysis result obtained by analyzing each processing procedure for the above processing, and a management table storage means for storing the management table created by the branch condition analysis processing means. It is characterized by providing.

[0017] In such a program processing pattern automatic analysis processing apparatus that is effective in the present invention, the complicated branch clauses included in the source program are regarded as independent branch clauses.

Analyzing the branch condition by setting the processing procedure of the independent branch clause, and analyzing the processing procedure for each of the processing for which the branch condition is true and false As a management table, it is possible to easily and reliably analyze a source program that includes a complicated branch clause.

[0018] Further, the program processing pattern automatic analysis processing apparatus according to the present invention extracts the processing procedure for the processing in which the leading power branching condition of the management table is true and sets this as the first processing pattern. The last processing power of the first processing pattern is traced back, the processing procedure is extracted according to the true processing for the processing after the first branching condition is false, and the processing is performed as the second processing pattern. Processing pattern analysis procedure for each processing pattern that repeatedly extracts all processing patterns, and a processing procedure table for each processing pattern that stores a processing procedure table for each processing pattern created by analysis by the above processing pattern analysis processing procedure. Means. The processing procedure analysis processing unit for each processing pattern extracts all processing patterns by repeatedly performing such processing for processing for which all branch conditions are true and processing for false, and performs processing for each processing pattern described above. A procedure table can be created.

[0019] Further, the program processing pattern automatic analysis processing apparatus according to the present invention edits the processing procedure table for each processing pattern, creates a document in which the processing procedures are arranged for each processing pattern, and Z or a computer Process-by-process processing that receives the trace information of programs executed in the environment and compares them with the above-mentioned processing pattern table by processing pattern, and calculates coverage information by processing step-based processing pattern Procedure table editing processing means is provided.

[0020] With this, in the program processing pattern automatic analysis processing apparatus that works according to the present invention, human error during the creation of the source program and the unit test is minimized, and the labor required for creating the document is greatly reduced. It can be reduced and the quality of the program can be greatly improved.

Furthermore, the program processing pattern automatic analysis processing apparatus according to the present invention analyzes a connection processing procedure for each processing pattern based on a plurality of processing procedure tables for each processing pattern created in units of source programs. And a processing pattern connection processing procedure analysis processing means for creating a processing procedure table for generating a connection processing procedure table indicating a connection processing pattern in which a plurality of processing procedure table patterns are connected. . Then, the program processing pattern automatic analysis processing apparatus according to the present invention edits the above-described processing pattern-by-processing pattern connection processing procedure table, creates a document in which processing procedures are arranged according to connection processing patterns, and in Z or a computer environment. Receiving the trace information of the executed program by the program development support tool, collating it with the above-mentioned processing pattern connection processing procedure table, and calculating the coverage information for each program step-based connection processing pattern by processing pattern Concatenation processing procedure table editing processing means is provided.

[0022] With this, in the program processing pattern automatic analysis processing apparatus according to the present invention, it is possible to provide accurate and useful information to various documents handwritten by the SE at the time of the test. System quality can be greatly improved.

[0023] Further, the program processing pattern automatic analysis processing method according to the present invention that achieves the above-described object is a program processing pattern automatic analysis processing method that automatically analyzes a processing procedure described in a source program code. Therefore, the computer regards the complicated branch clauses included in the input source program as independent branch clauses, analyzes the branch conditions by setting the processing procedure of the independent branch clauses, and the branch conditions are determined. A branch condition analysis processing step for creating a management table indicating an analysis result obtained by analyzing each processing procedure for the true processing and the false processing, and the above computer created in the branch condition analysis processing step. A management table storing step of storing the management table in a predetermined storage means.

[0024] Further, the program processing pattern automatic analysis processing program according to the present invention for achieving the above-described object is a computer-executable program processing pattern automatic analysis processing for automatically analyzing a processing procedure described in a source program code. A program that analyzes the branch condition by treating the above-mentioned computer as an independent branch clause in each of the complicated branch clauses included in the input source program and setting the processing procedure of the independent branch clause. The branch condition is true and false! A branch condition analysis means for creating a management table indicating an analysis result obtained by analyzing each processing procedure, and the management table created by the branch condition analysis means are stored in a predetermined memory. It is characterized by functioning as a management table storage means stored in the means.

[0025] In such a program processing pattern automatic analysis processing method and a program processing pattern automatic analysis processing program that are effective in the present invention, the complicated branch clauses included in the source program are regarded as independent branch clauses, respectively. The branch condition is analyzed by setting the processing procedure of the independent branch clause, and the analysis result of analyzing the processing procedure for each of the processing for which the branch condition is true and false is created as a management table. Therefore, even a source program that includes various branch clauses can be easily and reliably analyzed.

[0026] According to the present invention as described above, the quality of the program and the system can be measured quantitatively, so that the quality of the program and the system is greatly improved and stable operation is realized. It becomes possible to do. Further, in the present invention, manual work for programmers and SEs is reduced, so that work efficiency can be greatly improved.

Brief Description of Drawings

FIG. 1 is a block diagram for explaining the configuration of a program processing pattern automatic analysis processing apparatus shown as an embodiment of the present invention.

FIG. 2 is a block diagram for explaining a functional configuration of the program processing pattern automatic analysis processing apparatus.

FIG. 3 is a flowchart for explaining a series of processes when the processing procedure of the source program is automatically analyzed in the program processing pattern automatic analysis processing apparatus.

FIG. 4 is a flowchart for explaining a series of processing when program code normalization processing is performed in the program processing pattern automatic analysis processing device.

FIG. 5 is a diagram for explaining a specific example of a regular clause format of a branch clause.

[Fig.6] A specific example of the pre-conversion source program after conversion and the post-conversion source program after conversion when the read command statement is an IF statement is explained in the program code normal processing. FIG.

[Fig.7] When the read command statement is a conditional branch instruction other than the IF statement, the source code before conversion and the source program after conversion after normal It is a figure for demonstrating a specific example. FIG. 8 is a diagram for explaining a specific example of a text line number correspondence table.

FIG. 9 is a diagram for explaining a concrete example of a complicated branching node.

FIG. 10 is a flowchart for explaining a series of processing when branch condition analysis processing is performed in the program processing pattern automatic analysis processing device.

FIG. 11 is a diagram for explaining a specific example of a management table.

FIG. 12 is a diagram for describing a specific example of a management table and a processing procedure table by processing pattern.

FIG. 13 is a flowchart for explaining a series of processing when performing processing pattern-specific processing procedure table editing processing in the program processing pattern automatic analysis processing device.

FIG. 14 is a diagram for explaining a specific example of a document in which processing procedures are arranged according to processing patterns.

FIG. 15 is a diagram for explaining a specific example of a unit test verification document.

FIG. 16 is a diagram for explaining a specific example of trace information of a program executed in a computer environment.

FIG. 17 is a diagram for explaining a specific example of coverage information.

FIG. 18 is a diagram for explaining a process pattern-by-process pattern connection process procedure analysis process, and a diagram for explaining a state of assigning each pattern in a process procedure table by a plurality of process patterns.

FIG. 19 is a diagram for explaining a specific example of a connection processing procedure table by processing pattern.

FIG. 20 is a diagram for explaining a specific example of a document in which processing procedures are arranged according to connection processing patterns.

BEST MODE FOR CARRYING OUT THE INVENTION

Hereinafter, specific embodiments to which the present invention is applied will be described in detail with reference to the drawings.

This embodiment is a program processing pattern automatic analysis processing apparatus that automatically analyzes a processing procedure described in a source program code. In particular, this program processing pattern automatic analysis processing device is described in source program code including branch processing. The processing procedure for each branch condition (hereinafter referred to as the processing pattern) can be automatically analyzed.

[0030] In the following description, for convenience of explanation, it is assumed that the source program to be analyzed is written in C language!

As shown in FIG. 1, the program processing pattern automatic analysis processing apparatus 10 is a computer such as a personal computer or workstation operated by a user who performs analysis processing such as a programmer or system engineer (hereinafter referred to as SE). A central processing unit (CPU) 11 that centrally controls each part, a read-only ROM (Read Only Memory) 12 that stores various information including various programs, and a RAM (Random) that functions as a work area (Access Memory) 13, a storage unit 14 that stores various information in a readable and Zable manner, a communication unit 15 that communicates by connecting to an external network, and a predetermined operation device (not shown) as a user interface. An input operation control unit 16 that performs processing and control of input operations via a display, and a display unit 17 that displays various information. Prepare.

[0032] The CPU 11 executes various programs including a program processing pattern automatic analysis processing program stored in the storage unit 14 and the like, and comprehensively controls each unit.

The ROM 12 stores various information including various programs. The information stored in ROM12 is read under the control of CPU11.

[0034] The RAM 13 functions as a work area when the CPU 11 executes various programs. Under the control of the CPU 11, the RAM 13 temporarily stores and stores various information generated during the process. Read various information.

[0035] The storage unit 14 stores various programs including a program processing pattern automatic analysis processing program and a source program to be analyzed, and various information including various image data and audio data. Information stored in the storage unit 14 is read out under the control of the CPU 11. As the storage unit 14, for example, a hard disk or a nonvolatile memory can be used. The storage unit 14 also includes a drive device that reads and / or writes various types of information on a storage medium such as a flexible disk or a memory card that is removable from the main body. [0036] The communication unit 15 is, for example, an analog line, a so-called Ethernet (registered trademark) equivalent LAN (Local Area Network), ISDN (Integrated Services Digital Network), ADSL (Asymmetric Digital Subscriber Line), ίMA FTTH (Fiber To The Home) and other network lines, IEEE (Institute of Electrical and Electronic Engineers) 8 02.11 compliant wireless LAN or!, wireless such as Bluetooth (registered trademark) For communication systems or networks based on various systems such as W-CDMA (Wide Band-Code Division Multiple Access) system such as FOMA (registered trademark) or CD MA-2000 system such as HDR (High Data Rate). It is an interface for connection, and communicates with the outside under the control of CPU11.

[0037] The input operation control unit 16 performs an input operation via a predetermined operation device (not shown) as a user interface such as a keyboard, a mouse, a keynod, an infrared remote controller, a stick key, or a push button. Receives control signals indicating operation details and supplies them to CPU 11.

[0038] The display unit 17 is, for example, a liquid crystal display (LCD), a plasma display panel (PDP), an organic electroluminescent display, or a CRT (Cathode Ray Tube). ), And displays various image data and other various information under the control of the CPU 11. For example, when the CPU 11 starts a program processing pattern automatic analysis processing program, the display unit 17 displays the screen.

[0039] The program processing pattern automatic analysis processing apparatus 10 having such units is functionally configured as shown in Fig. 2 by executing the program processing pattern automatic analysis processing program under the control of the CPU 11. It is said. That is, the program processing pattern automatic analysis processing apparatus 10 includes a source program input unit 21 that inputs the source program PR1, and a program code normalization processing unit that normalizes the source program PR1 input through the source program input unit 21. 22 and a branch condition analysis processing unit 23 for analyzing a branch condition based on the normalized source program PR2 normalized by the program code normalization processing unit 22 and the branch condition analysis processing unit 23. Processing pattern that analyzes the processing procedure for each processing pattern based on the management table TBI created by analysis Another processing procedure analysis processing section 24, a processing pattern processing procedure table editing processing section 25 for editing the processing procedure table TB2 by processing pattern created by praying by the processing procedure analysis processing section 24 by processing pattern, It is created by the analysis by the processing pattern connection processing procedure analysis processing unit 26 that analyzes the connection processing procedure by processing pattern based on the processing procedure table TB2 by processing pattern and this processing pattern connection processing procedure analysis processing unit 26 by processing pattern. Linked processing procedure table for each processing pattern TB3 Editing processing table for each processing pattern editing processing unit 27 and processing pattern table processing processing table editing processing unit for each processing pattern 25 And an output unit 28 for outputting the result of editing by the processing unit 27.

[0040] The source program input unit 21 inputs the source program PR1 stored in the storage unit 14 or the like or the source program PR1 input from an external force, and supplies it to the program code normalization processing unit 22 line by line.

[0041] The program code normalization processing unit 22 normalizes the source program PR1 input via the source program input unit 21 according to a procedure described later, and creates a normalized source program PR2. The created normalized source program PR2 is stored in the RAM 13 or the storage unit 14 so as to be readable.

[0042] The branch condition analysis processing unit 23 analyzes the branch condition included in the post-regular source program PR2 normalized by the program code normalization processing unit 22, and creates a management table TBI indicating the analysis result To do. The created management table TBI is stored in the RAM 13 or the storage unit 14 so as to be readable.

[0043] The processing procedure analysis processing unit 24 for each processing pattern analyzes a processing procedure for each processing pattern based on the management table TBI created by the branch condition analysis processing unit 23, and indicates a processing pattern indicating the analysis result. Create another processing procedure table TB2. The created processing procedure table TB2 for each processing pattern is gcfe so that it can be read out to the RAM 13 or the storage unit 14 or the like.

[0044] The processing pattern-specific processing procedure table editing processing unit 25 edits the processing pattern-specific processing procedure table TB2 created by the processing pattern-specific processing procedure analysis processing unit 24, and supports the creation of a source program and unit testing. And coverage information To do. These created documents and coverage information are supplied to the output unit 28.

[0045] Based on the processing pattern-specific processing procedure table TB2, the processing pattern-specific concatenation processing procedure analysis unit 26 analyzes the processing pattern-specific concatenation processing procedure and creates a processing pattern-specific concatenation processing procedure table TB3. . The created processing pattern connection processing procedure table TB3 is readable and stored in the RAM 13, the storage unit 14, or the like.

[0046] The connection processing procedure table editing processing unit 27 for each processing pattern edits the connection processing procedure table TB3 for each processing pattern created by the connection processing procedure analysis processing unit 26 for each processing pattern, and performs combination tests, comprehensive tests, etc. Create documentation and coverage information to support testing. These created documents and coverage information are supplied to the output unit 28.

[0047] The output unit 28 includes a document and coverage information as the editing result by the processing pattern-specific processing procedure table editing processing unit 25, and a document and coverage information as an editing result by the processing pattern-specific processing procedure table editing processing unit 27. Coverage information is output and displayed on the display unit 17 or is output by a printing device or the like via the communication unit 15.

[0048] The program processing pattern automatic analysis processing apparatus 10 as described above executes the program processing pattern automatic analysis processing program under the control of the CPU 11, thereby performing a source program according to a series of procedures as shown in FIG. Automatically analyze PR1 procedures.

[0049] First, as shown in the figure, the program processing pattern automatic analysis processing apparatus 10 reads only one line from the source program PR1 via the source program input unit 21 in step S1, and reads in step S3. However, program code normalization processing by the program code normalization processing unit 22 is performed on one line of the command statement. Here, program code normalization processing refers to the various conditional branch instructions included in the source program PR1, such as the power IF statement, SWITCH statement, FOR statement, WHILE statement and V, which will be described in detail later. It is a process to unify.

[0050] The program processing pattern automatic analysis processing apparatus 10 performs such program code normalization processing each time the source program PR1 is read line by line. Then, in step S2, the program processing pattern automatic analysis processing device 10 executes the source program PR1. If it is determined that all the lines have been read, in step S4, branch condition analysis processing by the branch condition analysis processing unit 23 is performed based on the source program PR2 after normalization! For the “true” and “false” processes, a management table TBI is created that shows the analysis results of each processing procedure. Here, the branch condition analysis process is a process of setting a processing procedure for the independent branch clauses, which will be described in detail later, and each of the complicated branch clauses is regarded as an independent branch clause.

[0051] Subsequently, in step S5, the program processing pattern automatic analysis processing apparatus 10 performs processing pattern-specific processing procedure analysis processing by the processing pattern-specific processing procedure analysis processing unit 24 based on the management table TBI. Create a processing procedure table TB2 for each processing pattern. The processing procedure analysis processing for each processing pattern will also be described in detail later.

[0052] Subsequently, in step S6, the program processing pattern automatic analysis processing apparatus 10 edits the processing procedure table TB2 by processing pattern by the processing procedure table editing processing unit 25 by processing pattern, and creates a source program. Documents and coverage information that support unit tests are created. The processing pattern table editing process for each processing pattern will also be described in detail later.

[0053] When performing the unit test in this manner, the program processing pattern automatic analysis processing apparatus 10 determines whether or not there is another source program in step S7. Here, if there is another source program, the program processing pattern automatic analysis processing apparatus 10 repeats the processing from step S1, while if there is no other source program, in step S8, the processing pattern is automatically processed. Based on the separate process procedure table TB2, the process pattern linked process procedure analysis process by the process pattern linked process procedure analysis processing unit 26 is performed, and the process pattern linked process procedure table TB3 is created. The processing pattern analysis processing for each processing pattern will also be described in detail later.

[0054] Then, in step S9, the program processing pattern automatic analysis processing apparatus 10 edits the processing pattern connection processing procedure table TB3 by the processing pattern connection processing procedure table editing processing unit 27 to support the test. Create documents and coverage information, and complete a series of processes including testing. Consolidation processing procedure table by processing pattern The editing process will also be described in detail later.

[0055] The program processing pattern automatic analysis processing apparatus 10 can automatically analyze the processing procedure of the source program PR1 according to such a series of procedures.

[0056] Hereinafter, each process described above will be specifically described.

First, the program code normality process will be described.

The program code normalization processing unit 22 performs program code normalization processing according to a series of procedures as shown in FIG. In the following, for the sake of convenience of explanation, it is assumed that normalization processing integrated with the IF statement format is performed.

[0059] That is, the program code normalization processing unit 22 performs the processing of step S1 and step S2 in FIG. 3 and reads only one line from the source program PR1, and as shown in FIG. Then, it is determined whether the read one-line instruction statement is a conditional branch instruction and an IF statement.

[0060] Here, when the program code normalization processing unit 22 determines that the read command statement is an IF statement, in step S12, for the abbreviated form of the IF statement, the normalization format of the branch clause is used. Convert to. At this time, the program code normality processing unit 22 sets a conversion line number for each converted line in order to make correspondence between the original sentence and the converted instruction sentence. Note that the program code normalization processing unit 22 takes action by attaching a branch number or the like when the original text line is divided into a plurality of lines. Specifically, the normalization form of the branch clause is, for example, as shown in Fig. 5, with the instruction statement of the first branch condition as the branch point, and the start code and end code of the true process and the start of the false process The code and exit code are clearly closed. Therefore, the program code normality processing unit 22, for example, as shown on the left side of FIG. 6, when the start code and end code of the true and false processes are omitted, as shown on the right side of the figure, And convert to a format with a fake processing start code and end code, and set a converted line number in each converted line so that the correspondence with the line number of the original text is strong.

[0061] On the other hand, if the program code normality processing unit 22 determines that the read instruction statement is a conditional branch instruction other than the IF statement, the IF statement is normalized in step S13. The conversion to the branch clause format is performed, and by setting the conversion line number for each converted line, the correspondence between the original sentence and the converted instruction sentence is obtained. Specifically, program code normalization processing For example, in the case of a FOR statement as shown in FIG. 7, the part 22 converts it into an IF statement format such as “argument 1, label, if (argument 2), {, argument 3, goto label,}”. A template is created in advance, and conversion is performed by fitting the template. The program code normality processing unit 22 can easily convert other conditional branch instructions by using templates in the same manner.

[0062] The program code normalization processing unit 22 performs the processing of step S12 or step S13 and completes the conversion. In step S14, the program code normalization processing unit 22 adds the line numbers 001 to force to the converted command statement. The post-conversion source line number is added, and the source program PR2 after normalization is created. Also, the program code normalization processing unit 22 uses each line number, as shown in FIG. 8, for example, in order to use the correspondence relationship between the line number of the original text, the converted line number, and the converted line number in subsequent processing. A text line number correspondence table TB4 showing the correspondence relationship is created and stored in the RAM 13 or the storage unit 14 so as to be readable.

[0063] The program code normalization processing unit 22 performs such processing each time the source program PR1 is read line by line, and if it is determined in step S2 that all lines of the source program PR1 have been read. To end the series of program code normalization processing.

[0064] The program code normality processing unit 22 can perform the program code normality processing according to such a series of procedures.

Next, the branch condition analysis process will be described.

[0066] For example, as shown in Fig. 9, the branch condition analysis process treats a complicated intricate branch clause as an independent branch clause when there is a branch clause in the branch clause. This is a process of analyzing the branch condition by setting the processing procedure of the branch clause. The branch condition analysis processing unit 23 performs such a branch condition analysis process according to a series of procedures as shown in FIG.

[0067] That is, as shown in the figure, the branch condition analysis processing unit 23 reads one line from the source program PR2 after normal input in step S21, and then reads the one line instruction read in step S24. Judge whether the sentence is a conditional branch instruction or not. At this time, the branching condition analysis processing unit 23 reads the processing pattern-specific connection processing procedure creation process described later. If the included post-regular source program PR2 is different from the previous processing target, the management table TBI and processing pattern-specific processing procedure table T B2 are unique to each post-normalization source program. In S23, a unique program ID (PGM ID) is set in the management table TBI and the processing pattern table TB2 by processing pattern, and the process proceeds to step S24.

[0068] Here, if the branch condition analysis processing unit 23 determines that the read instruction statement is a conditional branch instruction, the branch condition analysis processing unit 23 processes the conditional branch instruction in step S25, and performs the processing from step S21. repeat. On the other hand, if the branch condition analysis processing unit 23 determines that the read instruction statement is not a conditional branch instruction, the branch condition analysis processing unit 23 proceeds to step S26, where the read instruction statement is the start code and the immediately preceding instruction is Judges whether the power is a conditional branch instruction. The branch condition analysis processing unit 23 determines that the read instruction statement is a start code and the immediately preceding instruction is a conditional branch instruction because the branch condition is always “true” immediately after the conditional branch instruction. In this case, in step S27, the branch condition “true” process is started, and the process from step S21 is repeated. If the branch condition analysis processing unit 23 determines that the read instruction statement is not a start code and the immediately preceding instruction is not a conditional branch instruction, the instruction statement is a false processing start code in step S28. Judge whether it is power or not. When the branch condition analysis processing unit 23 determines that the read instruction is a false processing start code, the branch condition analysis processing unit 23 starts processing of the branch condition “false” in step S29. Repeat the process. Furthermore, if the branch condition analysis processing unit 23 determines that the read instruction statement is not a false processing start code, in step S30, whether or not the instruction statement is an end code. Determine. If the branch condition analysis processing unit 23 determines that the read instruction statement is an end code, the branch condition analysis processing unit 23 performs the end code processing in step S31 and repeats the processing from step S21 while the instruction statement ends. If it is determined that it is not a code, other code processing is performed in step S32, and the processing from step S21 is repeated.

[0069] The branch condition analysis processing unit 23 performs such processing of step S21 to step S32 each time the normalized source program PR2 is read line by line. In step S22, the branch condition analysis processing unit 23 reads all lines of the normalized source program PR2. When the insertion is completed, a management table TBI is created by performing processing procedure setting processing in step S33, and the series of branch condition analysis processing is completed.

[0070] Here, details of each processing of step S25, step S27, step S29, step S31, step S32, and step S33 will be described using a specific example of the management table TBI shown in FIG.

First, the conditional branch instruction process in step S25 will be described.

[0072] When the line is a conditional branch instruction, the branch condition analysis processing unit 23 sets an identifiable identifier for each branch clause. When the branching clause has a nested structure, the identifier shall be an identifier that takes into account that there are multiple identical depths.

Next, the branch condition “authenticity start processing in step S27 will be described.

[0074] When the line is a true process start code, the branch condition analysis processing unit 23 sets the identifier of the conditional branch instruction immediately before the line as the identifier of the true process start code. .

Next, the branch condition “false fake start processing in step S29 will be described.

[0076] When the line is a false process start code, the branch condition analysis processing unit 23 identifies the true process end code identifier immediately before the line as the false process start code identification. Set as a child.

[0077] Next, the end code processing in step S31 will be described.

[0078] When the line is an end code, the branch condition analysis processing unit 23 sets the identifier as an identifier of the end code if the line immediately preceding the line is another code or a start code. . Further, if the line immediately before the relevant line is an end code, the branch condition analysis processing unit 23 goes back until an identifier different from the identifier appears, and sets the different identifier as the identifier of the end code. At this time, if the different identifier is an end code, the branch condition analysis processing unit 23 repeatedly sets the identifier until a different identifier appears. Here, the branch condition analysis processing unit 23 determines whether or not the end code is the end code of the process for the true process. Then, the branch condition analysis processing unit 23 goes back to the row having the same identifier for the power, and when the start code that appears first is the start code of the true process, the end code is the end code of the true process. Judge that there is. In addition, the branch condition analysis processing unit 23 goes back the row with the same identifier as the corresponding power, and if the first start code that appears is the start code of the false process, the end code is the end code of the false process. It is determined that

Next, other code processing in step S32 will be described.

[0080] In the branch condition analysis processing unit 23, when the line is another code, the line immediately preceding the line is another code, a true process start code, or a false process start code. Then, the identifier is set as the identifier of the other code. In addition, if the line immediately before the relevant line is a false end code, the branch condition analysis processing unit 23 goes back until an identifier different from the identifier appears, and uses the different identifier as an identifier of the other code. Set. However, the branch condition analysis processing unit 23 repeatedly sets the same process when the different identifier is also a false process end code.

Next, the processing procedure setting process in step S33 will be described.

[0082] When the line is a conditional branch instruction, the branch condition analysis processing unit 23 first determines the line number of the true processing start code having the same identifier as the conditional branch instruction, Set to the next process line number of the true process, and then set the line number of the false process start code having the same identifier as the conditional branch instruction to the next process line of the false process of the conditional branch instruction. Set to a number. Further, when the line is a true processing start code, the branch condition analysis processing unit 23 sets the line number of the line with the same identifier that appears first after the line as the next process line number. Further, when the line is a false processing start code, the branch condition analysis processing unit 23 sets the line number of the line with the same identifier that appears first after the line as the next process line number. Furthermore, when the line is another code, the branch condition analysis processing unit 23 sets the line number of the line with the same identifier that appears first after the line as the next process line number. Further, when the line is a true process end code, the branch condition analysis processing unit 23 sets the line number of the false process end code having the same identifier as the next process line number. Then, the branch condition analysis processing unit 23 sets the line number of the immediately following line as the next process line number when the line is a false processing end code.

The branch condition analysis processing unit 23 can perform the branch condition analysis processing according to the series of procedures as described above. Next, processing procedure analysis processing for each processing pattern will be described.

The processing procedure analysis processing unit 24 by processing pattern resets the processing procedure set by the branch condition analysis processing unit 23 as a series of continuous processes including no branching! Here, description will be made using specific examples of the management table TBI and the processing procedure table TB2 for each processing pattern shown in FIG. First, the processing procedure analysis unit for each processing pattern 24 sets the row extracted according to the next processing row number from the top row force of the management table in the processing procedure table for each processing pattern. At this time, if the line is a conditional branch instruction, the processing procedure for each processing pattern 24 proceeds to the end of the processing procedure table for each processing pattern according to the next processing line number of the true processing. Register as the second processing pattern. Subsequently, the processing procedure analysis processing unit 24 by processing pattern goes back to the last power of the first processing pattern and searches for the first conditional branch instruction that appears, and the next processing line number of the processing in which the conditional branch instruction is false. Proceed according to At this time, similarly to the first processing pattern, the processing procedure analysis processing unit 24 for each processing pattern determines the processing pattern according to the next processing line number of the true processing when the line is a conditional branching instruction. Go to the end of the processing procedure table and register this as the second processing pattern. The processing procedure analysis processing unit 24 for each pattern repeats the same method thereafter, and processes the next processing line number of the true processing and the next processing line number of the false processing of all the conditional branch instructions. This processing pattern can be extracted.

The processing pattern-by-processing pattern analysis procedure analysis unit 24 can perform processing pattern-by-processing pattern analysis processing according to such a series of procedures.

Next, the processing procedure table editing process for each processing pattern will be described.

[0088] As shown in FIG. 13, the processing pattern-specific processing procedure table editing processing unit 25 performs processing pattern-specific processing procedure table editing processing in order to solve the problems in conventional source program creation and unit testing. The processing procedure document for each processing pattern is edited in step S51 and the coverage information for each processing pattern is edited in step S52.

[0089] Specifically, the processing pattern-specific processing procedure table editing processing unit 25 performs processing pattern-specific processing procedures as step S51. Based on the table TB2, for example, as shown in Fig. 14, a document in which processing steps are arranged by processing pattern is automatically created.

The processing procedure document for each processing pattern has processing procedures arranged for each processing pattern, and can be easily collated with a processing pattern document created by a programmer (for example, the flow chart shown in FIG. 15). This is obvious when compared with the comparison with the conventional source program code shown in Fig. 9. In the program processing pattern automatic analysis processing apparatus 10, since the conditional branch line is clear, test data can be easily devised and created by the conditions and the processes before and after. Furthermore, in the program processing pattern automatic analysis processing device 10, the test status can be confirmed by a list-format document in which only conditional branch lines are extracted from the processing procedure. Further, the program processing pattern automatic analysis processing apparatus 10 can create a verification document and a delivery document by arranging the processing procedures for each processing pattern and by making the test result into a format that can be entered by handwriting. As a result, the program processing pattern automatic analysis processing apparatus 10 can minimize human error at the time of creating the source program and greatly reduce the labor of the programmer who works on the document creation.

Further, the processing pattern-specific processing procedure table editing processing unit 25 performs a program executed in a computer environment as shown in FIG. 16, for example, as editing of coverage information by processing pattern in step S52 in FIG. The program development support tool receives the trace information of the source, and checks the line number of the source program included in the trace information against the line number of the processing procedure table TB2 for each processing pattern to understand which processing pattern has been executed. . As a result, the processing procedure table-by-process pattern table editing processing unit 25 uses the total number of program step-based processing patterns indicating the original program quality as a denominator, as shown in FIG. 17, for example. Quantitative quality information with the total number of treatment patterns as a molecule can be obtained.

The processing pattern-specific processing procedure table editing processing unit 25 can perform processing pattern-specific processing procedure table editing processing according to such a series of procedures.

Next, the processing pattern connection processing procedure analysis processing will be described. [0094] As shown in Fig. 18, the processing pattern-specific concatenation processing procedure analysis processing unit 26 selects a destination corresponding to PGM'I D xxxxxxxx among a plurality of processing pattern-specific processing procedure tables TB2 created in units of source programs. By assigning each pattern in the subsequent table corresponding to PGM 'ID yyyyyyy to each pattern in the previous table, as shown in Fig. 19, the concatenation of the pattern in the previous table and the subsequent table is connected. Create a processing sequence table TB3 for each processing pattern indicating the processing pattern. The algorithm for concatenation is as follows. First, the connection processing procedure analysis processing unit 26 for each processing pattern extracts the first processing pattern up to the first program power and the last program, and uses this as the first connection processing pattern as the connection processing table for each processing pattern TB3. Register with. Subsequently, the connection processing procedure analysis processing unit 26 by processing pattern replaces the processing pattern of the last program of the first connection processing pattern with the second processing pattern, and registers this as the second connection processing pattern. . The connection processing procedure analysis processing unit 26 by processing pattern repeats such processing until all the processing patterns of the last program have been processed, and registers them as connection processing patterns. Then, the connection processing procedure analysis processing unit 26 by processing pattern replaces the processing pattern of the program that goes back one step from the last program of the first connection processing pattern with the second processing pattern, and performs the above processing for the last program. The same processing is repeated, and each is registered as a concatenation processing pattern. When all the processing patterns of the second program from the end are processed, the connection processing procedure analysis processing unit 26 by processing pattern repeats the same processing sequentially, such as processing for the processing pattern of the third program from the end. It is possible to create a concatenation processing pattern by going back and processing all the processing patterns of the first program.

The processing pattern-specific connection processing procedure analysis processing unit 26 can perform the processing pattern-specific connection processing procedure analysis processing in this way.

Next, the process pattern-specific connection process procedure table editing process will be described.

[0097] In order to solve the problem in the conventional test, the connection processing procedure table for each processing pattern 27 is connected based on the connection processing table for each processing pattern TB3, for example, as shown in FIG. Documents and covers that list processing procedures by processing pattern Create ledge information.

[0098] As shown in Fig. 20, the processing procedure documents for each of the concatenation processing patterns are arranged according to the concatenation processing pattern. Therefore, accurate and useful information is provided for various documents created by the SE. Can be provided, and human error can be reduced. In addition, the processing pattern connection processing table table editing processing unit 27 receives the trace information of the program executed in the computer environment by the program development support tool, and by the line number of the source program included in the trace information and the processing pattern. Concatenation processing procedure table Check the TB3 line number and check which concatenation processing pattern has been executed. As a result, the processing pattern-specific concatenation processing procedure table editing processing unit 27 uses the total number of program step-based concatenation processing patterns indicating the original system quality as the denominator, and the total number of program step-based concatenation processing patterns that have been tested. Quantitative quality information with the numerator can be obtained.

[0099] In this way, the processing pattern-specific connection processing procedure table editing processing unit 27 can perform the processing pattern-specific connection processing procedure table editing processing.

As described above, the program processing pattern automatic analysis processing device 10 shown as the embodiment of the present invention regards the complicated branch clauses included in the input source program as independent branch clauses. The processing pattern can be extracted by setting the processing procedure of the independent branching clause and analyzing a series of processing procedures that do not include branching. As a result, the program processing pattern automatic analysis processing apparatus 10 can significantly reduce human error in program development and provide quantitative quality information indicating the original program quality. In addition, since the program processing pattern automatic analysis processing apparatus 10 can similarly extract linked processing patterns for a plurality of linked program groups as a system, human error in system development is reduced. It is possible to provide quantitative quality information indicating the quality of the system.

Note that the present invention is not limited to the above-described embodiment. For example, in the above-described embodiment, the source program to be analyzed is described in the C language. However, the present invention is not limited to a programming language such as Fortran or COBOL. For example, the grammar system for conditional branching is the same, so it can be easily applied. can do.

[0102] Further, in the above-described embodiment, it has been described that the normalization process is performed to unify each conditional branch instruction into the IF statement format. It may be possible to perform normalization processing.

[0103] As described above, it goes without saying that the present invention can be modified as appropriate without departing from the spirit of the present invention.

Claims

The scope of the claims

[1] A program processing pattern automatic analysis processing device that automatically analyzes a processing procedure described in a source program code,

Interpreting the complicated branch clauses included in the input source program as independent branch clauses, analyzing the branch conditions by setting the processing procedure of the independent branch clauses, processing that the branch conditions are true and false Therefore, a branch condition analysis processing means for creating a management table indicating an analysis result obtained by analyzing each processing procedure,

Management table storage means for storing the management table created by the branch condition analysis processing means.

A program processing pattern automatic analysis processing device characterized by the above.

[2] The first power of the above management table is also processed with the true branch condition. The previous processing procedure is extracted and used as the first processing pattern, and the last power of the first processing pattern is traced back. Processing for each processing pattern that extracts all processing patterns by repeating the processing to extract the processing procedure according to the true processing for the processing after the processing with the first branch condition that is false. Procedure analysis treatment means;

A processing procedure table storing means for each processing pattern for storing a processing procedure table for each processing pattern created by the analysis by the processing procedure analysis processing means for each processing pattern.

The program processing pattern automatic analysis processing device according to claim 1, characterized in that

[3] Edit the above-mentioned processing pattern table for each processing pattern, create a document that lists the processing procedures for each processing pattern, and use the program development support tool to trace the trace information of the program executed in Z or the computer environment. And a processing procedure table editing processing table for each processing pattern for calculating coverage information for each processing pattern on the basis of a program step based on the received processing pattern and comparing with the processing procedure table for each processing pattern. Program processing pattern automatic analysis processing device according to item 2

[4] Multiple processing pattern table for each processing pattern created for each source program Based on the processing pattern, the processing procedure for each processing pattern is analyzed, and a processing sequence table for each processing pattern indicating a processing sequence table for connecting the processing procedure table patterns for each of the above processing patterns is generated. Provide analytical processing means

The program processing pattern automatic analysis processing device according to claim 2, characterized in that

[5] Edit the linkage process procedure table for each process pattern, create a document that lists the process procedures according to the linkage process pattern, and program development support tool for trace information of programs executed in Z or computer environment A process pattern-based concatenation process procedure table for calculating coverage information for each program process-based concatenation process pattern, and comparing with the process pattern concatenation process procedure table.

5. The program processing pattern automatic analysis processing device according to claim 4,

[6] A program processing pattern automatic analysis processing method for automatically analyzing a processing procedure described in a source program code,

Computer power Complicated branch clauses included in the input source program are regarded as independent branch clauses, branch conditions are analyzed by setting the processing procedure of the independent branch clauses, and branch conditions are determined. A branch condition analysis processing step for creating a management table indicating an analysis result obtained by analyzing each processing procedure by the true processing and the false processing;

A management table storage step for storing the management table created in the branch condition analysis processing step in a predetermined storage means;

A program processing pattern automatic analysis processing method characterized by the above.

[7] A computer-executable program processing pattern automatic analysis processing program that automatically analyzes processing procedures described in source program code,

The above computer

Independent branching of complicated branching clauses included in the input source program Management that shows the analysis result of analyzing each processing procedure by analyzing the branching condition by setting the processing procedure of the independent branching clause and analyzing the branching condition by setting the branching procedure as true and false Branch condition analysis means for creating a table, and

Function as a management table storage means for storing the management table created by the branch condition analysis means in a predetermined storage means

Program processing pattern automatic analysis processing program characterized by