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

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

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

PAGE

PAGE14

目录

TOC\o1-3\h\z\u1 Testbed功能介绍 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

表达式分析

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

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

数组下标越界；

存在被零除；

SWITCH语句缺少DEFAULT；

CASE语句缺少BREAK；

存在混合运算；

对指针进行逻辑比较；

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

接口分析

接口分析检查以下内容：

实参和形参个数不匹配；

实参和形参类型不匹配；

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

软件质量度量分析

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

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

软件质量度量元说明

序号

度量元

指标要求

说明

函数代码行数

=200

函数包含的语句数。

注释度量

=20%

代码的有效注释率。

函数参数

=7

函数参数个数。

Goto语句

0

Goto语句数。

圈复杂度

=10

控制流图中边的数量与节点数量之间的差值加2。

基本复杂度

=4

圈复杂度与流程图中结构化子图的数量之间的差值；基本复杂度高意味着非结构化程度高，难以模块化和维护。

LCSAJ密度

=20

LCSAJ密度是一个描述软件可维护性的概念，它是指当改变一行代码时，对其它线性代码顺序和跳转的影响程度，值越大说明影响的测试路径相对越多，因此系统可维护性越低。

控制流结点数

=10

控制流结点数表示流程图中控制流相交的交点数。

基本结点数

=5

将流程图中的结构化部分简化成一个点，简化以后流程图的结点数是基本结点数。

扇入度量

=7

调用本函数的上层函数的个数。

扇出度量

=7

本函数调用下层函数的个数。

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

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

确定测试需求

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

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

确定测试内容：确定静态分析规则，可参考附录A所示静态分析推荐规则使用说明。

确定测试“类型”：确定是进行击System分析还是Group分析（选择Group时，不对代码进行集成测试，只是采用批处理方式分析单个文件）。

建立测试工程

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

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

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

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

定制代码分析规则

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

2.编辑第2列,根据实际需求