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

>>返回个人博客总目录

Polyspace应用：Simulink中的缺陷检查相关推荐

使用U-Nets和深度学习进行自动缺陷检查
点击上方"小白学视觉",选择加"星标"或"置顶" 重磅干货,第一时间送达本文转自|新机器视觉生产过程中的缺陷检测是保证产品质量的必要步骤. ...
响应式网页设计代码_消除响应式网站建设设计中的缺陷
在过去的5年里,移动流量的份额增长了20%,现在响应式网站设计已经被认为是理所当然的了.到2020年,您可以通过手机几乎可以访问任何网站,它会很好用.大多数用户如果看到一个网站在他们的智能手机或平板电 ...
React Native工程中TSLint静态检查工具的探索之路
背景建立的代码规范没人遵守,项目中遍地风格迥异的代码,你会不会抓狂? 通过测试用例的程序还会出现Bug,而原因仅仅是自己犯下的低级错误,你会不会抓狂? 某种代码写法存在问题导致崩溃时,只能全工程检查 ...
在Simulink中调整增益映射 Tune Gain Schedules in Simulink
文章目录调节增益调度的工作流程 Workflow for Tuning Gain Schedules 1)选择一组设计点,充分覆盖你需要调优的操作范围 2)获取一组在设计点处描述线性动力学性能的线性 ...
MATLAB/Simulink中的S函数报错
关于MATLAB/Simulink中的S函数报错: Output returned by S-function 'xxx' in 'xxx' during flag=3 call must be a ...
硒鼓加粉过程中常见缺陷对照表及解决方法！
硒鼓加粉过程中常见缺陷对照表及解决方法! 1.问题:底灰原因:低湿高温;PCR(充电辊)缺陷;磁辊护套及涂层缺陷;PCR或电晕电接触点缺陷;OPC(感光鼓)缺陷;不良碳粉;高压电源不良. 解决方法: ...
simulink中比scope模块还好用的平替出图工具？
今天在捣拾scope模块比较几个数据大小,拉坐标线非常的不方便,而且对于调参时几组数据的比较非常繁琐,这里介绍以下simulink中自带的数据检查器(Data Inspector),个人认为比scop ...
simulink中的FFT 小白入门
simulink中的FFT 小白入门前言一.FFT是什么? 二.simulink中的FFT 1.FFT的实现方式 2.具体操作步骤 1.搭建模型 2.运行仿真 3.FFT分析总结前言 simu ...
如何正确的使用Java8中的Optional类来消除代码中的null检查
点击上方"方志朋",选择"设为星标" 回复"666"获取新整理的面试文章作者:一书生VOID lw900925.github.io/jav ...

Polyspace应用：Simulink中的缺陷检查

文章目录

1 MBD中代码的类型

2 检查流程

3 总结

Polyspace应用：Simulink中的缺陷检查相关推荐

最新文章

热门文章