验证
MATLAB之间显示数值等价®代码和生成的代码
使用软件在循环(SIL)和处理器在循环(PIL)执行来检查从MATLAB函数生成的代码的数值行为。循环软件(SIL)执行编译生成的源代码,并在开发计算机上作为单独的进程执行代码。PIL执行,它需要目标连接配置、交叉编译生成的源代码,然后下载目标代码并在目标硬件上运行。您可以通过将SIL或PIL执行的结果与原始MATLAB函数的结果进行比较来验证数值行为。
您可以生成可跟踪的代码,这可以帮助您检查是否缺少意想不到的功能,了解生成的代码如何实现算法,并评估生成的代码的质量。
对象
功能
主题
SIL和PIL测试
- 通过软件在环和处理器在环执行的代码验证
使用SIL和PIL执行来验证生成的MATLAB代码的数值行为的工作流。 - 软件在循环执行与MATLAB编码器应用程序
使用MATLAB Coder应用程序验证生成的C/ c++代码的数值行为。 - 从命令行执行软件在循环
使用MATLAB命令验证生成的C/ c++代码的数值行为。 - 多签名MATLAB函数的软件在环执行
生成用于多个签名的SIL MEX文件。 - 在SIL执行期间调试生成的代码
使用调试器来理解生成的代码的行为。 - 为MATLAB创建PIL目标连接配置
为您的目标环境定制PIL执行。 - 主机-目标通信的MATLAB PIL执行
使用rtiostream
在PIL执行期间用于开发计算机和目标之间通信的API。 - 指定硬件定时器
使用代码替换工具指定硬件计时器。 - 代码执行分析所需的自定义工具链指令
为构建支持代码执行分析的PIL应用程序指定编译器指令。金宝app - 处理器在循环执行与MATLAB编码器应用程序
使用MATLAB Coder应用程序验证交叉编译的目标代码的数值行为。 - 从命令行执行处理器在循环
使用MATLAB命令验证交叉编译目标代码的数值行为。 - 在命令行使用ARM Cortex-A进行PIL执行
这个示例展示了如何设置PIL执行以在命令行上验证生成的代码。 - 利用MATLAB Coder应用程序实现ARM Cortex-A的PIL执行
PIL与App执行。 - 代码生成假设的验证
PIL执行检查Hardware选项卡设置。 - 通过禁用固定输入检查和全局数据同步来加速SIL/PIL执行
配置代码生成参数以关闭SIL或PIL执行的固定输入检查或全局数据同步。 - SIL/PIL执行支持和限制金宝app
SIL和PIL执行支持代码生成特性。金宝app
跟踪代码
- MATLAB代码与生成的C/ c++代码的交互跟踪
可视化MATLAB代码和生成的C/ c++代码之间的映射。 - 在生成的C/ c++代码中包含注释
在生成的代码中包含MATLAB源代码作为注释。在功能横幅中包含功能帮助文本和功能签名。
Polyspace验证
- MATLAB编码器生成C/ c++代码的多空间验证
检查生成的C/ c++代码中的运行时错误或缺陷。
报告生成
- 在报告中突出潜在的数据类型问题
突出显示导致双精度、单精度或昂贵的定点操作的MATLAB代码。 - 在生成的代码中查找潜在的数据类型问题
在报告中突出潜在的数据类型问题。