Parasoft C/C++test 安装部署与静态分析配置教程

cpptesttrace make

可以观察到，执行完命令后不仅仅生成了 make 原来编译过后的.exe 程序，还多了一个 cpptest.bdf 文件。需要通过这个文件，将 Sensor 项目导入到 C/C++test(cpptest) 中进行测试。

3.5 导入项目

打开 cpptest，点击 Create a project...，再点击 创建来自构建数据文件 (.bdf/.json) 的项目。点击 下一步。

选择获取到的 bdf 文件。点击完成。

项目就被导入成功了。

4. 静态分析

4.1 选择测试集

选择 Parasoft，点击 测试配置 (C)...。

在 Automotive Pack 中找到 MISRA C 2012 这个测试集，右键 选择复制。

复制后，可以在 用户自定义 下面找到复制过来的 MISRA C 2012，但是前面的 icon 是一个'人'，这代表这个测试集是复制过来的。我们可以裁剪这个规则集，比如说我们需要去掉一些不想要的规则。

4.2 处理测试集

点击我们复制过来的测试集，然后再点击右边的窗口静态，在右下方的窗口中可以找到打上勾的测试集，这个证明是我们启用的规则，如果需要不启用某些规则，只要找到它，然后去掉前面的√就可以了。做完这些操作后，点击右下角的应用，我们的规则集就准备好了。

4.3 开始静态测试

选择测试目标。我们可以通过左键点击，选择整个项目，单个文件夹，或者单个.c 文件。

选中后，我们再右键，找到 Parasoft->测试执行->用户自定义->Compliance Packs->AutomotivePack->MISRA C 2012。点击，进行测试。

观察下面的这个窗口，出现进度条，证明正在测试。

1/1，证明测试结束，检查出 113 个缺陷。

4.4 查看结果

点击这个放大镜图标，可以跳转到 测试结果 详细窗口。

质量任务视图当中就是所有的测试结果了。

双击违规，就可以定位到源码了。

4.5 实操修改违规

定位源码后，可以借助 规则文档 理解规则，也可查看相关示例代码。

左键违规，再右键，点击 查看规则文档

浏览器会打开对应的文档。

通过阅读文档，可以知道这条规则要求的是对基础数据类型要进行重新命名，使用到对应数据类型的地方，要进行别名替换。

按照如下图片，进行代码修改，保存后，再次进行扫描。

从扫描结果看，第 7 行已不再出现'不应使用基本数据类型..'违规。

4.6 生成报告

生成报告前，可以进行报告的相关设置。

在首选项的报告设置中，可以进行报告内容板块和报告格式的设置。

在下图的配置功能中可以配置报告生成的路径。

点击处理或者记事本图标都可以生成报告。