US5862382A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Program analysis system and program analysis method
Assignee: Toshiba Corp
•
Filing: 1996-05-07
•
Granted: 1999-01-19
•
Expires: 2016-05-07
Abstract
Abstract It is an object of this invention to provide a program analysis system and a program analysis method which efficiently analyze the source code of a program through static analysis and, based on the analysis result, makes it easy for the user to understand the process contents and source code containing input/output specifications. To achieve this object, the data information extracting means (1) extracts from the source code the data information representing the structure of data items contained in the source code. The relation information extracting means (5) extracts relation information representing the relation among data items for each position in the source code, based on the source code and the data information. The process information extracting means (6) extracts various types of relation information on each process in the source code as the process information representing the process, based on the source code, data information, and relation information. The specifying module (7) enables the user to specify an output range and form. The outputting means (2) outputs extracted information in the specified form.
Inventors
- 👤 Yoshio Kataoka
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-03 00:58
CPC Classifications
G; G06; G06F; G06F8/00; G06F8/70; G06F8/75
Claims Analysis
Total Claims: 44
Claim 1
Independent Claim
95 words
A program analysis system for analyzing a source code of a computer program which represents processes for data comprising: a data information extracting means for extracting data information which represents a structure of each data; a relation information extracting means for extracting relation information between data of specified position in the source code based on the source code and the data information; and a process information extracting means for extracting each relation information about specified process in the source code as process information based on the source code, the data information and the relation information.
Claim 2
Dependent Claim
95 words
A program analysis system for analyzing a source code of a computer program which represents processes for data comprising: a data information extracting means for extracting data information which represents a structure of each data; a relation information extracting means for extracting relation information between data of specified position in the source code based on the source code and the data information; and a process information extracting means for extracting each relation information about specified process in the source code as process information based on the source code, the data information and the relation information.
Claim 3
Dependent Claim
25 words
A program analysis system of claim 1; further comprising a referencing means for referencing another file relating to the source code with the source code.
Claim 4
Dependent Claim
44 words
A program analysis system of claim 1; wherein the data information has a structure D for storing the information of each data and a structure T for storing the information of each data type; and the structure D is related to corresponding structure T.
Claim 5
Dependent Claim
19 words
A program analysis system of claim 1; wherein the relation information extracting means extracts a kind of the relation.
Claim 6
Dependent Claim
21 words
A program analysis system of claim 1, further comprising an analysis range specifying means for specifying a range of the extracting.
Claim 7
Dependent Claim
41 words
A program analysis system of claim 1, further comprising: an outputting range specifying means for specifying a range of the extracted data to be output; and a selecting means for selecting information corresponding to the specified range from each extracted information.
Claim 8
Dependent Claim
51 words
A program analysis system of claim 6, further comprising: a first detecting means for detecting a repetition structure in the source code; wherein the selecting means selects the information of process for two or more times repeats and one or less time repeat about a part of the detected repetition structure.
Claim 9
Dependent Claim
50 words
A program analysis system of claim 6, further comprising: a second detecting means for detecting a selection structure in the source code; wherein the selecting means selects the information of each process corresponding to each branch of a condition for the selection for a part of the detected selection structure.
Claim 10
Dependent Claim
29 words
A program analysis system of claim 1, wherein the source code and one of the extracted information are displayed on a same display unit or on neighboring display units.
Claim 11
Dependent Claim
32 words
A program analysis system of claim 9, wherein, when a part of the source code or the information is specified, the part of the counterpart corresponding to the specified part is highlighted.
Claim 12
Dependent Claim
44 words
A program analysis system of claim 1, wherein the process information extracting means extracts a combination of the relation information before the process to be performed by the source code and the relation information after the process to be performed by the source code.
Claim 13
Dependent Claim
48 words
A program analysis system of claim 11, wherein the process information extracting means has: a consistency detecting means for detecting a consistency between data by tracing the relation information; and a modifying means for modifying the relation information based on the consistency detected by the consistency detecting means.
Claim 14
Dependent Claim
75 words
A program analysis system for analyzing a source code of a computer program which represents processes for data comprising: a data information extracting means for extracting data information which represents a structure of each data; a relation information extracting means for extracting relation information between data of specified position in the source code based on the source code and the data information; and an analysis range specifying means for specifying a range of the extracting.
Claim 15
Dependent Claim
75 words
A program analysis system for analyzing a source code of a computer program which represents processes for data comprising: a data information extracting means for extracting data information which represents a structure of each data; a relation information extracting means for extracting relation information between data of specified position in the source code based on the source code and the data information; and an analysis range specifying means for specifying a range of the extracting.
Claim 16
Dependent Claim
94 words
A program analysis system for analyzing a source code of a computer program which represents processes for data comprising: a data information extracting means for extracting data information which represents a structure of each data; a relation information extracting means for extracting relation information between data of specified position in the source code based on the source code and the data information; an outputting range specifying means for specifying a range of the extracted data to be output; and a selecting means for selecting information corresponding to the specified range from each extracted information.
Claim 17
Dependent Claim
94 words
A program analysis system for analyzing a source code of a computer program which represents processes for data comprising: a data information extracting means for extracting data information which represents a structure of each data; a relation information extracting means for extracting relation information between data of specified position in the source code based on the source code and the data information; an outputting range specifying means for specifying a range of the extracted data to be output; and a selecting means for selecting information corresponding to the specified range from each extracted information.
Claim 18
Dependent Claim
51 words
A program analysis system of claim 14, further comprising: a first detecting means for detecting a repetition structure in the source code; wherein the selecting means selects the information of process for two or more times repeats and one or less time repeat about a part of the detected repetition structure.
Claim 19
Dependent Claim
50 words
A program analysis system of claim 14, further comprising: a second detecting means for detecting a selection structure in the source code; wherein the selecting means selects the information of each process corresponding to each branch of a condition for the selection for a part of the detected selection structure.
Claim 20
Dependent Claim
85 words
A program analysis system for analyzing a source code of a computer program which represents processes for data comprising: a data information extracting means for extracting data information which represents a structure of each data; and a relation information extracting means for extracting relation information between data of specified position in the source code based on the source code and the data information; wherein the source code and one of the extracted information are displayed on a same display unit or on neighboring display units.
Claim 21
Dependent Claim
85 words
A program analysis system for analyzing a source code of a computer program which represents processes for data comprising: a data information extracting means for extracting data information which represents a structure of each data; and a relation information extracting means for extracting relation information between data of specified position in the source code based on the source code and the data information; wherein the source code and one of the extracted information are displayed on a same display unit or on neighboring display units.
Claim 22
Dependent Claim
32 words
A program analysis system of claim 17, wherein, when a part of the source code or the information is specified, the part of the counterpart corresponding to the specified part is highlighted.
Claim 23
Dependent Claim
79 words
A program analysis method for analyzing a source code of a computer program which represents processes for data comprising steps for: extracting data information which represents a structure of each data; extracting relation information between data of specified position in the source code based on the source code and the data information; and extracting each relation information about specified process in the source code as process information based on the source code, the data information and the relation information.
Claim 24
Dependent Claim
79 words
A program analysis method for analyzing a source code of a computer program which represents processes for data comprising steps for: extracting data information which represents a structure of each data; extracting relation information between data of specified position in the source code based on the source code and the data information; and extracting each relation information about specified process in the source code as process information based on the source code, the data information and the relation information.
Claim 25
Dependent Claim
24 words
A program analysis method of claim 19, further comprising a step for referencing another file relating to the source code with the source code.
Claim 26
Dependent Claim
45 words
A program analysis method of claim 19, wherein the data in formation has a structure D for storing the information of each data and a structure T for storing the information of each data type; and the structure D is related to corresponding structure T.
Claim 27
Dependent Claim
21 words
A program analysis method of claim 19, wherein the step for extracting the relation information extracts a kind of the relation.
Claim 28
Dependent Claim
46 words
A program analysis method of claim 19, wherein the step for extracting the process information extracts a combination of the relation information before the process to be performed by the source code and the relation information after the process to be performed by the source code.
Claim 29
Dependent Claim
49 words
A program analysis method of claim 23, wherein the step for extracting the process information has: a step for detecting a consistency between data by tracing the relation information; and a step for modifying the relation information based on the consistency detected by the step for detecting the consistency.
Claim 30
Dependent Claim
18 words
A program analysis method of claim 19, further comprising a step for specifying a range of the extracting.
Claim 31
Dependent Claim
37 words
A program analysis method of claim 19, further comprising: a step for specifying a range of the extracted data to be output; and a step for selecting information corresponding to the specified range from each extracted information.
Claim 32
Dependent Claim
50 words
A program analysis method of claim 26, further comprising: a step for detecting a repetition structure in the source code; wherein the step for selecting selects the information of process for two or more times repeats and one or less time repeat about a part of the detected repetition structure.
Claim 33
Dependent Claim
49 words
A program analysis method of claim 26, further comprising: a step for detecting a selection structure in the source code; wherein the step of selecting selects the information of each process corresponding to each branch of a condition for the selection for a part of the detected selection structure.
Claim 34
Dependent Claim
29 words
A program analysis method of claim 19, wherein the source code and one of the extracted information are displayed on a same display unit or on neighboring display units.
Claim 35
Dependent Claim
32 words
A program analysis method of claim 19, wherein, when a part of the source code or the information is specified, the part of the counterpart corresponding to the specified part is highlighted.
Claim 36
Dependent Claim
59 words
A program analysis method for analyzing a source code of a computer program which represents processes for data comprising steps for: extracting data information which represents a structure of each data; extracting relation information between data of specified position in the source code based on the source code and the data information; and specifying a range of the extracting.
Claim 37
Dependent Claim
59 words
A program analysis method for analyzing a source code of a computer program which represents processes for data comprising steps for: extracting data information which represents a structure of each data; extracting relation information between data of specified position in the source code based on the source code and the data information; and specifying a range of the extracting.
Claim 38
Dependent Claim
74 words
A program analysis method for analyzing a source code of a computer program which represents processes for data comprising steps for: extracting data information which represents a structure of each data; extracting relation information between data of specified position in the source code based on the source code and the data information; specifying a range of the extracted data to be output; and selecting information corresponding to the specified range from each extracted information.
Claim 39
Dependent Claim
74 words
A program analysis method for analyzing a source code of a computer program which represents processes for data comprising steps for: extracting data information which represents a structure of each data; extracting relation information between data of specified position in the source code based on the source code and the data information; specifying a range of the extracted data to be output; and selecting information corresponding to the specified range from each extracted information.
Claim 40
Dependent Claim
50 words
A program analysis method of claim 32, further comprising: a step for detecting a repetition structure in the source code; wherein the step for selecting selects the information of process for two or more times repeats and one or less time repeat about a part of the detected repetition structure.
Claim 41
Dependent Claim
49 words
A program analysis method of claim 32, further comprising: a step for detecting a selection structure in the source code; wherein the step for selecting selects the information of each process corresponding to each branch of a condition for the selection for a part of the detected selection structure.
Claim 42
Dependent Claim
75 words
A program analysis method for analyzing a source code of a computer program which represents processes for data comprising steps for: extracting data information which represents a structure of each data; and extracting relation information between data of specified position in the source code based on the source code and the data information; wherein the source code and one of the extracted information are displayed on a same display unit or on neighboring display units.
Claim 43
Dependent Claim
75 words
A program analysis method for analyzing a source code of a computer program which represents processes for data comprising steps for: extracting data information which represents a structure of each data; and extracting relation information between data of specified position in the source code based on the source code and the data information; wherein the source code and one of the extracted information are displayed on a same display unit or on neighboring display units.
Claim 44
Dependent Claim
32 words
A program analysis method of claim 35, wherein, when a part of the source code or the information is specified, the part of the counterpart corresponding to the specified part is highlighted.
References Cited (Backward Citations)
US4860203A
Cited
US4931928A
Cited
US5408660A
Cited
US5375125A
Cited
US5469572A
Cited
US5432942A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2002-01-18 | 2002-07-20 | 2003-01-19 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2006-01-18 | 2006-07-20 | 2007-01-19 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2010-01-18 | 2010-07-20 | 2011-01-19 | $7700.00 | Window Closed / Lapsed |