JPS62231335A - Coding expert system - Google Patents

Abstract

PURPOSE:To improve coding supporting effect by providing a knowledge base to store the knowledge necessary to debug and modify a program and detecting the coding based upon the knowledge base. CONSTITUTION:A program 2, which comes to be a processing object, is inputted from an input means to a reasoning mechanism 3. The reasoning mechanism 3 reasons whether or not the coding, which comes to be the object of a processing purpose, such as the bug detection and the remodelling is present in the light of a knowledge base 1, in which the prescribed knowledge is stored, to the program 2. When such a coding is present, the advice of the correcting method or the actual correcting example is outputted to a detected coding part. Thus, the coding supporting effect can be increased.

Description

[Detailed Description of the Invention] [Field of Industrial Application] The present invention relates to an expert system that supports the development of software, and in particular, to an expert system that supports the development of software. A function that supports software production and educates programmers on the know-how for good coding, and modification work that automatically detects parts that require modification in response to changes in software/hardware settings and teaches how to modify them. The present invention relates to a knowledge base system that includes at least one of the functions that support.

[Conventional technology]

Conventionally, practical program development has been done manually. As a result, bugs occurred, and even when performing the same processing, there were differences in coding due to skill and other factors. Regarding checking for coding mistakes, we check for syntax errors and simple general semantic errors using compilers, etc.
No advanced checks have been performed on the content.

[Problem that the invention seeks to solve]

To code a certain field, for example, a certain module of an operating system, there is a variety of know-how specific to that software, but coding support such as error checking using knowledge in such a specific field is not possible with compilers, etc. This is not possible with existing systems. Furthermore, it takes many years and experience through failure for program developers to acquire such know-how specific to a certain field. As a result, after the program development was completed, modifications,
During maintenance, a phenomenon occurs in which the same coding mistakes that are easy to make in that field occur over and over again.

The present invention has been made in view of these circumstances,
The objective is to provide a coding expert system that provides highly effective coding support.

[Means for solving problems]

The coding expert system of the present invention comprises means for storing knowledge necessary for at least one of debugging and modifying a program as a knowledge base, an input means for inputting a program to be processed, and a method based on the knowledge base. , Infer whether or not there is coding targeted for processing purposes in the program input by the human means, and provide advice on how to correct the coding part detected as a result of the inference, and the content directly corrected. and an inference means for outputting at least one of the two.

[Effect]

The inference means infers whether or not there is coding to be processed for a processing purpose such as bug detection or modification with respect to the program to be processed inputted from the input means in reference to a knowledge base in which predetermined knowledge is stored; If such coding exists, at least one of advice on a correction method and directly corrected content is output for the detected coding portion.

〔Example〕

Next, embodiments of the present invention will be described with reference to the drawings.

FIG. 1 is an explanatory diagram of the configuration of an embodiment of the present invention, and the coding expert system of this embodiment has various knowledge regarding coding, that is, patterns of coding errors to be checked.

A knowledge base 1 that inputs coding know-how to improve execution performance, knowledge of usage changes to support modifications due to usage changes, etc., a program 2 to be processed, and a program that detects bugs in the program 2. It consists of an inference mechanism 3 that infers whether or not coding exists for the purpose of modification, etc., and outputs an output 4. In this embodiment, the output 4 includes detected coding, explanation, advice, or corrected coding.

In this embodiment, the knowledge base 1 stores the following knowledge. Note that this knowledge is classified by scope of application, from general knowledge to knowledge specific to specific areas.

- Patterns of coding mistakes that should be checked.Patterns of coding mistakes that should be detected, such as coding that is easy to make mistakes, and those that occur infrequently but can lead to fatal bugs.

・Good coding know-how Bad coding from the perspective of performance, ease of maintenance, etc.
Good coding patterns.

・Contents of specification changes Knowledge of which coding should be changed and how to support modification due to changes in hardware/software specifications.

・Knowledge of other knowledge subject areas, general know-how and knowledge of coding, etc.

This knowledge is expressed in knowledge representation formats such as frames, production rules, and scripts. General and static knowledge, such as the other knowledge mentioned above, is stored as frames. Production rules are also stored internally in frame format.

Scripts are used to describe processing patterns and procedures to be detected.

In addition, the processing target program 2 in Figure 1 is a program that performs analysis using the coding expert system, and this program is converted into a list-structured data format in advance to facilitate processing such as matching with detected patterns. has been done.

The inference mechanism 3 performs inference using production rules, inference using frames such as inheritance, default, and demon, understanding the processing contents of a program using a script, and inference using matching.

The resulting output 4 is composed of detected coding for purposes such as error detection and modification support, an explanation of why the part was detected, advice on a correction method, or specific correction coding.

FIG. 2 is a flowchart showing the main parts of the processing of this embodiment, and the operation of this embodiment will be explained below with reference to each figure.

As shown in FIG. 2, first, in flow 10, a part of the program to be processed is input to the inference mechanism 3. As shown in flow 20, the inference mechanism 3 detects whether problematic coding defined in the knowledge base exists in the input program. As a specific inference method, for example, using an input command word as a trigger,
We perform forward inference using production rules and first derive the coding hypothesis that is the problem. When a hypothesis is established, it is verified by backward inference or by matching it with processing patterns based on scripts. Hypotheses may be tested using static facts described by frames, or procedures may be invoked by frame demons to perform the necessary fact checks.

If the hypothesis is verified, as shown in flow 30, the detected coding, an explanation of why the coding was detected, and advice on how to correct it or an example of the actual correction are output. And flow 40
When all the input program parts are checked by the decision branching process, the process is completed.

Although the embodiments described above are configured to be applicable to both debugging and modification of programs, the present invention is applicable to systems whose processing purpose is at least one of them.

FIG. 3 is a block diagram showing an example of an information processing device implementing the present invention, in which a program to be processed and a knowledge base necessary for inference, etc. are stored in advance in the auxiliary storage device 50, and the main It is loaded into the storage device 51.

As described above, the central processing unit 52 sequentially reads the processing target programs on the main storage device 51 and performs inference, and the output 4 as a result is sent to the input/output interface 53.
It is output to the output device 54 via. The operator can refer to the output contents of the output device 54 and perform operations necessary to modify or change the program to be processed. In addition,
The input device 55 is used when starting the system, selecting processing items, responding to questions from the system, and the like.

〔Effect of the invention〕

As explained above, according to the present invention, it is possible to improve the quality of Softreshare by detecting program errors, and to teach programmers good coding know-how from the viewpoint of execution performance and maintenance efficiency. .

That is, inputting general know-how regarding programming languages and the like into the knowledge base will be effective when developing general programs. In addition, when developing, maintaining, and modifying large-scale software such as operating systems,
Coding rules specific to that software.

There is a lot of know-how, and it is also possible to input it into the knowledge base to detect bugs and provide know-how education. Furthermore, by inputting the details of changes in specifications, etc., it is possible to improve the efficiency of modification work associated with changes in specifications. As described above, by applying the present invention to software development work, the quality, productivity, and execution efficiency of software can be improved, and coding techniques can be taught.

[Brief explanation of drawings]

FIG. 1 is a configuration explanatory diagram of an embodiment of the present invention, FIG. 2 is a flowchart showing main parts of processing in the embodiment of the present invention, and FIG. 3 is an example of an information processing device implementing the present invention. It is a block diagram. In the figure, 1... Knowledge pace, 2... Program to be processed, 3... Reasoning mechanism, 4... Output including detection coding, explanation, advice, or correction coding.

Claims (1)

[Scope of Claims] Means for storing knowledge necessary for at least one of program debugging and modification as a knowledge base; input means for inputting a program to be processed; and said input means in light of said knowledge base. Infers whether or not there is coding targeted for processing purposes in the program input by A coding expert system consisting of an inference means that outputs.