Logic extraction support apparatus

• US 20070074177A1
• Filed: 07/31/2006
• Published: 03/29/2007
• Est. Priority Date: 09/29/2005
• Status: Abandoned Application

• Current Assignee: Hitachi, Ltd.
• Original Assignee: Hitachi, Ltd.
• Inventors: Kashimoto, Takashi, Aoyama, Kazuyuki, Shinke, Hirofumi, Kurita, Shigeru
• Application Number:
  US11/496,888
• Publication Number:
  US 20070074177A1
• Time in Patent Office: Days
• US Class Current: 717/131
• CPC Class Codes: G06F 8/75 Structural analysis for program understanding

Abstract

In extracting logic by backward slice, all logic portions influencing an output start point are extracted and the extraction result contains logic not necessary for a user. In order to solve this, a user is made to designate input information on logic to be extracted from a program constituting an already existing system, and it is judged whether it is necessary to extract specific logic of each command statement of the program. Extraction necessity of specific logic from an analysis subject program is classified as follows. A command statement influenced by only an input designated by a user is classified into a command statement to be extracted, a command statement influenced by both an input designated by the user and an input not designated by the user is classified into a command statement to be corrected, and a command statement influenced by only an input not designated by the user is classified into a command statement not to be extracted.

Claims

1. A logic extraction support apparatus for supporting extraction of logic from a user designated program which logic is a set of command statements capable of being executed as a program, or correction of an extraction result, the apparatus comprising:

means for judging extraction necessity or correction necessity of each command statement or each data item contained in each command statement; and

means for outputting a judgement result.

2. The logic extraction support apparatus according to claim 1, further comprising means for outputting a set of command statements determined from a set of input items designated by a user, as a candidate for extraction subject logic.

3. The logic extraction support apparatus according to claim 1, wherein said judging means includes means for extracting as a command statement candidate to be corrected, a command statement influenced by both a variable determined from a set of input items designated by a user and a variable determined from a set of input items not designated by the user.

4. The logic extraction support apparatus according to claim 1, further comprising means for outputting in a distinguished manner a variable determined from a set of input items designated by a user and a variable determined from a set of input items not designated by the user.

5. The logic extraction support apparatus according to claim 1, wherein a variable determined from a set of input items not designated by a user is output as a logic candidate to be added to logic to be extracted or generated.

6. The logic extraction support apparatus according to claim 1, further comprising means for classifying and displaying the command statements and the data items in the program in accordance with a judgement result by said judging means.

7. The logic extraction support apparatus according to claim 6, wherein said classifying and displaying means displays a logic correction candidate portion, urging correction of sources, and if source correction is permitted, displaying again the logic correction candidate portion.

8. A logic extraction support method of supporting extraction of logic from a user designated program which logic is a set of command statements capable of being executed as a program, or correction of an extraction result, the method comprising steps of:

judging extraction necessity or correction necessity of each command statement or each data item contained in each command statement; and

outputting a judgement result.

9. The logic extraction support method according to claim 8, further comprising a step of outputting a set of command statements determined from a set of input items designated by a user, as a candidate for extraction subject logic.

10. The logic extraction support method according to claim 8, wherein said judging step includes a step of extracting as a command statement candidate to be corrected, a command statement influenced by both a variable determined from a set of input items designated by a user and a variable determined from a set of input items not designated by the user.

11. The logic extraction support. method according to claim 8, further comprising a step of outputting in a distinguished manner a variable determined from a set of input items designated by a user and a variable determined from a set of input items not designated by the user.

12. The logic extraction support method according to claim 8, wherein a variable determined from a set of input items not designated by a user is output as a logic candidate to be added to logic to be extracted or generated.

13. The logic extraction support method according to claim 8, further comprising a step of classifying and displaying the command statements and the data items in the program in accordance with a judgement result by said judging step.

14. A computer readable program for executing a logic extraction support method of supporting extraction of logic from a user designated program which logic is a set of command statements capable of being executed as a program running on a computer, or correction of an extraction result, the program comprising steps of:

judging extraction necessity or correction necessity of each command statement or each data item contained in each command statement; and

outputting a judgement result.

15. The program for executing a logic extraction support method according to claim 14, further comprising a step of outputting a set of command statements determined from a set of input items designated by a user, as a candidate for extraction subject logic.

16. The program for executing a logic extraction support method according to claim 14, wherein said judging step includes a step of extracting as a command statement candidate to be corrected, a command statement influenced by both a variable determined from a set of input items designated by a user and a variable determined from a set of input items not designated by the user.

17. The program for executing a logic extraction support method according to claim 14, further comprising a step of outputting in a distinguished manner a variable determined from a set of input items designated by a user and a variable determined from a set of input items not designated by the user.

18. The program for executing a logic extraction support method according to claim 14, wherein a variable determined from a set of input items not designated by a user is output as a logic candidate to be added to logic to be extracted or generated.

19. The logic extraction support method according to claim 14, further comprising a step of classifying and displaying the command statements and the data items in the program in accordance with a judgement result by said judging step.