ParaSoft C/C++test 静态分析

1. 自定义静态分析规则：

   1. 在ParaSoft C/C++test中，用户可以根据项目需求选择和自定义静态分析规则。这通常涉及选择符合特定编码标准（如MISRA C 2012）的规则集。

2. 执行静态分析：

   1. 用户选择要进行静态分析的源代码文件或整个工程，然后在ParaSoft C/C++test中执行静态分析命令。工具会扫描代码，检查潜在的编程错误、缺陷和安全漏洞。

3. 查看静态分析结果：

   1. 分析完成后，用户可以在ParaSoft C/C++test的“质量任务”窗口中查看分析结果。结果通常包括违规情况、代码质量指标等，并且可以配置显示方式。

4. 生成静态分析报告：

   1. 用户可以生成静态分析报告，报告会详细列出分析结果，包括违规的代码位置、违规类型等信息。报告可以用于跟踪问题和改进代码质量。

•   生成bdf文件

    为什么要生成bdf文件？

    虽然从IDE上可以看到创建项目的方式有很多，但在和厂商的交流中得知，使用最广泛最方便的方式是通过导入bdf文件生成项目，bdf文件主要通过捕获编译过程生成。该文件中会包含编译过程中参与编译的文件（包含路径），以及编译使用到的编译器信息等。

    如何生成bdf文件？

    生成bdf文件的简要命令如下：

  cpptesttrace --cpptesttraceProjectName=ConsoleApplication1 --cpptesttraceOutputFile=ConsoleApplication1.bdf msbuild

    参数说明：

• --cpptesttraceProjectName=ConsoleApplication1 ：指定项目名称

• --cpptesttraceOutputFile=目标路径/ConsoleApplication1.bdf ：指定bdf文件路径和名称

• msbuild为编译命令

•   举例：

    此时当前目录初始状态，利用cmd打开命令行窗口

• 

    执行命令

• 

    命令执行结束后，在项目文件“ConsoleApplication1”夹下面会生成bdf文件

• 

    导入含有bdf文件的项目

    1.点击创"建一个项目",选择 “创建来自构建数据文件(.bdf/ .json)的项目”，最后点击 "下一步"。

• 

•   2.点击预览，选择已经创建完成的bdf文件，并手动选择编译器的种类，最后点击完成。

    3.导入成功

• 

    配置自定义静态分析规则

• 步骤一：在菜单栏中的“Parasoft”中打开“测试配置”：

• 

步骤二：在测试配置左侧“内建”中的“Static Analysis”中选择相应的规则集，然后右击，选择“复制”

步骤三：点击“复制”之后用户自定义的列表下面会出现刚刚选择的规则集选项

步骤四：在右侧选中“静态”配置页，可以对规则进行自定义选择（可以通过对每一条规则单独进行勾选，或者右键通过“启用规则”或“禁用规则”并根据规则等级批量进行选择）：

而且可以修改自定义规则集的名称，最终点击“应用”

执行静态分析

1.然后选择你要进行静态分析的源码文件（可以是整个工程的所有文件，也可以单独选择某一个或几个文件），在右键菜单选项中选择“Parasoft”->“测试执行”->”用户自定义“，在子选项中可以选择我们之前配置完成的测试规则：

点击最后的规则之后，开始执行静态分析，在“测试进度”窗口中可以执行进度，执行完成后的界面如下：

2.查看静态分析结果

执行完成静态分析后，可以在窗口查看分析出来的违规情况。可以配置和选择结果的显示方式，如下所示：

控制台输出

3.生成静态分析报告

在“测试进度”窗口中，如果不更改“报告位置”，可以直接点击“处理”生成静态分析报告到默认地址：

如果要更改报告位置，点击“配置…”，在弹出的窗口中更改报告位置，点击“OK”保存。再按照上一步的示例点击“处理”即可将静态分析报告生成到指定的路径：

生成的静态分析报告如下: