Automatic synthesis method for document-based library function code model

A technology of automatic synthesis and library functions, applied in program files, electrical digital data processing, error detection/correction, etc., can solve problems such as difficult analysis, complex source code, missing source code, etc., to improve correctness and simplify code implementation , the effect of improving efficiency

Active Publication Date: 2017-06-13
NANJING UNIV
View PDF3 Cites 10 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The code model simulates the behavior of the class library, solves the problem of difficulty in analysis due to lack of source code or too complex source code in the process of program analysis, and effectively improves the effectiveness and efficiency of other program analysis techniques

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
  • Automatic synthesis method for document-based library function code model
  • Automatic synthesis method for document-based library function code model
  • Automatic synthesis method for document-based library function code model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0024] The present invention will be further described below in conjunction with the embodiments and the accompanying drawings.

[0025] figure 1 is a flowchart of an automatic construction method of a code model of a document-based library function. This embodiment provides a method for automatically synthesizing code models of library functions based on documents. The method includes the following steps: 1. Extracting useful information from documents; 2. Preprocessing the extracted description sentences. 3. use the natural language processing tool to generate the grammatical tree of the sentence; 4. transform the grammatical tree generated in step 3 to generate multiple grammatical tree variants; 5. analyze the grammatical tree generated in step 4, Identify the parameters, program structure, and intermediate representations of operational semantics; 6. Generate candidate code models; 7. Check the candidate models in step 6, and delete candidate models that have inconsiste...

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 an automatic synthesis method for a document-based library function code model. The method comprises the steps that 1, usable information is extracted from a document; 2, a natural language processing tool is used for generating a sentence syntax tree; 3, the syntax tree generated in the step 2 is structurally converted to generate a plurality of syntax tree variants; 4, the syntax tress generated in the step 3 are analyzed, parameters, program structures and operational semantics in the syntax trees are recognized, and candidate code models are generated; 5, the candidate models generated in the step 4 are verified, and the candidate models with inconsistent behaviors with an original class library are deleted. The natural language processing technology and the automatic testing technology are adopted in a synchronized mode, a code model is generated for a Java container successfully, the generated code model can effectively improve the correctness and efficiency of other program analysis technologies, and the problem that analysis is hard due to the fact that class library source codes are lost or excessively complex in the program analysis process is solved.

Description

technical field [0001] The invention relates to a method for automatically synthesizing code models of library functions based on documents, which mainly uses natural language processing technology and automatic testing technology to solve the problem of automatic generation of code models of library functions, thereby improving the correctness and accuracy of other program analysis technologies efficiency. It belongs to the field of software engineering and program synthesis. Background technique [0002] In modern programs, class libraries are widely used, and the behavior of class libraries is an integral part of software behavior. When analyzing software programs, these class libraries should also be analyzed. However, analyzing a class library is a very difficult thing. First, in many cases, the source code of the class library cannot be obtained. Even if the source code is available, the code is usually very complex, such as containing highly optimized code, complex ...

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 Applications(China)
IPC IPC(8): G06F9/44G06F11/36
CPCG06F8/73G06F8/75G06F11/3608
Inventor 翟娟赵建华黄建军马仕青张翔宇谭琳秦锋
Owner NANJING 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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap