程序智能合成技术研究进展
作者:
作者单位:

作者简介:

顾斌(1968-),男,博士,研究员,博士生导师,CCF高级会员,主要研究领域为计算机控制,可信软件,信息物理系统.
李晓锋(1982-),男,研究员,CCF专业会员,主要研究领域为嵌入式高可信软件开发,软件缺陷检测,软件智能开发.
于波(1988-),女,博士,中级工程师,CCF专业会员,主要研究领域为嵌入式高可信软件开发,智能化软件开发,代码搜索与推荐,软件定义卫星.
钟睿明(1985-),男,博士,高级工程师,CCF专业会员,主要研究领域为嵌入式高可信软件开发,人工智能,进化计算,分布式计算.
董晓刚(1974-),男,研究员,CCF专业会员,主要研究领域为嵌入式高可信软件开发,软件缺陷检测,软件智能开发.
杨孟飞(1962-),男,博士,研究员,博士生导师,CCF高级会员,主要研究领域为空间飞行器设计,控制计算机,可信软件,软件智能开发.

通讯作者:

李晓锋,E-mail:li_x_feng@126.com

基金项目:

国家自然科学基金(61632005)


Intelligent Program Synthesis Techniques: Literature Review
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (61632005)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
    摘要:

    近年来,随着信息技术快速发展,软件重要性与日俱增,极大地推动了国民经济的发展.然而,由于软件业务形态越来越复杂和需求变化越来越快,软件的开发和维护成本急剧增加,迫切需要探索新的软件开发模式和技术.目前,各行业在软件活动中积累了规模巨大的软件代码和数据,这些软件资产为软件智能化开发建立了数据基础.与此同时,深度学习等人工智能技术在多个领域取得的成功应用,促使研究者考虑使用智能化技术与软件工程技术相结合,解决程序自动生成问题.程序智能合成方法是程序自动生成的新途径,通过实现软件开发过程的自动化,提高软件的生产率.首先分析了软件工程的发展历程及挑战,进而研究了智能化程序合成技术领域的研究布局以及各方法的优势和劣势.最后,对程序智能合成技术加以总结,并给出了未来的研究建议.

    Abstract:

    In recent years, with the rapid development of the information technology, the importance of software is increasing day by day, which greatly promotes the development of economic society. However, in the face of more and more complex business forms and faster and faster demand changes, the cost of software development and maintenance has increased dramatically, so it is necessary to study new technologies and explore new software development models. Large scale software codes and data are accumulated in specific fields in software activities throughout the whole life cycle, and these software assets establish a data base for software intelligent development. At the same time, AI technologies such as deep learning have been successfully applied in many fields, which prompted researchers to consider using the combination of intelligent technology and software engineering technology to solve the problem of automatic program generation. The method of intelligent program synthesis not only realizes the automation of software development process and improves software productivity, but also enables software to have the function of intelligent change with the change of environment and demand, greatly reducing maintenance costs. This study starts from exploring the development process and challenges of software engineering, then the research layout in the field of intelligent software synthesis technology, as well as the advantages and disadvantages of each method are studied. Finally, the intelligent program synthesis technology is summarized in a comparative perspective and suggestions are given for future research.

    参考文献
    相似文献
    引证文献
引用本文

顾斌,于波,董晓刚,李晓锋,钟睿明,杨孟飞.程序智能合成技术研究进展.软件学报,2021,32(5):1373-1384

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
历史
  • 收稿日期:2020-07-10
  • 最后修改日期:2020-08-20
  • 录用日期:
  • 在线发布日期: 2020-12-02
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号