本文介绍从Simulink入口去检查模型生成的代码。
1 MBD中代码的类型
在上一篇博客Polyspace应用（一） Bug Finder检测代码漏洞中，把一个编译项目的所有C代码加载到Polyspace环境中进行Bug Finder缺陷检测。这些代码中包含了底层代码、手写代码和应用层代码。
在Simulink中有Polyspace的快捷入口，可以直接检查Simulink模型生成的应用层代码。通过接口可以省去配置Polyspace工程的过程。
2 检查流程
1.首先建好Simulink模型，通过配置代码生成并Crtl+B生成好代码。具体方法见博客Simulink代码生成（一） Embedded Coder配置。
2.点击菜单栏的Code——Polyspace——Options，打开Polyspace配置窗口。
3.Product Mode选为Bug Finder，Settings From根据需求选择。然后配置Project Configuration，配置方法见Polyspace应用（一） Bug Finder检测代码漏洞。
4.最后运行Polyspace检查
5.运行完毕后，自动弹出Polyspace检查结果。
3 总结
通过Simulink入口去运行Polyspace检查可以省去配置工程的过程，并且只分析一个模型生成的代码用时较少。但是，有的代码缺陷可能需要在整个工程的环境中才能发现。因此，最后还需要对整体代码做检查。
评论记录：
回复评论：