[发明专利]一种基于原型设计的嵌入式代码提前验证方法

摘要

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

主权项

1.一种基于原型设计的嵌入式代码提前验证方法，测试工具包括管理单元、智能筛选单元和API接口设计单元，其特征在于，具体步骤如下：(1)配置编译单元：在WINDOWS下配置安装与嵌入式代码语言及其工程化编译一致的编译器，获得该编译器在系统下的动态链接库文件，并在MATLAB下进行链接库脚本配置，实现在MATLAB中进行交叉编译调用；(2)管理单元智能分析与录入：通过管理单元对待验证模块进行分析，自动识别形参、全局变量的输入输出属性，实现用户测试脚本设置数据的录入；(3)智能筛选出最优容量本地环境：智能筛选单元遍历待验证模块的引用关系，并筛选与该待验证模块相关的文件，形成引用树状列表及最优容量编译本地环境；(4)生成测试驱动脚本：API接口设计单元预定义测试驱动脚本模板，并结合管理单元录入的信息，并自动引用树状列表，形成最终的测试驱动脚本；(5)编译生成可执行文件：在MATLAB下，对步骤(3)和步骤(4)的测试驱动脚本进行编译，生成交叉编译可执行文件；(6)在SFUNCTION中嵌入可执行文件：在MATLAB原型设计数据包中，增加S‑FUNCTION自定义函数，调用步骤(5)中的交叉编译可执行文件，与原型设计结果进行比对判断，结果一致则表示功能性设计正确，否则表征功能性设计错误。