Program synthesis method based on API use probability model

A synthesis method and probability model technology, which is applied in the field of program synthesis based on API using probability model, can solve the problems of low efficiency, time-consuming, limit the scale of generated programs, etc., and achieve the effect of improving efficiency
CN112162745AActive Publication Date: 2021-01-01NAT UNIV OF DEFENSE TECH
5 Cites 0 Cited by

Patent Information

Authority / Receiving Office
CN Β· China
Current Assignee / Owner
NAT UNIV OF DEFENSE TECH
Publication Date
2021-01-01

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention discloses a program synthesis method based on an API use probability model, which comprises the following steps of: calculating the similarity between task description and a corresponding text of each API in a specified range library in a network resource, and then solving probability information of relevance between the API and a task; adding a probability to each edge of the reachable graph model according to the probability information of the relevancy between the API and the task to obtain a reachable graph model of the probability; and searching a reachable path on the reachable graph model of the probability from the edge with the maximum probability of each node, constructing a program framework according to the API calling sequence of the reachable path, filling the program framework to obtain a candidate program, verifying the correctness of the candidate program, and returning the candidate program as a result after all test cases are passed. According to the method, the probability is added to each edge of the reachable graph model to provide a basis for searching the optimal reachable path, so that the probability of API calling sequence task correlation is relatively high, and the program synthesis efficiency is improved.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to the field of software engineering, in particular to a program synthesis method based on an API usage probability model. Background technique

[0002] Computer software is currently widely used in all walks of life, and the scale and complexity of software are getting higher and higher. The rapid development of Internet technology has brought new opportunities and challenges to the field of software engineering. On the one hand, the development of Internet technology has made the ecological environment of software more open, dynamic, complex and continuously evolving, causing the scale and complexity of software systems to increase rapidly, posing severe challenges to traditional software development methods; On the one hand, the development of Internet technology has given birth to a new type of group software development practice platform represented by open source software such as Linux, open source communities such as GitHu...

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