A method of program synthesis based on API usage probability model

Abstract

The invention discloses a program synthesis method based on an API use probability model, which includes: calculating the similarity between the task description and the corresponding text of each API in the specified range library in the network resource, and obtaining the probability information of the correlation between the API and the task , according to the probability information of API and task correlation, add probability to each edge of the reachable graph model to obtain a probabilistic reachable graph model; search for reachable paths on the probabilistic reachable graph model from the edge with the highest probability of each node , construct the program framework according to the API call sequence of the reachable path, fill the program framework to obtain the candidate program, verify the correctness of the candidate program, and return the candidate program as a result after passing all test cases. The invention provides a basis for searching the best reachable path by adding probability to each side of the reachable graph model, so that the probability of API call sequence task correlation is higher, thereby improving the efficiency of program synthesis.

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 also increasing. 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 software ecological environment more open, dynamic, complex and continuously evolving, resulting in a sharp increase in the scale and complexity of software systems, posing severe challenges to traditional software development methods; on the other hand On the other 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 s...

AI Technical Summary

Problems solved by technology

But since the program space composed of all API sequences is still very large, finding the correct solution is very time-consuming, and in practice only small-scale programs can usually be found

[0009] It can be seen that the current program synthesis still has the problem of low efficiency in practical applications, and the inability to generate programs that meet the conditions within a limited time also directly limits the scale of generated programs.

Images