测试用例	覆盖条件	覆盖组合
(2, 0, 4)	$T_{1}, T_{2}, T_{3}, T_{4}$	①，⑤
(2, 1, 1)	$T_{1}, {\overset{―}{T}}_{2}, T_{3}, {\overset{―}{T}}_{4}$	②，⑥
(1, 0, 3)	${\overset{―}{T}}_{1}, T_{2}, {\overset{―}{T}}_{3}, T_{4}$	③，⑦
(1, 1, 1)	${\overset{―}{T}}_{1}, {\overset{―}{T}}_{2}, {\overset{―}{T}}_{3}, {\overset{―}{T}}_{4}$	④，⑧

控制结构测试

基本路径测试

测试流程

① 根据过程设计结果画出相应流图

画流图就按前边说的方法画。

② 计算流图的环形复杂度

这一步也按前边说的来。

\begin{matrix} V (G) = e - n + 2 \\ V (G) = 图 所 在 平 面 被 划 分 为 的 区 域 数 \\ V (G) = 判 定 节 点 数 + 1 \end{matrix}

图中 $e = 10, n = 7, V = e - n + 2 = 5$

③ 确定线性独立路径的基本集合

独立路径：至少包含一条在定义该路径之前不曾用过的边。

环形复杂度为独立路径基本集的上界。比如这张图中环形复杂度 $V = 5$ ，就说明独立路径有5条。

找出5条独立路径（括号里是新路径）：

路径1	1-2-4-6-7( $e_{1}, e_{4}, e_{9}, e_{10}$ )
路径2	1-2-4-2-5-7( $e_{3}$ )
路径3	1-2-5-7( $e_{5}, e_{8}$ )
路径4	1-3-7( $e_{2}, e_{7}$ )
路径5	1-3-5-7( $e_{6}$ )

④ 设计测试用例覆盖基本集合的路径

设计一组样例覆盖上面找出的独立路径。

例题

计算不超过100个在规定值域内有效数的平均值；同时计算有效数字的综合和个数。

PDL描述

画流图

算环形复杂度

$V = e - n + 2 = 6$

找独立路径、设计用例

省略，考前练练。

注意

有些独立路径如果不能独立测试，可以放在其他路径里一起测。

循环测试

分类

简单循环

零次循环

从循环入口直接跳到循环出口（循环执行0次）。

一次循环

只让循环执行一次，为了查找循环初始值方面的错误。

二次循环

让循环执行2次。检查在多次循环时才能暴露的错误。

m次循环

执行中间环次数（ $m < n$ ），看中间阶段会不会有错。

最大次数循环、比最大次数多一次循环、比最大次数少一次的循环

最后测试这三种情况会不会有问题。

例

// 求最小值
k = i; // 循环从i开始，到n结束
for(j=i+1; j<=n; j++)
    if(A[j] < a[k])
        then k = j;

测试用例：

循环	i	n	A[i]	A[i+1]	A[i+2]	k期望
0次	1	1				i
1次	1	2	1	2		i
1次	1	2	2	1		i+1
2次	1	3	1	2	3	i
2次	1	3	2	3	1	i+2
2次	1	3	3	2	1	i+2
2次	1	3	3	1	2	i+1

嵌套循环

带嵌套时复杂度指数级增加，不能再用经典方法测。

①从最内层循环开始，置所有其它层循环为最小值

② 对最内层循环做简单循环的全部测试。

③ 逐步外推，测试时保持所有外层循环变量取最小值，其它嵌套内层循环变量取**“典型”值**。

④ 反复进行，直到所有各层循环测试完毕。

连锁循环

若各个循环互相独立，可用与简单循环相同方法进行测试。

若几个循环不是互相独立，需要使用测试嵌套循环。

非结构化循环

这种抽象玩意没法直接测试，使用结构化程序设计方法重新设计再测试。

黑盒测试技术

概述

着重测的是软件的功能。应该能发现如下错误：

（1）功能不正确或遗漏；

（2）界面错误；

（3）数据结构或外部数据库访问错误；

（4）性能错误；

（5）初始化或终止错误。

常见的测试技术有等价类划分，边界值分析，错误推测等。

等价类划分

概述

把程序的输入域划分成若干数据类，从每一数据类选取少数有代表性数据做为测试用例。

在各数据类中，各输入数据对揭露程序中的错误等效（随便拿哪个测结果都一样）。

测试过程分为以下步骤：

划分等价类

有效、无效的等价类

有效等价类：合理，有意义输入数据构成集合。

无效等价类：不合理，无意义输入数据构成的集合。

这两个等价类都需要分出来。

划分原则

① 按输入条件规定的范围，定义一有效等价类和两无效等价类。

② 如果输入条件是布尔量，那就只有一个有效等价类和一个无效等价类。

③ 如果规定输入数据一组值，程序对每个输入值分别进行处理。每个输入值确立一有效等价类，针对这组值确立一个无效等价类。

比如：教工分房方案中，按教授、副教授、讲师、助教分别计分。

有效类4个；除了上述四种人，其他统一算无效类1个。

④ 如果规定输入数据必须遵守规则，定义一有效等价类（符合规则）和若干无效等价类（按从不同角度违反规则划分无效等价类）。

比如Pascal语言规定“一个语句必须以分号‘;’结束”。这时，可以确定一个有效等价类“以‘;’结束”，若干个无效等价类：以‘:’结束、以‘,’结束等。

⑤ 已划分等价类中各元素在程序中处理方式不同，将等价类进一步划分更小等价类。

比如对月份的处理，28、29、30、31四个小等价类。

确立测试用例

建立等价类表，列出所有划分出等价类:

输入条件	有效等价类	无效等价类
…	…	…

为每一等价类规定一唯一编号；

设计一新测试用例，尽可能多覆盖尚未被覆盖有效等价类（防冗余，提高效率），重复，直到所有有效等价类被覆盖；

设计一新测试用例，仅覆盖一尚未被覆盖无效等价类，重复，直到所有无效等价类被覆盖。

例

某城市的电话号码由三部分组成：

地区码可空白或三位数字；前缀为非0或1开头的四位数字；后缀四位数字。

等价类表：

输入条件	有效等价类	无效等价类
地区码	空白(1) 3位数字(2)	含非数字字符(5) 少于三位数(6) 多于三位数(7)
前缀	2000-9999的四位数(3)	含非数字字符(8) 起始为0(9) 起始为1(10) 少于四位数(11) 多于四位数(12)
后缀	四位数(4)	含非数字字符(13) 少于四位数(14) 多于四位数(15)

测试数据：

测试数据	覆盖等价类（测试范围）	期望结果
( ) 2761-2345	(1) (3) (4)	✔️
(635) 8051-9321	(2) (3) (4)	✔️

测试数据	覆盖等价类（测试范围）	期望结果
(20A) 1231-4567	(5)	❌
(33) 2314-5678	(6)	❌
(1827) 8372-4937	(7)	❌
...	...	❌
...	(15)	❌

边界值分析

概述

是对等价类划分方法的补充。确定出边界，找边界上和边界附近的极端情况做测试。

常见的边界值

对16-bit 的整数而言 32767 和 -32768是边界；

屏幕上光标在最左上、最右下位置；

报表的第一行和最后一行；

数组元素的第一个和最后一个；

循环的第0次、第1次和倒数第 2 次、最后一次。

边界选择原则

① 如果输入条件规定了取值范围，则以该范围作为边界；

② 如果输入条件规定值的个数，则以个数为边界；

③ 针对规格说明的每个输出条件，使用原则①和②（如果输出或者别的什么地方也有边界，也要按①和②测出来）；

④ 如果规格说明给出的输入或输出域是有序集合（如有序表、顺序文件等），则选取集合中特定次序的元素作为边界，如第一个、最后一个元素等；

⑤ 如果程序中使用了一个内部数据结构，则应选择该结构的边界上的值，如数组、链表等（带有范围容易越界的东西）；

⑥ 分析规格说明，找出其它可能边界条件。

例

某报表处理系统要求用户输入处理报表日期，日期在2001年1月至2005年12月，由年、月6位数字字符组成，前四位代表年，后两位代表月。用边界值分析法写出测试用例。

分析表：

输入条件	测试用例	测试数据	期望结果	选取理由
类型和长度	1个数字 5个数字 7个数字 1个非数字全非数字 6个数字	5 20035 2003005 2003.5 MAY 200305	❌ ❌ ❌ ❌ ❌ ✔️	略
日期范围	在边界选取	200101 200512 200012 200601	✔️ ✔️ ❌ ❌	略
月份范围	1月 12月 <1 >12	200301 200312 200300 200313	✔️ ✔️ ❌ ❌	略

错误推测

这种方法其实就是靠经验找错，你觉得哪可能会错。

靠经验和直觉推测程序可能存在错误，要有针对性地编写检查这些错误的测试用例。

常见错误：

输入数据或输出数据为零；

输入或输出数目为零（如表空或只1项）；

缺省值；

空白；

空值；

多个数据的组合效应；

错误的群集现象（如果找到错了，那就极有可能有别的错）；

NickName

E-Mail

Website

Comments

Latest
Oldest
Hottest

4、结构化系统实现

Preview: