Testbed静态测试使用指南V1.1

目录

1Testbed功能介绍 (1)

1.1编程规则验证 (1)

1.2数据流分析 (1)

1.3控制流分析 (1)

1.4表达式分析 (2)

1.5接口分析 (2)

1.6软件质量度量分析 (2)

2使用Testbed 进行编码规则的定制和检查 (3)

2.1确定测试需求 (3)

2.2建立测试工程 (3)

2.3定制代码分析规则 (6)

2.4配置Report选项 (7)

2.5分析执行及结果查看 (8)

3结果分析及测试报告编写 (9)

3.1质量度量信息的获取 (9)

3.2程序质量度量报告单 (11)

3.3静态分析质量报告单 (12)

附录A：静态分析推荐规则使用说明 (1)

1Testbed功能介绍

1.1编程规则验证

编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。

1.2数据流分析

LDRA Testbed分析软件中全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文本报告方式表示，清晰地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。

通过Testbed数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：

1.没使用的函数参数；

2.不匹配的参数；

3.变量未赋初值就引用；

4.代码中有多余变量；

5.给值传递参数赋值；

6.无返回值的函数路径；

7.函数的实参是全局变量。

1.3控制流分析

控制流分析检查以下内容：

1.不可达代码；

2.不合理的循环结构；

3.存在浮点相等比较；

4.函数存在多个出口；

5.函数存在多个入口。

1.4表达式分析

表达式分析检查以下内容：

1.表达式中的括号使用不当；

2.数组下标越界；

3.存在被零除；

4.SWITCH语句缺少DEFAULT；

5.CASE语句缺少BREAK；

6.存在混合运算；

7.对指针进行逻辑比较；

8.在逻辑表达式中使用赋值操作符。

1.5接口分析

接口分析检查以下内容：

1.实参和形参个数不匹配；

2.实参和形参类型不匹配；

3.函数参数定义的结构和调用的结构不一致。

1.6软件质量度量分析

对于软件开发工程师、项目负责人及高级管理者来说，软件质量的管理与监控是非常困难的且费时。LDRA Testbed很好地解决了这一问题，使得管理者很容易地收集正在开发的软件系统的相关信息并判断软件是否满足软件质量标准要求，从而达到对软件项目的质量跟踪与控制。Testbed 提供数据文件接口，用户可基于现行软件标准自行定义适合本系统或项目的软件质量模型。

静态分析的软件度量元和相应的说明见表1：

表 1软件质量度量元说明

2使用Testbed 进行编码规则的定制和检查

LDRA Testbed可通过编辑编码规则文件cpen.dat/cppen.dat实现编码规则的定制，下面将具体介绍：

2.1确定测试需求

在测试需求分析阶段确定：

1.确定测试对象：整个MSVC工程还是文件集合；纯C文件、纯C++还

是C/C++混合文件。

2.确定测试内容：确定静态分析规则，可参考附录A所示静态分析推荐规

则使用说明。

3.确定测试“类型”：确定是进行击System分析还是Group分析（选择

Group时，不对代码进行集成测试，只是采用批处理方式分析单个文件）。

2.2建立测试工程

1. 启动Testbed，根据分析对象，选择测试工程类型。如需对整个MSVC工程进行分析，选择Create Set Based Upon MSVC v6 Project；如分析对象是一个或多个C、C++文件，选择Select/Create/Delete Set…。下面以在Set 菜单下选择

Select/Create/Delete Set…选项为例进行说明。

2. 在Select/Create Set输入框中输入“Demo”，点击【Create】按钮

3. 点击【System】按钮（选择Group时，不对代码进行集成测试，只是采用批处理方式分析单个文件）。

4. 点击右上侧【Add】按钮，选择好要分析的文件，点击【Add】按钮后点【OK】按钮进行确认。

2.3定制代码分析规则

1. 点击菜单栏中的Configure，在下拉菜单中点击Static Options 选项，将会出现如下窗口，点击cpen.dat/cpppen.dat后的Edit 按钮，按照提示编辑cpen.dat/cpppen.dat后。若存在已编辑好的编码规则文件，可按旁边的浏览键直接指定该dat 文件，则下面第3步可以省略。

2. 编辑第2 列,根据实际需求，将对应编码规则置“0”或“1”，置“0”代表该条编码规则无效，置“1”代表该条编码规则有效。

2.4配置Report选项

1. Quality Report配置

点击菜单栏中的Configure，在下拉菜单中点击Quality Report Options 选项，将会出现如下窗口，在Programming Standard Model 下拉框中选择“No Model –all standards”。如分析的文件为C、C++混合类型，则在下图右侧所示下拉列表中分别选择一个.C和.CPP文件，选中对应文件后选择在Programming Standard Model 下拉框中选择“No Model –all standards”。

在Optional Configuration中Violation Summaries选中“All”，根据需要选择Report Violations Only（Quality Report只列出有违反的）。

2. Metrics Report配置

点击菜单栏中的Configure，在下拉菜单中点击Metrics Report Options 选项，将会出现如下窗口，根据测试需求配置metpen,dat及Kiviat.dat文件。

2.5分析执行及结果查看

1. 点击菜单栏中的Analysis，在下拉菜单中点击Select Analysis，将会出现如下窗口，选择前3 项，点击Start Analysis 按钮，开始进行静态分析。

2. 静态分析结束后，点击菜单栏中的Individual /System Results，选择下拉菜单Text Results 中的Quality Report(HTML)，查看质量报告。

3结果分析及测试报告编写

3.1质量度量信息的获取

度量度量信息可通过以下几种方式获取：

1. 查看规则审查报告：点击菜单栏中的Individual Results/System Results，选择下拉菜单Text Results 中的Quality Report (HTML)。

2. 查看质量度量报告：点击菜单栏中的Individual Results/System Results，选择下拉菜单Text Results 中的Metrics Report (HTML)。

3. 查看图形化报告：点击菜单栏中的System Results，选择下拉菜单Graphical Results 中的Static Bar Charts。

以圈复杂度为例：选择Static Bar Charts子菜单下的“Essential Cyclomatic Complexity”，弹出如下所示柱状图，在该界面，将Graph菜单下的Show Bar Components选中，可查看函数基本圈复杂度具体信息。

3.2程序质量度量报告单

表 2程序质量度量报告单

3.3静态分析质量报告单

报告单中列出的审查内容根据测试需求确定，其中部分度量指标在质量度量报告中会重复出现，此表可以不列出。审查结果根据根据Quality Report确定。

表 3静态分析质量报告单

附录A：静态分析推荐规则使用说明

1

2

3

注：M的优先级高于C。

4