[发明专利]为程序合成训练模型的方法和装置

说明书

公开了为程序合成训练模型的方法和装置所公开的示例装置包括至少一个存储器、指令、以及处理器电路。该处理器电路执行指令以对程序的配对采样，程序的配对包括第一程序和第二程序，第一程序包括自然语言描述，计算与程序的配对相对应的程序相似性得分，并且基于与程序的配对中的一些配对相对应的条目来训练模型，条目中的至少一个条目包括自然语言描述中的相应一个和第二程序中与之配对的一个，以及程序相似性得分中的相应一个。

技术领域

本公开概括而言涉及机器编程，更具体而言，涉及为程序合成训练模型的方法和装置。

背景技术

机器编程(machine programming，MP)与软件开发的自动化有关。例如，程序合成是一种近年来获得关注的MP技术。具体地，遗传算法(genetic algorithm，GA)已越来越多地被实现为程序合成技术，以实现自动的软件构建。对于程序合成系统，通常向系统提供程序行为的规格，以便可以构建和/或生成具有指定行为的程序。许多已知的程序合成系统依赖于输入/输出示例的集合，供程序员指定他们希望程序合成系统创建的程序的行为。根据一些已知的编程合成系统，输入/输出集合的每个元素包含到程序的可能输入，以及相应的期望输出，该输出是通过由合成的程序对输入进行变换而生成的。然而，通过这些技术来合成程序的努力可能是冗长和耗时的。

发明内容

本公开的一个方面提供了一种装置。该装置包括：至少一个存储器；指令；以及处理器电路，用来执行指令以：对程序的配对采样，程序的配对包括第一程序和第二程序，第一程序包括自然语言描述，计算与程序的配对相对应的程序相似性得分，并且基于与程序的配对中的一些配对相对应的条目来训练模型，条目中的至少一个条目包括：自然语言描述中的相应一个和第二程序中与之配对的一个，以及程序相似性得分中的相应一个。

本公开的另一方面提供了一种非暂态计算机可读介质，包括指令。这些指令当被执行时，使得至少一个处理器：对程序的配对采样，程序的配对包括第一程序和第二程序，第一程序包括自然语言描述；计算与程序的配对相对应的程序相似性得分；并且基于与程序的配对中的一些配对相对应的条目来训练模型，条目中的至少一个条目包括：自然语言描述中的相应一个和第二程序中与之配对的一个，以及程序相似性得分中的相应一个。

本公开的另一方面提供了一种方法。该方法包括：通过利用至少一个处理器执行指令，来对程序的配对采样，程序的配对包括第一程序和第二程序，第一程序包括自然语言描述；通过利用至少一个处理器执行指令，来计算与程序的配对相对应的程序相似性得分；并且通过利用至少一个处理器执行指令，来基于与程序的配对中的一些配对相对应的条目来训练模型，条目中的至少一个条目包括：自然语言描述中的相应一个和第二程序中与之配对的一个，以及程序相似性得分中的相应一个。

附图说明

图1是根据本公开的教导的示例程序合成系统的概览。

图2是根据本公开的教导的示例模型分析系统的框图。

图3是基于本文公开的示例可以实现的示例神经网络的概览。

图4是基于本文公开的示例可以实现的另一示例神经网络的概览。

图5和图6的流程图代表了可由示例处理器电路执行来实现图1的示例程序合成系统和/或图2的示例模型分析系统的示例机器可读指令和/或示例操作。

图7是示例处理平台的框图，该处理平台包括处理器电路，该处理器电路被构造来执行图5和/或图6的示例机器可读指令和/或示例操作以实现图1的示例程序合成系统和/或图2的示例模型分析系统。

图8是图7的处理器电路的示例实现方式的框图。

图9是图7的处理器电路的另一示例实现方式的框图。