- 专利标题: 一种基于原型设计的嵌入式代码提前验证方法
-
申请号: CN201811627999.7申请日: 2018-12-28
-
公开(公告)号: CN109857640B公开(公告)日: 2022-05-24
- 发明人: 蔡陈生 , 郑梦兴 , 李利亮 , 刘川
- 申请人: 上海航天控制技术研究所
- 申请人地址: 上海市闵行区中春路1555号
- 专利权人: 上海航天控制技术研究所
- 当前专利权人: 上海航天控制技术研究所
- 当前专利权人地址: 上海市闵行区中春路1555号
- 代理机构: 中国航天科技专利中心
- 代理商 任林冲
- 主分类号: G06F11/36
- IPC分类号: G06F11/36 ; G06F8/41
摘要:
本发明涉及一种基于原型设计的嵌入式代码提前验证方法,步骤包括:(1)配置编译单元,(2)管理单元智能分析与录入,(3)智能筛选出最优容量本地环境,(4)生成测试驱动脚本,(5)编译生成可执行文件,(6)在SFUNCTION中嵌入可执行文件,与原型设计结果进行比对判断,结果一致则表示功能性设计正确,否则表征功能性设计错误。本发明丰富了嵌入式软件功能性验证的手段,降低了嵌入式软件功能性验证对硬件的依赖性,使得嵌入式软件验证工作可以提前至方案阶段,通过约束性接口设计以及智能化筛选出最优容量编译环境,提升了软件测试效率。
公开/授权文献
- CN109857640A 一种基于原型设计的嵌入式代码提前验证方法 公开/授权日:2019-06-07