Constraint solving based code search method

A search method and constraint solving technology, applied in the field of computer software, to achieve the effect of improving efficiency and quality

Inactive Publication Date: 2018-05-04
NANJING UNIV
View PDF4 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Although semantic-based code search technology can make up for the above shortcomings

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
  • Constraint solving based code search method
  • Constraint solving based code search method
  • Constraint solving based code search method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

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

[0022] A code search method based on constraint solving in this embodiment, the main feature of this method is to solve the code search problem based on the constraint solving method, and handle loop statements and class member variables, making up for the shortcomings of previous work, and The accuracy rate of code search is greatly improved, so that programmers can search for required codes in the software development process, learn from or reuse them, and improve the efficiency and quality of software development. figure 1 It is a flowchart of a code search method based on constraint solving in an embodiment of the present invention, and the specific steps include:

[0023] Step 1: Obtain projects from open source software;

[0024] In open source communities such as GitHub and SourceForge, you can directly download or write crawl...

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 constraint solving based code search method. The constraint solving based code search method specifically includes the steps of 1), acquiring an open source project from an open source community; 2), analyzing a source code by adopting JPF (Java Pathfinder) and JDT (Java Development tools) and converting the source code into an SSA (static single-assignment) format; 3), analyzing a code of the SSA format by using the JDT and converting the source code into constraint; 4), subjecting the source code and the generated constraint to one-to-one correspondence and establishing a code-constraint library; 5), establishing a code search system and helping a user search the code. The main characteristic of the method is to solve the code search problem on the basis of constraint solving and deal with loop statements and class member variables, lack of previous work is made up, accuracy rate in code search is greatly improved, and the required code can be searched by aprogrammer during the software development process with reference and reuse to improve software development efficiency and quality.

Description

technical field [0001] The invention relates to the field of computer software, in particular to a code search method based on constraint solving. Background technique [0002] With the influx of open source ideas, the open source community has developed rapidly. A large number of open source communities such as GitHub, SourceForge, and BitBucket host a large number of excellent codes for programmers to refer to, reuse or use directly. In the process of software development, developers can greatly improve the quality and efficiency of software development by referring to these mature codes to a certain extent. However, due to the huge amount of open source code, most open source communities only provide simple code search methods based on keywords such as project names. Most of the searched codes do not meet the needs of programmers and require a lot of manual screening, which is undoubtedly very cumbersome ,Inefficient. [0003] Nowadays, there are many works on code sear...

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
IPC IPC(8): G06F8/70G06F8/40
CPCG06F8/40G06F8/70
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