【技术实现步骤摘要】
【国外来华专利技术】
技术介绍
1、机器学习被用于执行各种各样的任务，这些任务根据给定的数据的输入序列来预测数据的输出序列。对于源代码生成，输入序列表示部分形成的源代码分段的上下文，并且机器学习模型预测或生成完成该部分形成的源代码分段的候选序列。
2、机器学习模型在源代码词元的词汇表中生成概率分布，该概率分布被解码成部分解(partial solution)，直到生成一个或多个候选序列。解码最可能的候选序列是一个搜索所有可能的部分解的过程。搜索过程是难以处理的，因为它呈指数增长。启发式搜索方法(诸如，束搜索)通常被用于生成部分解和最终候选序列。
3、束搜索使用解码器生成的概率分布来标识最有可能成为部分解中的接下来的源代码词元的顶级源代码词元。通过用概率分布所标识的具有最高的概率的源代码词元来扩展部分解，束搜索对搜索进行扩展。搜索继续从模型的概率分布所标识的顶部源代码词元来扩展部分解集合，直到搜索结束。
4、有时，束搜索并不总是生成句法和语义正确的源代码。束搜索依赖于解码器生成的输出概率，而这些输出概率可能并不总是针对目标源代码程序或机器学习任务进行了完美校准。这导致束搜索生成的源代码对于源代码程序不可行。
技术实现思路
1、本
技术实现思路
旨在以简化形式介绍一系列概念，这些概念将在下文的具体实施方式中进一步描述。本
技术实现思路
并非旨在标识所要求保护的主题的关键特征或基本特征，也并非旨在被用于限制所要求保护的主题的范围。
2、约束解码技术在解码过程每次迭代时
3、通过阅读以下详细描述并查看相关联的附图，这些和其他特征以及优点将明显的。应该理解，前述一般描述和以下详细描述都仅是解释性的，并且不限制所要求保护的各方面。
本文档来自技高网...【技术保护点】
1.一种系统，包括：
2.根据权利要求1所述的系统，其中所述静态代码分析基于正确的类型使用。
3.根据权利要求1所述的系统，其中所述静态代码分析基于与所述源代码片段的编程语言的语法的产生规则的符合性。
4.根据权利要求1所述的系统，其中所述静态代码分析基于句法正确性。
5.根据权利要求1所述的系统，其中所述词元约束要求所述接下来的词元属于类型值的列表，要求所述接下来的词元是特定的词元，或者要求所述接下来的词元是n元语法词元的一部分。
6.根据权利要求1所述的系统，其中所述一个或多个程序包括用于执行以下动作的指令：
7.根据权利要求1所述的系统，其中所述一个或多个程序包括用于执行以下动作的指令：
8.一种计算机实现的方法，包括：
9.根据权利要求8所述的计算机实现的方法，其中所述静态代码分析基于正确的类型使用。
10.根据权利要求8所述的计算机实现的方法，其中所述静态代码分析基于与所述源代码片段的编程语言的语法的产生规则的符合性。
11.根据权利要求8所述的计算机
12.根据权利要求8所述的计算机实现的方法，还包括：
13.根据权利要求8所述的计算机实现的方法，还包括：
14.根据权利要求8所述的计算机实现的方法，其中所述词元约束要求所述接下来的词元是特定的词元、n元语法、或具有来自词元类型列表的类型的词元。
...【技术特征摘要】
【国外来华专利技术】
1.一种系统，包括：
2.根据权利要求1所述的系统，其中所述静态代码分析基于正确的类型使用。
3.根据权利要求1所述的系统，其中所述静态代码分析基于与所述源代码片段的编程语言的语法的产生规则的符合性。
4.根据权利要求1所述的系统，其中所述静态代码分析基于句法正确性。
5.根据权利要求1所述的系统，其中所述词元约束要求所述接下来的词元属于类型值的列表，要求所述接下来的词元是特定的词元，或者要求所述接下来的词元是n元语法词元的一部分。
6.根据权利要求1所述的系统，其中所述一个或多个程序包括用于执行以下动作的指令：
7.根据权利要求1所述的系统，其中所述一个或多个程序包括用于执行以下动作...
【专利技术属性】
技术研发人员：C·B·克莱门特，S·K·邓，刘啸宇，N·森达雷桑，A·斯维亚特科夫斯基，
申请(专利权)人：微软技术许可有限责任公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。