JPH0476738A - Automatic diagnostic system for object program of compiler - Google Patents

Abstract

PURPOSE:To prevent the generation of missing or undetection of an invalid object by automatically diagnosing the validity of an object program for a developing compiler by a coding expert system utilizing artificial intelligence. CONSTITUTION:Rule coding for converting an object program formed by the compiler 2 into a pass tree format by an object passer 4 and diagnosing the invalidity of the object program is previously registered in a knowledge data base 6. The object program of the pass tree format is automatically diagnosed by an inference mechanism 7. Consequently, the generation of missing of an invalid object due to manual operation or the undetection of the invalid object due to a test program can be prevented.

Description

DETAILED DESCRIPTION OF THE INVENTION [Field of Industrial Application] The present invention relates to an automatic object program diagnosis system for a compiler, and in particular, for diagnosing the validity of an object program in a compiler (language processing processor) under development. It relates to a system that automatically diagnoses using a coding expert system that uses artificial intelligence.

[Conventional technology]

Conventionally, in order to determine whether the object program generated by a compiler is correct, humans have to visually check the intermediate language program list output by an object list conversion mechanism built into the object generation phase of the compiler. This has been confirmed using a comprehensive evaluation package.

[Problem to be solved by the invention]

In the conventional object program diagnosis method described above,
Even if the object is displayed in an incorrect format on the object list, the error may be overlooked due to human error, or even when the test program is used to confirm running, the object instruction section that was incorrectly generated under the test conditions may not run or may not run. However, the problem is that the result is correct by chance, and invalid objects are overlooked.

In addition, the object patterns generated by compilers generally have a huge number of combinations, and manual diagnosis or diagnosis using test programs requires a considerable amount of man-hours, and there is also the problem that these methods alone are reaching their limits.

[Means to solve the problem]

The compiler object program automatic diagnosis system of the present invention includes a source program, a compiler to be diagnosed that translates the source program, and an intermediate language program that stores an intermediate language program generated by the compiler as a result of translating the source program. a list file, and an object parser that inputs the intermediate language list file and converts it into a structure that is easy to process by an inference mechanism.

A parse tree file that stores the result of converting an object program into a LISP 8 structure by the object parser, and knowledge used to diagnose whether the intermediate language program generated by the compiler is a correct object. The system includes a database, an inference mechanism for diagnosing an object program by inputting a parse tree file based on the knowledge database, and a list of diagnosis results of the object program output by the inference mechanism.

〔Example〕

Next, the present invention will be explained in detail with reference to the drawings.

FIG. 1 shows the configuration of an object program automatic diagnosis system. In FIG. 1, the object program automatic diagnosis system of this embodiment includes a source program 1, a compiler to be diagnosed 2, an intermediate language list file 3, an object parser 4, a parse tree file 5, a knowledge database 6, and an inference mechanism 7. and the inference result list 8 constitute the main part.

FIG. 2 shows input/output data of each mechanism in an embodiment of the present invention. In FIG. 2, in this embodiment, there are a transport instruction 21 that is part of the source program of the language that is the target of object program diagnosis and input to the compiler, and an intermediate language program list 2 that is the result of that part.
2, a birth tree 23 as a result of converting the intermediate language program list 22 by a parser, and rule coding 24 stored in a knowledge base used for diagnosing an object program. Next, the operation of the compiler object program automatic diagnosis system configured as described above will be explained.

When the compiler 2 receives the source program 1, it generates an intermediate language program in an object generation phase. This is usually one level lower than the language level of the source program. The transfer instruction 21 in the source program is
The compiler 2 expands it into a base register load instruction (LBD) and a memory migration instruction (MVCE) as shown in the intermediate language program 22. This becomes the input for the next inference function, but as it is difficult to process as it is, it is converted by the object parser into a LISP 8-style structure 23, and the converted program is stored in the parse tree file 5. The structure of the parse tree is created exclusively for intermediate language programs (in this case, assembler language), and the instruction format of the LBD instruction is analyzed to create a structure in which component values are arranged in a list format.

In addition, the knowledge database used to determine whether an object program is correct or not is stored in advance with rule-coding rules for generating the object program. Now, when there is a rule that ``the second operand modified pace register used in the pace register load instruction in the intermediate language program of the object program to be diagnosed is not allowed to be anything other than B1.''
Rule coding 24 is registered in advance in the knowledge database. The knowledge expression of rule coding 24 is called a frame, which is a declarative knowledge expression format for expressing systematic knowledge. In this example, the pace register modification of the second operand of the LBD instruction is other than B1 (BO, B2 ．B
S, B4゜B5. Be, B7), it expresses that it is a violation of the rules.

When the inference mechanism 7 extracts one instruction from the parse tree file 23, it infers whether the list structure matches the rule coding 24 registered in the knowledge database 6. The results are output to the inference result list 8. After inferring all the rule codings registered in the knowledge database 6, the next command is extracted from the parse tree file 6 and the same process is repeated until all the parse tree files are input.

〔Effect of the invention〕

As explained above, the present invention converts an object program generated by a compiler into a parse tree format using an object parser, and registers rule coding for diagnosing irregularities in the object program in advance in the knowledge pace. By automatically diagnosing the object program in the parse tree format using an inference mechanism, it is possible to prevent an incorrect object from being overlooked manually or an incorrect object from being detected by a test program. Automation is also effective in reducing quality work costs. In addition, when modifying the compiler and detecting a relevant part of an object, the detection conditions for the relevant part can be rule-coded and registered in the knowledge database, thereby making it possible to automatically detect the relevant part.

[Brief explanation of drawings]

FIG. 1 is an overall configuration diagram showing a compiler object program automatic diagnosis system according to an embodiment of the present invention, and FIG. 2 is a specific example of data input and output by each mechanism according to an embodiment of the present invention. FIG. 1... Source program, 2... Compiler, 3.
...Intermediate language list file, 4...Object parser, 5...Parse tree file, 6...Knowledge database, 7...Inference mechanism, 8...Inference result list, 21...Source program Transfer order part, 22
...Object instruction part of the transfer instruction, 23...Parse tree part of the pace register load instruction, 24...
Example of rule coding. Encounter /il

Claims (1)

[Claims] Input a source program, a compiler to be diagnosed that translates the source program, an intermediate language list file that stores an intermediate language program generated by the compiler as a result of translating the source program, and the intermediate language list file. , an object parser that converts the structure into a structure that is easy for the inference mechanism to process, and an object program that is converted into a LI
A parse tree file that stores the result of conversion into the SP S-formula structure, a knowledge database used to diagnose whether the intermediate language program generated by the compiler is a correct object, and the knowledge database. An object program automatic diagnosis system for a compiler, comprising: an inference mechanism that inputs a parse tree file to diagnose an object program; and a list of diagnosis results of the object program output by the inference mechanism.