论文部分内容阅读
程序合成是提高软件开发效率和质量的有效途径，也是计算机科学重要的前沿方向之一。首先概述了程序合成方法的国内外研究现状和存在的问题，在此基础上，提出了软件IP（Intellectual Property，知识产权）的概念和一种基于软件IP的嵌入式软件智能合成开发模式（IP-based Embedded Software Intelligent Synthesis，IPESIS）及其框架，最后阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言在更高的抽象层次上对目标软件进行刻画、以软件IP为粒度缩小程序搜索空间和采用机器学习等人工智能技术自动合成程序，有望突破现有方法的局限，进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。