Logic extraction support apparatus
First Claim
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.
1 Assignment
0 Petitions
Accused Products
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.
-
Citations
19 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. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
-
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. - View Dependent Claims (9, 10, 11, 12, 13)
-
-
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. - View Dependent Claims (15, 16, 17, 18, 19)
-
Specification