Polyspace应用：Simulink中的缺陷检查

本文介绍从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检查可以省去配置工程的过程，并且只分析一个模型生成的代码用时较少。但是，有的代码缺陷可能需要在整个工程的环境中才能发现。因此，最后还需要对整体代码做检查。

>>返回个人博客总目录