一种基于原型设计的嵌入式代码提前验证方法
授权
摘要
本发明涉及一种基于原型设计的嵌入式代码提前验证方法，步骤包括：(1)配置编译单元，(2)管理单元智能分析与录入，(3)智能筛选出最优容量本地环境，(4)生成测试驱动脚本，(5)编译生成可执行文件，(6)在SFUNCTION中嵌入可执行文件，与原型设计结果进行比对判断，结果一致则表示功能性设计正确，否则表征功能性设计错误。本发明丰富了嵌入式软件功能性验证的手段，降低了嵌入式软件功能性验证对硬件的依赖性，使得嵌入式软件验证工作可以提前至方案阶段，通过约束性接口设计以及智能化筛选出最优容量编译环境，提升了软件测试效率。
基本信息
专利标题 ：
一种基于原型设计的嵌入式代码提前验证方法
专利标题（英）：
暂无
公开（公告）号 ：
CN109857640A
申请号 ：
CN201811627999.7
公开（公告）日 ：
2019-06-07
申请日 ：
2018-12-28
授权号 ：
CN109857640B
授权日 ：
2022-05-24
发明人 ：
蔡陈生郑梦兴李利亮刘川
申请人 ：
上海航天控制技术研究所
申请人地址 ：
上海市闵行区中春路1555号
代理机构 ：
中国航天科技专利中心
代理人 ：
任林冲
优先权 ：
CN201811627999.7
主分类号 ：
G06F11/36
IPC分类号 ：
G06F11/36 G06F8/41
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F11/00
错误检测；错误校正；监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-05-24 ：
授权
2019-07-02 ：
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20181228
申请日 : 20181228
2019-06-07 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
