文章目录
- 前言
- 一、Matlab安装
-
- 1.安装软件
- 2.软件激活
- 二、Polyspace使用
-
- 1.使用之前的准备工作
- 2.创建工程
- 3.配置参数
- 4.运行工程
- 总结
前言
Polyspace 是一个静态分析工具，可识别、修复或挖掘潜在的运行时错误（如：除以零），并检查源代码是否遵循 MISRA C、MISRA C++ 和 JSF++ 等代码标准。此外，Polyspace 还可以将必须手动审查的未经验证代码突出显示。其广泛用于嵌入式软件领域，尤其是安全性能至上的交通运输领域，如汽车、航空航天和铁路运输领域。
一、Matlab安装
Polyspace集成在Matlab上（大概），需要先安装Matlab。
1.安装软件
-
将安装程序拷贝至本机，解压软件，得到中文原程序“R2018b_win64”和文件“MATLAB R2018b Win64 Crack”。
-
可自行前往MATLAB官 获取下载
-
点击下一步，阅读并同意软件安装协议，“是否接受许可协议的条款选择“是”，点击下一步。
-
软件默认安装在C盘，因软件占用磁盘空间12G+，建议点击“浏览”修改安装路径点击下一步。
-
确定安装信息，点击“安装”，进入安装界面，等待软件安装。（如果选择安装的产品较多，安装时间比较长，请耐心等待）
许可证选择文件夹“MATLAB R2018b Win64 Crack”下的“license_standalone.lic”
二、Polyspace使用
1.使用之前的准备工作
- .c.h文件分别编译通过
- 因为Polyspace检查与开发环境关系不大， VC工程或是CodeWarrior开发环境的工程文件不需要，只要.c文件和.h文件；
- 以对CSDN软件中组件进行检查为例，目录与文件如下方式整理：
CSDN总目录下包括两级目录：
CSDN_C存放待查的.c文件；
SRC存放源文件（包括CSDN软件所有的.c.h文件）；
2.创建工程
-
运行桌面上的Polyspace R2018b
-
点击“Browse”，选择待测c文件所在文件夹
-
- Inputs & stubbing
-
Coding rules & code metrics
-
Code prover verification：默认勾选。
variables to initialize：public
Function to call: unused
- Run Settings
4.运行工程
- 检查完成后，在Project Browser页面双击 “CP_Result[completed]”也可出现结果详细界面，在“Result List”中可查看结果。
（1）其中绿色表示没有RTE错误，橘色表示可能存在RTE错误，红色表示一定存在RTE错误，灰色表示此处不可达代码；
（2）展开检查问题后，点击测试文件，可定位测试问题所在的代码。
总结
https://download.csdn.net/download/weixin_42313027/86500320
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！