【Matlab PolySpace 代码静态分析使用教程】

您所在的位置：网站首页 › 动态代码分析工具怎么用 › 【Matlab PolySpace 代码静态分析使用教程】

【Matlab PolySpace 代码静态分析使用教程】

2024-07-11 04:53| 来源: 网络整理| 查看: 265

文章目录前言一、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官网获取下载在这里插入图片描述

运行“R2018b_win64”文件夹里面的“setup.exe”进行原版程序安装。首先选择使用文件安装密钥选项。在这里插入图片描述

点击下一步，阅读并同意软件安装协议，“是否接受许可协议的条款？”选择“是”，点击下一步。在这里插入图片描述

当需要输入“提供文件安装密钥”时，输入密钥比如：09806-07443-53955-64350-21751-41297，点击下一步。在这里插入图片描述

软件默认安装在C盘，因软件占用磁盘空间12G+，建议点击“浏览”修改安装路径点击下一步。在这里插入图片描述

选择要安装的产品，建议全选，点击下一步。(如果只使用MATLAB的Polyspace Code Prover功能，此处只勾选“MATLAB 9.5” “Polyspace Bug Finder”及“Polyspace Code Prover”进行最小化安装，点击下一步。) 在这里插入图片描述

确定安装信息，点击“安装”，进入安装界面，等待软件安装。（如果选择安装的产品较多，安装时间比较长，请耐心等待）在这里插入图片描述

注意：先不要启动软件，将文件夹“MATLAB R2018b Win64 Crack\R2018b\bin\win64”中的“netapi32.dll”复制到安装路径“D:\Program Files\MATLAB\R2018b\bin\win64”中。如果有替换目标，直接替换，没有则直接复制到此处即可。在这里插入图片描述

2.软件激活

现在启动软件，进入MATLAB产品激活界面。选择"在不使用 internet 的情况下手动激活"，点击下一步。在这里插入图片描述

许可证选择文件夹“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文件）；

注意： 1.将所有的.h.c文件包含在一个src目录中，并且.c文件中调用到的函数的.h直接包含到该.c文件中,不能间接引用.h,不然Polyspace不能对未知函数自动打桩； 2.所有测试的目录不能有中文；

2.创建工程

运行桌面上的Polyspace R2018b 在这里插入图片描述

点击 “create new project”，或选择File>New Project，或点击左侧“Start a new project” 在这里插入图片描述将出现如下图所示界面。

在弹出界面的“Project name”栏输入工程名称，如SAI_Polyspacetest；去掉“Use default location”前面的勾，并在“Location”栏选择待查.c文件的路径，如E:\Polyspace\VCP\CSDN\CSDN_C；

a.使用polyspace配置模板，需勾选“Use template”； b.通过makefile文件创建工程，需勾选“Create from build command”； c. 用于AUTOSAR 软件组件静态分析，需勾选“Create from AUTOSAR specification”； d.普通方式，“Use template”、“Create from build command”、“Create from AUTOSAR specification”均不勾选。（示例选择此方式）

点击“Next”按钮，出现以下界面。在这里插入图片描述

点击“Browse”，选择待测c文件所在文件夹在这里插入图片描述

再点击“Add Source Folders”即可将文件夹中所有的被测c文件加载

点击“Next”，出现添加头文件界面。在这里插入图片描述点击“Browse”，选择包含所有C文件和H文件夹所在的路径,再点击Add Include Folders，设置头文件目录，点击“Finish”按钮，完成工程创建。

3.配置参数参数配置界面：如下在这里插入图片描述

Target language进行以下设置： source code language：选择源代码语言，包含有以下几种语言可供选择。在这里插入图片描述

standard version：根据相应的源代码语言，选择所遵循的语言标准，其中C语言标准与C++语言标准，如下图所示。在这里插入图片描述

Target Environment进行以下设置: compiler：选择编译器 Target processor type：选择相应的处理器内核，如无对应处理器，选择mcpu…(advanced)，将弹出以下界面，可自行设置，输入名称后，保存即可。在这里插入图片描述

Enviroment setting：保持默认值，勾选“code from DOS or Windos file system”，不要勾选“stop analysis if a file dose not compile”。在这里插入图片描述

Inputs & stubbing

在这里插入图片描述

Multitasking 在这里插入图片描述

Coding rules & code metrics 在这里插入图片描述

Bug finder analysis 在这里插入图片描述

Code prover verification：默认勾选。 variables to initialize：public Function to call: unused 在这里插入图片描述

- Reporting：对生成的报告进行配置。

在这里插入图片描述

Run Settings

在这里插入图片描述

Advanced Settings

在这里插入图片描述

4.运行工程点击“Run Bug Finder”按钮运行在这里插入图片描述

运行完毕后，双击“BF_Result[completed]”后在弹出的报告详细界面点Reporting>Run Report >bugfinder，在Output folder中选择报告的保存路径，Output format中选择生成的报告的保存格式，点击Run Report生成报告，然后在所选择的路径下生成对应的报告。在这里插入图片描述

检查完成后，在Project Browser页面双击 “CP_Result[completed]”也可出现结果详细界面，在“Result List”中可查看结果。（1）其中绿色表示没有RTE错误，橘色表示可能存在RTE错误，红色表示一定存在RTE错误，灰色表示此处不可达代码；（2）展开检查问题后，点击测试文件，可定位测试问题所在的代码。总结

https://download.csdn.net/download/weixin_42313027/86500320

【本文地址】

【Matlab PolySpace 代码静态分析使用教程】

【Matlab PolySpace 代码静态分析使用教程】

今日新闻

推荐新闻