TBvision 静态测试以及生成报告教程

版本：LDRA 10.3.0

一、准备工作

1. 安装MinGW编译器

1.1 打开LDRA Launcher，界面如下所示

1.2 选择Default Compiler → Add New Compiler → Install Minimalist GNU for Win32 2.0.0-3。（不同环境选择不同的编译器，我用到的是F28335编译器。正常的C++项目就用MinGW即可）

1.3 安装完成后，在Configure Compiler中设置为默认编译器：MinGW200 GCC C/C++ v3.2。我用的是F28335。

2. 获取示例代码

软件提供的示例代码一般位于：C:\LDRA_Workarea_C.CPP_10.3.0 → Examples → Toolsuite → Cashregister_6.0

注意：选择Cashregister_6.0而非Cpp_Cashregister_6.0

想要构建项目可以查看官方提供的操作手册。

二、静态分析

1. 创建分析集(Set)

1.1 Source

可以选择对单文件进行分析，也可以多文件分析。

1.1.1 单文件直接导入即可。

1.1.2 多文件在导入时，需要命名该分析集(Set)的名称。一般选择**System**

• Group选项：表示导入的多个文件之间无关联。
• System选项：表示导入的多个文件之间有关联。（一般勾选该选项）

然后点击Add选择需要加入该分析集(Set)的文件，静态分析的时候一般把整个工程项目的文件都导入进去，一起分析。

可选文件类型范围比较多，需要添加该工程项目的源文件，即C/C++(*.C *.I3C *.CPP *.CXX *.CC)，不需要包括头文件。软件会根据路径设置自动识别源文件包含的头文件信息进行展开。

2. 配置分析选项

导入文件后，需要进行配置。点击该图标

2.1 先选择合适的编译器

2.2 静态分析设置

在Static Analysis Options界面，点击Search Options，如何选择工程的最大路径（即能让编译器找到工程编译所需的头文件和源文件的最外层路径）

确认路径后，勾选Add Subdirectories as search path，接着点击Add Search Path。

此时软件会自动识别该路径下的所有子文件夹，确认无误后点击确认

接着点击Find/Create，生成该分析集的sysearch.dat文件（也是选择该工程项目的最大路径）

该sysearch.dat可以打开查看，但不要轻易更改。里面的内容

• 0开头：表示注释
• 1开头：表示有效路径
• 300开头：表示无效路径

如果一个工程文件在后期静态分析和动态测试时，报错无法识别头文件时，可以检查这里是不是有效的文件路径是否是300开头，要删掉这一行。

配置完成后，点击OK保存设置。

3. 运行分析

1. 点击左侧图标，全选，然后开始分析。
2. 以下是一些选项的解释
   • 主静态分析(Main Static Analysis)
   • 复杂度分析(Complexity Analysis)
   • 静态数据流分析(Static Data Flow Analysis)
   • 交叉引用(Cross Reference)

4. 查看分析结果

1. 右键点击集(Set) → View Summary Report查看摘要报告
2. 右键点击集 → View Code Review查看代码审查结果
3. 可通过View Quality Review查看代码质量指标

可以选择不同的模型标准。

在右侧Results View可以查看分析结果

三、导出静态分析报告

1. 新建项目

打开软件TBAudit，点击【文件】>【新建】>【项目】

2. 项目设置

2.1 选择文件生成路径、ini文件、.ldra文件，

2.2 高级设置中，要选择度量标准

2.3 配置完成后，点击【确认】

3. 导出报告

3.1 当Output窗口输出分析结束时，可以点击【报告】>【生成报告】

3.2 接着选择报告的生成路径，以及输入报告名称

3.3 点击【生成报告】

3.4 完成后即可在指定文件夹查看word报告文件。