JP2010102663A - Device, method and program for analyzing program - Google Patents

Abstract

<P>PROBLEM TO BE SOLVED: To provide a program analysis device allowing a user to easily specify a subroutine related to the start of a program function to be examined from among many subroutines. <P>SOLUTION: In the program analyzing method, a first procedure for using a function to be examined and a second procedure for not using the function are prepared, and the first procedure and the second procedure are performed, respectively to obtain a first execution trace and a second execution trace respectively. Next, the first execution trace is compared with the second execution trace to detect subroutine call or subroutine return corresponding to a trace section where difference between them occurs first. Then, a subroutine call edge in a diagram related to call corresponding to the detected subroutine call or subroutine return is selected. <P>COPYRIGHT: (C)2010,JPO&INPIT

Description

  The present invention relates to a program analysis apparatus, a program analysis method, and a program analysis program that can easily analyze program contents when maintaining or reconstructing a program such as a business system.

  In order to efficiently maintain and reconstruct a program such as a business system, it is necessary to understand the data structure and control structure of the program. However, when the program is large and the correction is frequently performed, the data structure and the processing structure often become so complex that they cannot be easily understood. In addition, when a program is operated and maintained for a long period of time, there are many cases where the original developer is absent or the document is not synchronized with the change contents of the program. In view of this, a program analysis technique has been used in which a program source code is analyzed and a mutual call relationship is graphically presented in units of program elements such as subroutines.

An example of this type of program analysis apparatus is described in Patent Document 1. As shown in FIG. 9, the apparatus described in this patent document 1 analyzes a program and analyzes an execution path, and executes a conditional branch statement including a subroutine in the execution path from the analyzed program. A variable value acquisition unit 12 that detects a conditional variable and a call destination variable of the subroutine, and a variable value that, for the detected variable, sequentially searches the execution path of the program from the variable detection location, searches for the variable assignment source constant, and determines it. The determination processing unit 7 and the execution path limiting unit 6 that limits the branch location of the conditional branch statement based on the determined variable value and extracts the subroutine whose call destination is determined from the limited path are provided. A configuration diagram of a program designated in advance is generated and output.
JP 2002-215391 A

  By the way, in program analysis, when maintaining a program that does not have a complete design document, specify which subroutine in the program realizes the function to be maintained, and how these subroutines interact. Need to look into. At this time, the program analysis technique described in Patent Document 1 described above has the following problems. That is, when the scale of the program is large, it is not easy to find out where to refer first in the subroutine call relationship diagram. The reason is that since the call relationship diagram does not include information indicating the relationship with the function, it is necessary to check the contents of the subroutine one by one.

  The present invention has been made in view of such circumstances, and its purpose is to easily identify the subroutine involved in the start of the program function to be examined from among the many subroutines existing in the call relationship diagram. Another object of the present invention is to provide a program analysis apparatus, a program analysis method, and a program analysis program that can be used.

 The present invention acquires a first execution trace and a second execution trace by executing a first procedure that uses the investigation target function and a second procedure that does not use the investigation target function, respectively. And means for comparing the first execution trace and the second execution trace in chronological order, and detecting a subroutine call or subroutine return corresponding to the trace location where the difference first occurs. Is a program analysis apparatus characterized by

  In the present invention, a first procedure that uses the survey target function and a second procedure that does not use the survey target function are prepared, and the first procedure and the second procedure are executed respectively. The trace acquisition process for acquiring each of the first execution trace and the second execution trace, the first execution trace and the second execution trace are compared in chronological order, and the first trace where the difference occurs is determined. And a detection process for detecting a subroutine call or a subroutine return.

  In the present invention, a first procedure that uses the survey target function and a second procedure that does not use the survey target function are prepared, and the first procedure and the second procedure are executed respectively. Trace acquisition processing for acquiring the first execution trace and the second execution trace respectively, the first execution trace and the second execution trace are compared in chronological order, and the trace portion where the difference first occurs Is a program analysis program for causing a computer to execute a detection process for detecting a subroutine call or a subroutine return.

  According to the present invention, when the program function to be maintained is examined, the first execution trace and the second execution trace are compared in time series order, and the subroutine call or subroutine corresponding to the trace location where the difference first occurs. Since the return is detected, there is an effect that the subroutine to be checked first can be easily found out of a large number of subroutines.

Hereinafter, embodiments of the present invention will be described with reference to the drawings.
FIG. 1 is a block diagram showing the configuration of a program analysis apparatus according to an embodiment of the present invention. The program analysis apparatus according to the embodiment includes a computer (central processing unit; processor; data processing unit) 100 that operates under program control, and a storage device 200. The computer 100 includes a control trace acquisition unit 110, a subroutine selection unit 120, and an analysis target program 130.

  The control trace acquisition unit 110 executes, for the analysis target program 130, the first procedure that uses the survey target function and the second procedure that is changed so as not to use the survey target function. The first execution trace and the second execution trace are respectively acquired (trace acquisition processing). Here, the trace is a series of subroutine calls and subroutine returns that occur during the execution of a program.

FIG. 2 shows an example of the first procedure and the second procedure. In Example 1, the investigation target function 1 is included in the first procedure, and the second procedure is obtained by removing the investigation target function 1 from the first procedure. Assume that the option setting is removed from the operation procedure of function 2 as in example 2.
Further, the control trace acquisition unit 110 compares the first execution trace and the second execution trace, and detects a subroutine call or subroutine return corresponding to the trace portion where the difference first occurs (detection process).

  The subroutine selection means 120 selects a subroutine call corresponding to the subroutine call detected by the control trace acquisition means 110 or the subroutine return in the call relationship diagram prepared in advance (selection process).

Next, the overall operation of this embodiment will be described in detail with reference to the flowchart of FIG.
First, the first procedure is executed (step S110 in FIG. 3). Next, an execution trace for the execution of the first procedure is acquired as the first execution trace (step S120). Next, the second procedure is executed (step S130). Next, an execution trace for the execution of the second procedure is acquired as a second execution trace (step S140). Next, the first execution trace and the second execution trace are compared, and a subroutine call or subroutine return in which a difference first occurs is detected (step S150). Finally, the subroutine call corresponding to the subroutine call or subroutine return extracted in step S160 is selected in the call relationship diagram. That is, in step S160, a call relationship diagram having a graph structure with a subroutine as a node and a call relationship between subroutines as an edge is prepared, and the subroutine call edge in the call relationship diagram corresponding to the detected subroutine call or subroutine return is prepared. Select.

According to the above-described embodiment, the subroutine call related to the start of the function is shown in the call relation diagram based on the comparison of the two execution traces when the function to be investigated is executed and when it is not. Therefore, when it is desired to check the function to be maintained, the subroutine to be checked can be easily found.
(Example)

Next, the operation of the above embodiment will be described using specific examples.
The operation will be described with a GUI program that accepts a screen operation as shown in FIG. 4 as a program to be analyzed. This program is started by issuing the command main.exe, the login screen is displayed first, and after performing login operations on the login screen, the operation screen 1 is displayed through several operations. Is input and the process A button is pressed, the input waiting state 1 is entered.

  FIG. 5 shows a first procedure and a second procedure that the control trace acquisition unit 110 holds in advance. The investigation target function is assumed to be option 1 in the execution of the process A button on the operation screen 1. A procedure common to the first procedure and the second procedure is an operation procedure from issuing the main.exe command to displaying the operation screen 1. In the first procedure, following the common procedure, the operation procedure of setting “aaa” in parameter 1, “ccc” in parameter 2, “present” in parameter 3, and pressing the process A button on the operation screen is held. . In the second procedure, following the common procedure, on the operation screen, “aaa” is set in parameter 1, “ccc” is set in parameter 3 and “none” is set in parameter 3, and the operation procedure of pressing the process A button is held. . That is, the operation screen 1 remains unchanged.

  Here, the presence or absence of an option is dealt with here as a function to be investigated. However, in general, an operation procedure may be configured by examining differences in the types of buttons to be executed or differences in parameter values.

  The control trace acquisition unit 110 sequentially executes the initialization procedure and the first procedure, and acquires an execution trace between them as a first execution trace. Next, the initialization procedure and the operation of the second procedure are sequentially executed to obtain a second execution trace. FIG. 6 shows the structure of a program to be traced. Here, it is assumed that subroutine 1 is called inside the program when the process A button is pressed on the screen of FIG. If option 1 is set to “none”, only subroutine 2 is called in subroutine 1, and if option 1 is set to “present”, subroutine 3 is called after subroutine 2 in subroutine 1. Shall be. At this time, the first execution trace and the second execution trace are as shown in FIG.

  Subroutine selection means 120 compares the first execution trace and the second execution trace shown in FIG. 7 in chronological order, and detects a difference. Only on the side of the first execution trace, there is an extra record from the subroutine 3 call to return. The first record of the difference is “call subroutine 3”. This subroutine 3 call corresponds to the arrow from subroutine 1 to subroutine 3 in the call relationship diagram of FIG. The result of selecting the corresponding arrow is shown in FIG. When the head of the difference is a subroutine return, a subroutine call related to the subroutine start is selected.

  As described above, according to the embodiment, the first execution trace and the second execution trace are compared in time series order, and the difference is detected, so that the function to be investigated (“option 1 is present” in the above embodiment) is obtained. Such a call of the subroutine 3 can be easily detected.

  The present invention is suitable for use in analyzing program contents during program maintenance and reconstruction.

It is a block diagram which shows the structure of the program analysis apparatus by one Embodiment of this invention. It is a figure for demonstrating operation | movement of the program analysis apparatus. It is a flowchart for demonstrating operation | movement of the program analysis apparatus. It is explanatory drawing for demonstrating the specific operation | movement of the program analysis apparatus. It is a procedure figure for demonstrating operation | movement of the program analysis apparatus. It is a flowchart which shows the flow of a process in the program analysis apparatus. It is explanatory drawing for demonstrating the flow of the process in the program analysis apparatus. It is a flowchart which shows the flow of a process in the program analysis apparatus. It is a block diagram which shows an example of the conventional program analysis apparatus.

Explanation of symbols

DESCRIPTION OF SYMBOLS 100 ... Computer 110 ... Target trace acquisition means 120 ... Subroutine selection means 130 ... Analysis object program 200 ... Storage device

Claims (6)

Trace acquisition means for acquiring the first execution trace and the second execution trace by executing the first procedure using the investigation target function and the second procedure not using the investigation target function, respectively.
Detecting means for comparing the first execution trace and the second execution trace in chronological order, and detecting a subroutine call or a subroutine return corresponding to a trace portion where a difference first occurs;
A program analysis apparatus comprising:   A call relationship diagram having a graph structure with a subroutine as a node and a call relationship between subroutines as an edge is selected, and a subroutine call edge in the call relationship diagram corresponding to the subroutine call or subroutine return detected by the detecting means is selected. The program analysis apparatus according to claim 1, further comprising selection means for performing the selection. A first procedure using the survey target function and a second procedure not using the survey target function are prepared,
Trace acquisition processing for acquiring the first execution trace and the second execution trace by executing the first procedure and the second procedure, respectively,
A detection process for comparing the first execution trace and the second execution trace in chronological order, and detecting a subroutine call or a subroutine return corresponding to a trace location where a difference first occurs;
The program analysis method characterized by having. A call relationship diagram consisting of a graph structure with a subroutine as a node and a call relationship between subroutines as an edge is prepared,
4. The program analysis method according to claim 3, further comprising a selection process for selecting a subroutine call edge in a call relation diagram corresponding to the subroutine call or subroutine return detected in the detection process. A first procedure using the survey target function and a second procedure not using the survey target function are prepared,
Trace acquisition processing for acquiring the first execution trace and the second execution trace by executing the first procedure and the second procedure, respectively,
A detection process for comparing the first execution trace and the second execution trace in chronological order, and detecting a subroutine call or a subroutine return corresponding to a trace location where a difference first occurs;
A program analysis program that causes a computer to execute. A call relationship diagram consisting of a graph structure with a subroutine as a node and a call relationship between subroutines as an edge is prepared,
6. The program analysis program according to claim 5, wherein the computer executes a selection process for selecting a subroutine call edge in a call relation diagram corresponding to the subroutine call or subroutine return detected in the detection process.

Images