A method of automatic program correction based on knowledge graph

A knowledge map and program technology, applied in program code conversion, software engineering design, instruments, etc., can solve the problem of not providing programming means, automatic correction, code knowledge map logical structure, construction method and practical application of automation are not well received Problems such as solving problems, achieving the effect of improving program writing efficiency, reducing writing workload, and reducing manual labor

Active Publication Date: 2022-06-28
ZHEJIANG SCI-TECH UNIV
View PDF11 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

At present, there are already existing methods for generating required program fragments through natural language processing. However, these methods require large-scale computing support of neural networks, and there is no unified standard. The logical structure, construction methods, and automated practical applications of code knowledge graphs are not It has not been solved well, and it cannot provide a complete programming method. Programmers need to be very rigorous when writing programs, and there must be no gaps or mistakes. Correction, programming is complicated, cumbersome, inefficient, and labor-intensive
[0003] Therefore, the existing program processing has the problems of complex writing, low efficiency, and large amount of manual labor.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A method of automatic program correction based on knowledge graph
  • A method of automatic program correction based on knowledge graph
  • A method of automatic program correction based on knowledge graph

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0055] The present invention will be further described below in conjunction with the examples, but not as a basis for limiting the present invention.

[0056] Example.

[0057] An automatic program correction method based on knowledge graph, such as figure 1 shown, including the following steps:

[0058] S1. Obtain open source code on the Internet, analyze the obtained source code through a code knowledge graph construction program, and generate a code knowledge graph;

[0059] S2. Write a skeleton program that allows for missing or errors;

[0060] S3. The skeleton program is analyzed through the code completion program, and the skeleton program is corrected and supplemented by using the code knowledge graph to obtain a complete program that is normally executed.

[0061] In the S1., the code knowledge graph is an RDF triple structure. The RDF triple structure consists of code entities and code relationships. Code entities are all syntactic components of a programming la...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a method for automatically correcting a program based on a knowledge graph, which includes the following steps: S1. Obtain open source code on the network, analyze the acquired source code through a code knowledge graph construction program, and generate a code knowledge graph; S2 . Write a skeleton program that allows missing or errors; S3. Analyze the skeleton program through the code completion program, use the code knowledge graph to correct and supplement the skeleton program, and obtain a complete program that is normally executed. The invention can automatically trim problematic skeleton programs to obtain complete programs, and has the characteristics of simplifying program writing, improving program writing efficiency and reducing manual labor.

Description

technical field [0001] The invention relates to an automatic program correction method, in particular to a program automatic correction method based on a knowledge map. Background technique [0002] At present, the automatic development technology of program design is changing from the original component-based, model-driven method to the deep learning-based, semantic-driven method. At present, there are existing methods to generate the required program fragments through natural language processing. However, these methods require the large-scale computing support of neural networks, and there is no unified standard. The logical structure, construction method and automated practical application of the code knowledge graph are not It has not been well solved, and can not provide a complete programming method. Programmers need to be very rigorous when writing programs, and there must be no defects and errors. Once there is a problem in writing the program, it cannot run normally...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F8/72G06F16/36G06F8/41G06F8/30
CPCG06F8/72G06F16/367G06F8/42G06F8/315
Inventor 陈海波韩咏男田丰喻
Owner ZHEJIANG SCI-TECH UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products