一种基于原型设计的嵌入式代码提前验证方法
摘要:
本发明涉及一种基于原型设计的嵌入式代码提前验证方法,步骤包括:(1)配置编译单元,(2)管理单元智能分析与录入,(3)智能筛选出最优容量本地环境,(4)生成测试驱动脚本,(5)编译生成可执行文件,(6)在SFUNCTION中嵌入可执行文件,与原型设计结果进行比对判断,结果一致则表示功能性设计正确,否则表征功能性设计错误。本发明丰富了嵌入式软件功能性验证的手段,降低了嵌入式软件功能性验证对硬件的依赖性,使得嵌入式软件验证工作可以提前至方案阶段,通过约束性接口设计以及智能化筛选出最优容量编译环境,提升了软件测试效率。
公开/授权文献
0/0