JPH04322326A - Program correcting system - Google Patents

Abstract

PURPOSE:To reduce the man-hours of program transporting. CONSTITUTION:This system includes a grammar table 2 where grammar of a transporting destination system is stored, a grammar analyzing means 3 which discriminates whether a source program is adapted to grammar of the porting destination system or not and analyzes contents of grammar error at the time of detecting incompatible grammar, a syntax conjecturing means 4 which conjectures candidates of syntax rules adapted to the transporting destination system, a display/input device 5 for interactive correction of the source program a program correcting means 7 which corrects the source program in accordance with correction information received from the display/input device, and a correction program 6 where the syntax adapted to grammar of the transporting destination system and the syntax which is corrected to be adapted to it are stored.

Description

[Detailed description of the invention]

0001

[Industrial Field of Application] The present invention relates to a method for modifying a program, in particular, a method for modifying a program developed on a certain computer system.
This invention relates to a program modification method for modifying a source program to conform to the language specifications of other computer systems.

0002

2. Description of the Related Art Different computer systems often have extended grammars that take advantage of the characteristics of each computer system, even if the same language is used. Conventionally, when porting a source program that can be created and executed on one computer system to another computer system with a different language specification extension, it is important to consider whether the source program to be ported is compatible with the grammar of the latter computer system. To confirm and correct the program, the program developer must analyze the incompatible syntax himself, and use a text editor or the like to modify the program so that it conforms to the grammar of the latter computer system.

0003

[Problems to be Solved by the Invention] In the conventional program modification method described above, the program developer must be aware of all the differences in grammar between the computer system in which the program was developed and the computer system to be ported. The disadvantage is that as the scale of the process increases, the number of man-hours required increases.

SUMMARY OF THE INVENTION An object of the present invention is to solve the above-mentioned drawbacks and provide a program modification method that automates the modification of incompatible syntax in a source program and reduces the work involved in program porting.

[0005]

[Means for Solving the Problems] The program modification method of the present invention is such that when a source program is ported from a source system to a destination system, the program is modified so that the source program to be ported can be executed in the destination system. In the program modification method, it is determined whether the source program is compatible with the grammar of the porting destination system using a grammar table that stores the grammar of the porting destination system, and when an incompatible grammar is detected, the content of the grammar error is determined. A grammar analysis means for analyzing, a syntax estimation means for receiving the content of the grammar error detected by the grammar analysis means and estimating syntactic rule candidates suitable for the porting destination system, and modifying the source program interactively. a display/input device for modifying the source program, a program modification means for modifying the source program according to modification information received from the display/input device, and storing syntax that conforms to the grammar of the porting destination system and syntax that has been modified to conform. A modification program is included.

[0006]

DESCRIPTION OF THE PREFERRED EMBODIMENTS Next, the present invention will be explained in detail with reference to the drawings.

FIG. 1 is a block diagram showing the configuration of a computer system including an embodiment of the present invention.

In this embodiment, the source program 1 to be ported is
, a grammar table 2 that stores the grammar of the destination computer system in a table format, a grammar analysis means 3 that analyzes the grammar according to the grammar of the destination computer system based on the information in the grammar table 2, and a grammar analysis means Syntax estimation means 4 receives information on grammar errors from 3 and estimates syntax candidates that match the grammar of the porting destination system; display/input device 5 displays syntax rule candidates and inputs syntax correction information; program modification means 6 for modifying the source program 1 according to modification information input from the device/input device 5;
It consists of a modified program 7 that has been modified to match the grammar of the porting destination system.

First, the source program 1 to be ported is analyzed sentence by sentence by the grammar analysis means 3 according to the grammar of the porting destination system. At this time, the grammar analysis means 3 determines whether the sentence conforms to the grammar stored in the grammar table 2, and if it conforms to the sentence, outputs it as it is as a correction program 7. If the syntax does not conform to the grammar stored in the language specification table 2, it is determined what is written as an element of the incorrect syntax and which part of the grammar table 2 it does not conform to.

[0010] The syntax inference means 4 uses the contents of the error analyzed by the grammar analysis means 3 and the contents of the grammar table 2 to
A grammar element that can be written in an error part on the source program 1 is searched. The retrieved grammar elements are output to the display/input device 5 as candidates for corrected syntax, and the program developer is prompted to input a corrected image. The program modifying means 6 modifies the source program 1 based on the modified image inputted from the display/input device 5, and then rewrites the grammar analyzing means 3.
pass it on to

[0011] Grammar table 2 describes the definitions of terminal symbols and non-terminal symbols in Backus notation. Figure 2 shows the FORT
An example of defining a terminal symbol in the RAN language, shown in Figure 3 is FORTR.
Examples of definitions of nonterminal symbols in the AN language are shown below.

FIG. 4 shows a flowchart of the grammar analysis means 3. First, input one sentence of source program 1 (step 101).
, the following process is repeated until the source program ends (step 102).

The input sentence is decomposed into terminal symbols in order from the beginning of the sentence (step 103). When the analysis has been completed to the end of one sentence, that is, there are no more terminal symbols to be analyzed in one sentence (step 104), that sentence is output to the correction program 7 (step 105), and the next sentence is analyzed. I do.

If a terminal symbol exists, grammar analysis is performed by checking whether the arrangement of the terminal symbol is as described in the grammar table 2 (step 106). If there is no error in the arrangement of the terminal symbols as a result of the grammar analysis (step 106) (step 107), the next terminal symbol is analyzed. If there is a grammar error, the syntax estimation means 4 is called (step 108), and after generating a correct grammar candidate, the program correction means (step 10) is called.
9) rewrites the source program.

FIG. 5 shows a flowchart of the syntax inference means 4. The syntax guessing means 4 inputs the position of the terminal symbol or non-terminal symbol where the grammatical error has been detected (step 201), searches the grammar table 2, and finds a terminal symbol or non-terminal symbol that can be written at the position where the grammatical error exists. All are selected (step 203). The searched terminal symbols and non-terminal symbols are output to the display/input device 5 as candidates for corrected syntax.

The program correction means 6 inputs the correction information from the display/input device 5 and the position of the grammar error on the source program from the grammar analysis means 3, and uses these two pieces of information to correct the source program. do.

[0017]

Effects of the Invention As explained above, the present invention, when porting a source program developed in one computer system to another computer system, specifies the syntax that cannot be used in the latter computer system. By simultaneously performing syntax analysis and correction based on language specifications, the number of man-hours required for program porting work can be significantly reduced.

[Brief explanation of drawings]

FIG. 1: Block diagram of one embodiment of the present invention

[Figure 2] Diagram showing an example of the definition of terminal symbols

[Figure 3] Diagram showing an example of the definition of non-terminal symbols

[Figure 4] Flowchart of grammar analysis means

[Figure 5] Flowchart of syntax inference means

Claims (1)

[Claims] Claim 1: In a program modification method that modifies the source program to be executed in the porting destination system when a source program is ported from the porting source system to the porting destination system, the grammar of the porting destination system is stored. a grammar table for determining whether the source program is compatible with the grammar of the porting destination system, and a grammar analysis means for analyzing the contents of a grammar error when an incompatible grammar is detected; A syntax inference means that receives the contents of a detected grammatical error and infers syntactic rule candidates suitable for the porting destination system, a display/input device for interactively modifying the source program, and a display/input device. A program modification characterized in that it includes a program modification means for modifying a source program according to modification information received from a device, and a modification program that stores syntax that conforms to the grammar of a porting destination system and syntax that has been modified to conform. method.