Fujitsu Corporation

Takao Ohkubo

Toshiaki Yoshino

Masaaki Noro

Shigeki Suguta

A specification generating method for a computer program comprises the steps of: analyzing the syntax of a predetermined computer program; generating a control flowchart based on the analyzed syntax; generating an intermediate expression table based on the control flowchart; providing block numbers for calls and branched destinations; attaching an item number and a heading to every call and branched destination; and generating the specification of the computer program, using a natural language based on the item number and the heading.

Generating a natural language specification of a computer program by generating an intermediate expression table based on a flow chart from analyzed syntax of the program

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.

Growing community of inventors

Kawaski, Japan

Takao Ohkubo