Patent US5729676A successfully refreshed from Google Patents.
US5729676A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Method of generating data for evaluating programs
Assignee: NEC Corp
•
Filing: 1994-11-08
•
Granted: 1998-03-17
•
Expires: 2014-11-08
Abstract
Abstract A method of generating data for evaluating a source program comprising a program dividing process of reading the source program for controlling the operation of an information processing system and dividing the source program into program blocks each time a branch instruction and a label are detected and generating basic block data every program blocks, a variable data extracting process of extracting variable data for substituting and referring to a calling variable in the source program, a branch data generating process of generating branch data between the program blocks, for shifting from one program block to the other program block and storing the generated branch data, a path data generating process of generating path data for each processing path of the source program in order of the sequential program blocks, based on the variable data and the branch data, and a test data generating process of generating data for testing the source program from the path data and the variable data. Further, the method may preferably have a path data selecting process of selecting data about a main path from the path data and a test data generating process of generating test data from the path data selected by the path data selecting process and the variable data.
Inventors
- 👤 Masaharu Inoue
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-08 06:19
CPC Classifications
G; G06; G06F; G06F11/00; G06F11/36; G06F11/3668; G06F11/3672; G06F11/3676; G06F8/00; G06F8/20
Claims Analysis
Total Claims: 10
Claim 1
Independent Claim
160 words
A method of generating data for evaluating a source program, comprising the following processes: a program dividing process of reading the source program for controlling the operation of an information processing system, dividing the source program into program blocks each time a branch instruction is detected and dividing the source program into said program blocks each time a label is detected and generating basic block data for every program block; a branch data generating process of generating branch data between the program blocks, for shifting from one program block to another program block, based on the basic block data and storing said generated branch data; an arrival data generating process of generating an arrival data, by connecting said branch data, for allowing said source program to continue from the beginning to the individual program blocks and outputting the generated arrival data; and a test data generating process of generating data for testing said source program based on said arrival data.
Claim 2
Independent Claim
160 words
A method of generating data for evaluating a source program, comprising the following processes: a program dividing process of reading the source program for controlling the operation of an information processing system, dividing the source program into program blocks each time a branch instruction is detected and dividing the source program into said program blocks each time a label is detected and generating basic block data for every program block; a branch data generating process of generating branch data between the program blocks, for shifting from one program block to another program block, based on the basic block data and storing said generated branch data; an arrival data generating process of generating an arrival data, by connecting said branch data, for allowing said source program to continue from the beginning to the individual program blocks and outputting the generated arrival data; and a test data generating process of generating data for testing said source program based on said arrival data.
Claim 3
Dependent Claim
39 words
The method as claimed in claim 1, wherein each of said program blocks includes at least one basic block divided by said branch instruction and said label and at least one compound block comprising two or more basic blocks.
Claim 4
Dependent Claim
26 words
The method as claimed in claim 1, wherein said source program is written in a language including a statement for generating and maintaining the source program.
Claim 5
Independent Claim
182 words
A method of generating data for evaluating a source program, comprising: a program dividing process of reading the source program for controlling operation of an information processing system, dividing the source program into program blocks each time a branch instruction is detected and dividing the source program into said program blocks each time a label is detected and generating basic block data for every program block; a variable data extracting process of extracting variable data for substituting and referring to a calling variable in the source program; a branch data generating process of generating branch data between the program blocks, for shifting from one program block to another program block, based on the basic block data and storing said generated branch data; a path data generating process of generating path data indicating a path for processing the source program for each flow of the source program in a sequential order of the program blocks, based on said branch data; and a test data generating process of generating data for testing said source program, based on said path data and said variable data.
Claim 6
Independent Claim
182 words
A method of generating data for evaluating a source program, comprising: a program dividing process of reading the source program for controlling operation of an information processing system, dividing the source program into program blocks each time a branch instruction is detected and dividing the source program into said program blocks each time a label is detected and generating basic block data for every program block; a variable data extracting process of extracting variable data for substituting and referring to a calling variable in the source program; a branch data generating process of generating branch data between the program blocks, for shifting from one program block to another program block, based on the basic block data and storing said generated branch data; a path data generating process of generating path data indicating a path for processing the source program for each flow of the source program in a sequential order of the program blocks, based on said branch data; and a test data generating process of generating data for testing said source program, based on said path data and said variable data.
Claim 7
Dependent Claim
61 words
The method as claimed in claim 4, further including: a path selecting process of selecting a test path corresponding to a test data generating object from the path data in accordance with a predetermined reference; and a test data generating process of generating test data from data about the test path selected by said path selecting process and the variable data.
Claim 8
Dependent Claim
32 words
The method as claimed in claim 5, wherein a path selection reference is set so as to evaluate the program blocks without omission and minimize the number of paths to be selected.
Claim 9
Dependent Claim
39 words
The method as claimed in claim 4, wherein each of said program blocks includes at least one basic block divided by said branch instruction and said label and at least one compound block comprising two or more basic blocks.
Claim 10
Dependent Claim
26 words
The method as claimed in claim 4, wherein said source program is written in a language including a statement for generating and maintaining the source program.
References Cited (Backward Citations)
US939010A
Cited
US4802165A
Cited
US4819233A
Cited
JPH01100642A
Cited
US5050068A
Cited
JPH03271949A
Cited
JPH04111024A
Cited
JPH04137146A
Cited
JPH04260941A
Cited
JPH04271440A
Cited
US5193180A
Cited
US5381548A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2001-03-16 | 2001-09-15 | 2002-03-17 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2005-03-16 | 2005-09-15 | 2006-03-17 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2009-03-16 | 2009-09-15 | 2010-03-17 | $7700.00 | Window Closed / Lapsed |