Evaluation Methods for Intelligent Synthesis Technology of Aerospace Control Software
Hao Wang, Ming Long Zhao, Xiaogang Dong, Bin Gu, Xiaofeng Li, Ruiming Zhong · Chinese Journal of Space Science · 2025
程序合成是自动生成满足用户意图程序代码的软件开发活动, 随着人工智能在程序合成领域的成功应用, 智能程序合成技术逐渐成为软件开发的新范式. 虽然现有一些智能程序合成技术的评价方法, 但是仍面临许多问题需要进一步完善和改进. 本文通过调研智能程序合成技术使用的评价标准以及分析当前主流智能程序合成技术的评价方法, 分析并完善了智能程序合成技术的评价指标, 并结合航天嵌入式软件的特点, 构建了航天嵌入式软件智能合成的层级式评价指标体系, 设计了以动态和静态相结合为主的面向航天控制软件智能合成技术的综合评价方法. 通过实验验证了其中动静结合评价方法的有效性, 其能够获得与人类评分更高的皮尔逊相关系数.