基于API知识的程序迭代式合成方法

来源 :国防科技大学 | 被引量 : 0次 | 上传用户:ankailvyou
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序合成是软件工程的一个重要的研究领域,它是一项根据用户意图自动生成代码的软件开发活动。近年来,许多方法通过设计领域特定语言来限制程序空间,使得程序合成问题易于处理。虽然在某些特定领域这些方法是有效的,但是对于合成通用编程语言的程序而言仍然存在很大的挑战。基于API的合成为此提供了一种有前景的方法,它能够基于应用程序编程接口(Application Programming Interface,API)生成通用编程语言的程序(如Java)。但在大多数情况下,基于API的合成方法只能处理简单的编程任务,生成较短的由API组成的程序。对于复杂任务来说,它的的合成效率非常低,而且对非API组件无法处理。程序空间的难解性以及合成能力的有限性是它目前所面临的两大主要挑战。考虑到目前互联网上已有数亿行代码实例,其中蕴含了大量高质量的软件代码,如果能挖掘出其中的API使用知识并运用到程序合成上,将有助于实现更加高效的程序合成。本文针对基于API的合成方法所面临的两大挑战,提出了基于API知识的程序迭代式合成方法,旨在利用已有的知识资源来促进程序合成。本文的主要贡献以及创新点总结如下:(1)提出了基于API推荐的程序合成空间约束方法。该方法将基于互联网搜索的API推荐方法与传统的程序合成技术相结合,使用推荐出的少量的、任务相关的API方法而不是整个组件库构造程序空间,实现了对程序空间的剪枝。我们将该方法与两个国际上高水平的程序合成工具集成并进行实验验证,结果表明,该方法能够有效提高程序合成的效率,平均合成时间分别减少了86.1%与82.2%。(2)提出了基于迭代式空间构造的高效程序合成方法。该方法基于从互联网上搜索的API知识,首先构造出一个尽可能高任务相关的小规模空间并求解。若失败,则迭代式添加新组件扩张程序空间,逐步逼近目标解,加快了求解进程。我们在一组真实的编程任务上对该方法进行了实验验证,结果表明,该方法能够进一步提高合成效率,在时间开销上缩短了97.02%。(3)提出了基于组件重构的程序合成能力扩展方法。该方法利用一组非API元素重构策略,将操作符和常量等非API元素转换为通用API,实现了基于API的合成方法对非API元素的处理。我们在一组涉及到常量和操作符元素的任务上进行了实验,该方法辅助程序合成工具成功合成了带有非API元素的程序。
其他文献
高等教育管理体系的优化与创新是高等教育管理工作的核心内容,基于人本化理念强化柔性管理,促进柔性管理与刚性管理有机融合,既能提升学校教育质量,又能为学校发展提供多元化建设性意见。从人本化理念在高等教育管理体系中的价值体现入手,深入剖析高等教育管理的问题成因,提出优化高等教育管理体系的思路,即借助坚守人文化理念,营造良好管理环境;完善人性化制度,创新教育管理过程;尊重多元化个体,展开多元有效评价。
期刊
21世纪以来,随着复杂网络相关研究的兴起,现实世界中众多系统的复杂网络特性和现象被人们所发现,其中之一就是复杂网络中的级联失效。作为互联网基础的域间路由系统具有典型的复杂网络特性,由于由来已久的路由协议缺陷,面临的级联失效威胁尤为严峻。本文在对复杂网络级联失效效应仿真分析的基础上,深入研究了域间路由系统级联失效的影响因素和内在机理,构建了基于最优有效路径的域间路由系统级联失效模型,研究了策略选择对
学位
垂直起降可重复使用运载火箭可提高发射密度,满足快速响应发射任务的需求,极大降低航天器发射任务的成本,具有很强的应用前景。本文考虑返回轨迹存在的多飞行段、多约束、强非线性、强耦合、参数不确定和外部干扰等问题,研究了返回轨迹的自适应优化方法,开展了不确定性条件下的分析与优化方法研究,形成了从确定性到不确定性返回轨迹分析与优化方法的系统研究。论文的主要研究内容如下:提出了基于聚类分析的返回多飞行段轨迹自
学位
乘子交替方向法一般被视为机器学习领域中的一种优化算法,起源于20世纪70年代并在机器学习诸多领域中取得了令人瞩目的效果。乘子交替方向法在求解过程中与梯度无关并且对于参数初始化条件鲁棒,这些特性使得乘子交替方向法具有十分广泛的应用前景。随机梯度下降、Adam、RMSProp等优化算法的发展,为深度学习问题的求解带来了一定的便利。但是传统基于梯度的优化算法在训练过程中会收到梯度消失梯度爆炸等问题的影响
学位
随着我国创业投资行业的不断发展,创业投资机构声誉逐渐获得了学术界的广泛关注。然而从现有研究结果来看,目前我国关于创业投资声誉的的研究文献大多集中于研究良好的创业投资声誉对IPO折价率、投资行为、长期业绩等的积极作用,而从后续募资和投资情况探讨创业投资机构声誉效应的文献并不多见。其次,学术界主要以IPO退出业绩作为衡量声誉的指标,而鲜有学者探讨并购退出(M&A)业绩作为衡量创业投资机构的声誉指标是否
学位
随着世界经济的发展,国际金融市场规模日渐庞大,种种变革在催生了各种金融创新的同时也引发了多次金融危机,风险管理的重要性日益凸显。其中极端风险虽然发生频率较小,却对经济产生巨大冲击,有效管理极端风险可以一定程度上减轻“黑天鹅事件”发生时对经济的冲击。股票市场作为金融市场的重要组成部分,能够直接反应国家宏观经济状况。准确预测股票市场的极端风险对政府部门实施监管和投资者进行正确决策具有重要意义。在险价值
学位
自从我国债券市场于2014年发生了首例债券违约事件,打破了信用债市场“刚性兑付”的信仰之后,近年来我国信用债市场违约数量不断上升,违约风险也不断加大,由此引发了学术界对信用债市场风险的广泛关注和探讨。通过对我国信用债市场违约史的梳理发现,制造业信用债违约数量及金额均占有较大比重。而制造业作为我国支柱产业,又赶上“双循环”战略下的发展机遇,其更需要做好风险的评估与防范,企业及投资者也需要更加科学的风
学位
电离层是离地球表面约60~1000km范围内的大气部分,对人们的生产和生活有重要影响。我国现有电离层测量手段主要依靠地基设备和掩星技术,在海洋上空的探测数据相对缺乏。利用飞机的广播式自动相关监视(Automatic Dependent Surveillance-Broadcast,ADS-B,1090MHz)和船舶的船舶自动识别系统(Automatic Identification System,
学位
报纸
报纸