PROGRAM ANALYSIS APPARATUS AND PROGRAM ANALYSIS METHOD

• US 20150199183A1
• Filed: 01/13/2015
• Published: 07/16/2015
• Est. Priority Date: 01/15/2014
• Status: Abandoned Application

• Current Assignee: Hitachi, Ltd.
• Original Assignee: Hitachi, Ltd.
• Inventors: SUZUKI, Yasufumi, NAKAGAWA, Yuichiro, ICHII, Makoto, NOGUCHI, Hideto
• Application Number:
  US14/595,413
• Publication Number:
  US 20150199183A1
• Time in Patent Office: Days
• US Class Current: 1/1
• CPC Class Codes: G06F 8/36 Software reuse
• CPC Class Codes: G06F 8/70 Software maintenance or management

Abstract

An object is to assist analysis work on a program in software development and improve program development efficiency. A program analysis apparatus performs symbolic-execution on a program stored in a storage device, receives an input of a change point of the program, and based on a result of the symbolic-execution, identifies an influenced segment of the program when the program is changed for the change point. The program analysis apparatus receives the change point by receiving a change operation on any one of a symbolic summary which is a terminal node of an execution tree obtained by the symbolic-execution, a decision table based on the symbolic summary, and a source code. The program analysis apparatus visualizes the influenced segment of the identified program in any mode of the symbolic summary, the source code, and the decision table.

Claims

1. A program analysis apparatus, comprising:

a processor;

a storage device;

a symbolic-execution processing part to execute symbolic-execution on a program stored in the storage device;

a change point reception part to receive an input of a change point of the program; and

an influenced segment analysis part to identify an influenced segment which is a segment of the program to be influenced if the program is changed for the change point, based on a result of the symbolic-execution.

2. The program analysis apparatus according to claim 1, wherein the influenced segment analysis part identifies the influenced segment based on a source code of the program, a symbolic summary configured of a terminal node of an execution tree obtained by the symbolic-execution, and trace information which is a set of trace elements acquired in a process of the symbolic-execution and being information including a processing content and a variable state for each processing block of the source code.

3. The program analysis apparatus according to claim 1, comprising an input device and a display device, wherein

symbolic-execution on the display device, and receives an input of the change point of the program by receiving a change operation on the symbolic summary from the input device.

4. The program analysis apparatus according to claim 1, comprising an input device and a display device, wherein

the change point reception part displays a decision table based on a symbolic summary which is a terminal node of an execution tree obtained by the symbolic-execution on the display device, and receives an input of a change point of the program by receiving a change operation on the decision table from the input device.

5. The program analysis apparatus according to claim 1, comprising an input device and a display device, wherein

the change point reception part displays a source code of the program on the display device and receives an input of a change point of the program by receiving a change operation on the source code from the input device.

6. The program analysis apparatus according to claim 1, comprising a display device to display at least one of a screen in which the influenced segment is shown by a symbolic summary which is a terminal node of an execution tree obtained by the symbolic-execution, a screen in which the influenced segment is shown by a source code of the program, and a screen in which the influenced segment is shown by a decision table based on the symbolic summary.

7. The program analysis apparatus according to claim 2, wherein the influenced segment analysis part identifies at least one of a trace element A being the trace element in which a substitution is made to a variable relating to the change point, and a trace element B whose processing content is a branch or substitution among trace elements corresponding to processing executed before execution of the processing corresponding to the trace element A, and identifies a segment of the program corresponding to the identified trace element as the influenced segment.

8. The program analysis apparatus according to claim 7, wherein, for each of the identified trace elements, the influenced segment analysis part identifies a trace element having a processing block common to the each trace element, among the trace elements forming the trace information, and obtains an influence level due to a modification of the program for the change point, based on the number of the identified trace elements.

9. The program analysis apparatus according to claim 8, comprising a display device, wherein

the influenced segment analysis part displays the influenced segments corresponding to the identified trace elements in an order of the influence level on the display device.

10. A program analysis method to be executed by a program analysis apparatus including a processor and a storage device, the method comprising the steps, executed by the program analysis apparatus, of:

performing symbolic-execution on a program stored in the storage device;

receiving an input of a change point of the program; and

identifying an influenced segment which is a segment of the program having a possibility of being influenced when the program is changed for the change point.

11. The program analysis method according to claim 10, wherein

the program analysis apparatus identifies the influenced segment based on a source code of the program, a symbolic summary configured of a terminal node of an execution tree acquired by the symbolic-execution, and trace information which is a set of trace elements acquired in a process of the symbolic-execution and being information including a processing content and a variable state for each processing block of the source code.

12. The program analysis method according to claim 10, wherein

the program analysis apparatus further includes an input device and a display device, and

the program analysis apparatus displays a symbolic summary which is a terminal node of an execution tree obtained by the symbolic-execution on the display device, and receives an input of a change point of the program by receiving a change operation on the symbolic summary from the input device.

13. The program analysis method according to claim 10, wherein

the program analysis apparatus further includes an input device and a display device, and

the program analysis apparatus displays a decision table based on a symbolic summary which is a terminal node of an execution tree obtained by the symbolic-execution on the display device, and receives an input of a change point of the program by receiving a change operation on the decision table from the input device.

14. The program analysis method according to claim 10, wherein

the program analyzing device further includes an input device and a display device, and

the program analysis apparatus displays a source code of the program on the display device, and receives an input of a change point of the program by receiving a change operation on the source code from the input device.

15. The program analysis method according to claim 10, wherein

the program analysis apparatus further includes a display device, and

the method further includes the step, executed by the program analysis apparatus, of displaying at least one of a screen in which the influenced segment is shown by a symbolic summary which is a terminal node of an execution tree obtained by the symbolic-execution, a screen in which the influenced segment is shown by a source code of the program, and a screen in which the influenced segment is shown by a decision table based on the symbolic summary.