|
嵌入式软件智能合成框架及关键科学问题
杨孟飞, 顾斌, 段振华, 金芝, 詹乃军, 董云卫, 田聪, 李戈, 董晓刚, 李晓锋
2022 (4):
1-7.
doi: 10.16708/j.cnki.1000-758X.2022.0046
摘要
(
114 )
PDF(2052KB)
(
314
)
程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首 先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权 (intel lectual property ,IP )的概念和一种基 于软件IP的嵌入式软件智能合成开发模式(IP-based embeddedsoftwareintel ligentsynthesis,IPESIS)及其框架。最后 ,阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言,在更高的抽象层次上对目标软件进行刻画,以软件IP为粒度缩小程序搜索空间,采用机器学习等人工智能技术自动合成程序,有望突破 现有方法的局限,进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合 成模式的转变。
相关文章 |
计量指标
|