US5742827A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Method of automatically forming program specifications and apparatus therefor
Assignee: Fujitsu Ltd
•
Filing: 1995-11-09
•
Granted: 1998-04-21
•
Expires: 2015-11-09
Abstract
Abstract The syntax of an input program is analyzed, variables substituted for the substitution sentences from an interim expression thereof are classified into categories by utilizing rules of naming variables or the data structure, and a set of substitution sentences having variables of the same kind substituted for the destinations is picked up and is converted into a table. The syntax is analyzed to obtain a syntax structure and data attribute, and the data flow is analyzed to obtain data flow information. By using such information, the use of the temporary variables in the program is judged and the temporary variables that can be erased are erased. The table conversion and the interim expression from which the temporary variables are erased are replaced by the description of a natural language to form specifications.
Inventors
- 👤 Takao Ohkubo
- 👤 Toshiaki Yoshino
- 👤 Shigeki Suguta
- 👤 Masaaki Noro
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-03 02:08
CPC Classifications
G; G06; G06F; G06F8/00; G06F8/40; G06F8/41; G06F8/43; G06F8/433; G06F8/10; G06F8/20; G06F8/70
Claims Analysis
Total Claims: 22
Claim 1
Independent Claim
95 words
A method, implemented by a computer, of automatically forming program specifications by converting a program into a natural language, the program including sentences and variables, the sentences having destinations with variables of the program substituted for the destinations, the substituted variables being referred to as destination variables, and the method comprising: classifying the variables of the program into different categories based upon rules for classifying variables; grouping, into a set, sentences having destination variables classified into the same category; converting the set of sentences into a table; and converting the table into a natural language.
Claim 2
Independent Claim
95 words
A method, implemented by a computer, of automatically forming program specifications by converting a program into a natural language, the program including sentences and variables, the sentences having destinations with variables of the program substituted for the destinations, the substituted variables being referred to as destination variables, and the method comprising: classifying the variables of the program into different categories based upon rules for classifying variables; grouping, into a set, sentences having destination variables classified into the same category; converting the set of sentences into a table; and converting the table into a natural language.
Claim 3
Dependent Claim
86 words
A method of automatically forming program specifications according to claim 1, wherein the program includes rows of sentences which are part of a conditional branch, the step of grouping sentences comprises grouping, into the set, sentences of the rows of sentences having destination variables classified into the same category, and the step of converting the set of sentences into the table comprises classifying the rows of sentences in accordance with branching conditions of the conditional branch and converting the classified rows of sentences into a table.
Claim 4
Dependent Claim
130 words
A method of automatically forming program specifications according to claim 2, wherein the program includes sentences which are part of a conditional branch and sentences which are not part of a conditional branch, the step of grouping sentences comprises grouping, into a first set, sentences which are not a part of a conditional branch and which have destination variables classified into the same category, grouping, into a second set, sentences which are part of a conditional branch and have destination variables classified into the same category, and the step of converting the set of sentences into a table comprises converting the first set of sentences into a first table, converting the second set of sentences into a second table, and merging the first and second tables into a combined table.
Claim 5
Dependent Claim
35 words
A method as in claim 1, converting a program having variables into a natural language, wherein the classifying step classifies the variables of the program into different categories based upon data attributes of the variables.
Claim 6
Dependent Claim
86 words
A method of automatically forming program specifications according to claim 4, wherein the program includes rows of sentences which are part of a conditional branch, the step of grouping sentences comprises grouping, into the set, sentences of the rows of sentences having destination variables classified into the same category, and the step of converting the set of sentences into the table comprises classifying the rows of sentences in accordance with branching conditions of the conditional branch and converting the classified rows of sentences into a table.
Claim 7
Dependent Claim
130 words
A method of automatically forming program specifications according to claim 5, wherein the program includes sentences which are part of a conditional branch and sentences which are not part of a conditional branch, the step of grouping sentences comprises grouping, into a first set, sentences which are not a part of a conditional branch and which have destination variables classified into the same category, grouping, into a second set, sentences which are part of a conditional branch and have destination variables classified into the same category, and the step of converting the set of sentences into a table comprises converting the first set of sentences into a first table, converting the second set of sentences into a second table, and merging the first and second tables into a combined table.
Claim 8
Independent Claim
117 words
A method, implemented by a computer, of automatically forming program specifications from a program comprising: analyzing the program to form syntax structure information and data attribute information; forming data flow information by analyzing the data flow of the program; detecting temporary variables included in the program from said data attribute information; forming data inclusion relation information by analyzing inclusion relation of data from said data attribute information; judging the role of the temporary variables in the program that are detected based upon said syntax structure information, data attribute information, and erasing said temporary variables when they have a predetermined role; and forming the specifications by using a natural language from which said temporary variables have been erased.
Claim 9
Independent Claim
117 words
A method, implemented by a computer, of automatically forming program specifications from a program comprising: analyzing the program to form syntax structure information and data attribute information; forming data flow information by analyzing the data flow of the program; detecting temporary variables included in the program from said data attribute information; forming data inclusion relation information by analyzing inclusion relation of data from said data attribute information; judging the role of the temporary variables in the program that are detected based upon said syntax structure information, data attribute information, and erasing said temporary variables when they have a predetermined role; and forming the specifications by using a natural language from which said temporary variables have been erased.
Claim 10
Dependent Claim
28 words
A method of automatically forming program specifications according to claim 7, wherein said predetermined role is to improve the programming efficiency including holding the interim result of computation.
Claim 11
Dependent Claim
36 words
A method of automatically forming program specifications according to claim 7, wherein said role of the temporary variables is to use said temporary variables for a type conversion into the natural language by re-defining the data.
Claim 12
Dependent Claim
31 words
A method of automatically forming program specifications according to claim 7, wherein said temporary variables having said role are used for dividing data based on a parental relation of data structures.
Claim 13
Dependent Claim
31 words
A method of automatically forming program specifications according to claim 7, wherein said temporary variables having said role are used for synthesizing data based on a parental relation of data structures.
Claim 14
Independent Claim
133 words
An apparatus including a computer for automatically forming program specifications from a program comprising: syntax analyzing means which analyzes the program to form a first interim expression which expresses a syntax structure and data structure attribute; first interim expression means which holds the first interim expression that is formed by said syntax analyzing means; expression changing means which changes the expression of the program specifications into a second interim expression based on predetermined information of variables used in the program in the first interim expression in said first interim expression means; dictionary means having natural language information that corresponds to the second interim expression changed by said expression changing means; and natural language forming means which forms specifications written in a natural language from said second interim expression by using said dictionary means.
Claim 15
Independent Claim
133 words
An apparatus including a computer for automatically forming program specifications from a program comprising: syntax analyzing means which analyzes the program to form a first interim expression which expresses a syntax structure and data structure attribute; first interim expression means which holds the first interim expression that is formed by said syntax analyzing means; expression changing means which changes the expression of the program specifications into a second interim expression based on predetermined information of variables used in the program in the first interim expression in said first interim expression means; dictionary means having natural language information that corresponds to the second interim expression changed by said expression changing means; and natural language forming means which forms specifications written in a natural language from said second interim expression by using said dictionary means.
Claim 16
Dependent Claim
86 words
An apparatus for automatically forming program specifications according to claim 12, wherein the program includes sentences and variables, the sentences having destinations with variables of the program substituted for the destinations, the substituted variables being referred to as destination variables, and the apparatus further comprises table conversion means which classifies the variables of the program into different categories based upon rules of classifying variables, groups, into a set, sentences having destination variables classified into the same category, and converts the set of sentences into a table.
Claim 17
Dependent Claim
87 words
An apparatus for automatically forming program specifications according to claim 12, wherein the program includes sentences and variables, the sentences having destinations with variables of the program substituted for the destinations, the substituted variables being referred to as destination variables, and the apparatus further comprises table conversion means which classifies the variables of the program into different categories based upon data structures of the variables, groups, into a set, sentences having destination variables classified into the same category, and converts the set of sentences into a table.
Claim 18
Dependent Claim
129 words
An apparatus for automatically forming program specifications according to claim 12, wherein said expression changing means includes: data flow analyzing means which analyzes said first interim expression to pick up data flow information; second interim expression means having a second interim expression obtained as a result of analyzing said data flow analyzing means; temporary variable detecting means which detects temporary variables used in the program; data inclusion relation analyzing means which analyzes inclusion relation of data of variables; and temporary variable erasing means which judges the role of temporary variables in the program detected based on said syntax structure information, data attribute information, data flow information and data inclusion relation information, and erases said temporary variables from said second interim expression when said temporary variables having a predetermined role.
Claim 19
Dependent Claim
32 words
An apparatus for automatically forming program specifications according to claim 15, wherein said predetermined role of the temporary variables is to improve the programming efficiency including holding the interim result of computation.
Claim 20
Dependent Claim
33 words
An apparatus for automatically forming program specifications according to claim 15, wherein said predetermined role of the temporary variables is to use said temporary variables for the type conversion by re-defining the data.
Claim 21
Dependent Claim
34 words
An apparatus for automatically forming program specifications according to claim 15, wherein said temporary variables having said predetermined role are used for the division of data based on a parental relation of data structures.
Claim 22
Dependent Claim
34 words
An apparatus for automatically forming program specifications according to claim 15, wherein said temporary variables having said predetermined role are used for the synthesis of data based on a parental relation of data structures.
References Cited (Backward Citations)
US4706212A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2001-04-20 | 2001-10-20 | 2002-04-21 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2005-04-20 | 2005-10-20 | 2006-04-21 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2009-04-20 | 2009-10-20 | 2010-04-21 | $7700.00 | Window Closed / Lapsed |