第8章 软件测试

T1F2T3F4
②, ⑥
③, ⑦
【(1, 0, 3), (1, 0, 4)】(L3) F1T2 F3T4
【(1, 1, 1), (1, 1, 1)】(L2) F1F2F3F4
④, ⑧
35
优点：
条件组合覆盖准则满足判定覆盖、条件覆盖和
判定/条件覆盖准则。
缺点：
增加了测试用例的数量； 所有的条件覆盖组合不能保证所有的路径被执
15
两种常用的测试方法 黑盒测试 白盒测试
16
黑 盒 测 testing)
试
(black-box
这种方法是把测试对象看做一个黑盒子，
测试人员完全不考虑程序内部的逻辑结 构和内部特性，只依据程序的需求规格 说明书，检查程序的功能是否符合它的 功能说明。
黑盒测试又叫做功能测试或数据驱动测
为图例设计满足语句覆盖的测试用例是
: 【(2, 0, 4)，(2, 0, 3)】 覆盖 ace【L1】
24
优点：
可以很直观地从源代码得到测试用例，无须细
分每条判定表达式——测试用例的设计比较简单。 可执行语句测试覆盖率较高。
缺点：
这种方法仅测试能到达可执行语句的条件，不
测试其它条件，并且对于隐藏的条件是无法测 试的——对条件的测试不全面；
27
优点：
100%的判定覆盖可以保证100%的语句覆盖，但
反之不行。因此，判定覆盖具有比语句覆盖更 强的测试能力；
判定覆盖也具有和语句覆盖一样的简单性，无
须细分每个判定条件就可以得到测试用例。
缺点：
大部分的判定语句是由多个逻辑条件组合而成，
若仅仅判断其整个最终结果，而忽略每个条件 的取值情况，必然会遗漏部分测试路径； 判定覆盖仍是较弱的逻辑覆盖。
22
语句覆盖
语句覆盖就是设计若干个测试用例，运行被 测程序，使得每一条可执行语句至少执行一 次。 在图例中，正好所有的可执行语句都在路径 L1上，所以选择路径 L1设计测试用例，就 可以覆盖所有的可执行语句。
23
测试用例的设计格式如下
【输入的(A, B, X)，输出的(A, B, X)】
28
条件覆盖
条件覆盖就是设计若干个测试用例，运行被测
程序，使得程序中每个判断的每个条件的可能 取值至少执行一次。 在图例中，先可对所有条件的取值加以标记。 例如， 对于第一个判断：

条件 A＞1 取真为T1，取假为F1 条件 B＝=0 取真为T2，取假为F2
29
对于第二个判断：
条件A＝2 取真为T T33，取假为F3
第8章 软件测试
1
学习引导
本章的目标是介绍软件测试过程并介绍一系列测试技术。
了解测试各个阶段,从开发过程中的测试到系统客户的
验收测试; 的缺陷。
介绍了可以帮助用户选择测试案例的技术以发现程序
了解测试优先的开发，即在写代码之前设计好测试案
例，然后自动地运行这些用例。
及了解用户测试过程和技术。
试。
17
用黑盒测试发现程序中的错误，必须在
所有可能的输入条件和输出条件中确定 测试数据，来检查程序是否都能产生正 确的输序P有输入量X和Y及输出量Z。
在字长为32位的计算机上运行。若X、Y 取整数，按黑盒方法进行穷举测试：
可能采用的
测试数据组： 232×232 ＝264 如果测试一组数据需要1毫秒，一年工作 365× 24小时，完成所有测试需5亿年。
市场环境
5
V&V包括静态和动态技术（是否要运行）
软件审查 软件测试
6
审查和复查
审查和复查是分析和审查系统需求、设计
模型、程序的源代码，甚至是建议的系统 测试，它们被称作“静态”Ⅴ&Ⅴ 技术， 即允许我们不必去执行这个软件而去检验 它。
一个程序中的60%的错误可以使用非正式的
3
V&V
两者很难准确的区分（正式） 对于达到客户所期望的软件
贯穿整个软件开发过程中
V&V需要尽早做
4
检验和有效性验证过程的最终目的是建立信心， 即这个软件系统是“达到目的”的。意味着这 个系统足够好。信心水平取决于以下3个因素： 软件目的（类型）：信息化软件 用户期望：成本
10
程序测试的输入-输出模型
测试数据 Ie、
导致异常输 入的数据
系统
输出结果 Oe
表明存在缺 陷的数据
11
缺陷和有效性测试
缺陷测试找出所有不希望出现的系统的行为根 源。
例如：系统崩溃、与其他系统的不期望的交
互、不正确的计算和数据毁坏。
有效性测试使用系统所希望的使用方式的一组
测试案例来测试系统的表现。有效性验证的目 的是审查软件满足它的所规定的功能和非功能 性需求。 例如：按系统的要求数据进行输入。
19
白盒测试(white-box testing)
此方法把测试对象看做一个透明的盒子，它 允许测试人员利用程序内部的逻辑结构及有 关信息，设计或选择测试用例，对程序所有
逻辑路径进行测试。 通过在不同点检查程序的状态，确定实际的 状态是否与预期的状态一致。因此白盒测试 又称为结构测试或逻辑驱动测试。
种方法都不能完全覆盖所有的测试用例。
因此，在实际的测试用例设计过程中，可
根据需要和不同的测试用例设计特征，将 不同的设计方法组合起来，交叉使用，以 实现最佳的测试用例输出。
39
黑盒测试的测试用例设计
等价类划分 边界值分析
40
等价类划分
等价类划分是一种典型的黑盒测试方法，
使用这一方法时，完全不考虑程序的内 部结构，只依据程序的规格说明来设计 测试用例。 等价类划分方法把所有可能的输入数据， 即程序的输入域划分成若干部分，然后 从每一部分中选取少数有代表性的数据 做为测试用例。
条件X＞1 取真为T4 ，取假为F4
测试用例
覆盖分支 条件取值
【(2, 0, 4)，(2, 0, 3)】 L1(c, e) T1T2T3T4 【(1, 0, 1)，(1, 0, 1)】 L2(b, d) F1T2F3F4 【(2, 1, 1)，(2, 1, 2)】 L3(b, e) T1F2T3F4
行，如：从上面的测试用例中可以看到，L4没 有被执行。
36
路径覆盖
路径覆盖就是设计足够的测试用例，覆盖程序
中所有可能的路径。
测试用例 通过路径 覆盖条件 【(2, 0, 4), (2, 0, 3)】 ace (L1) T1T2T3T4 【(1, 1, 1), (1, 1, 1)】 abd (L2) F1F2F3F4 【(1, 1, 2), (1, 1, 3)】 abe (L3) F1F2F3T4
程序审查来发现。 结对编程
7
审查的好处
1. 审查是一个静态的过程，不必关心错误之间的
相互作用。所以，一个单个审查阶段可以发现系 统中的许多错误（结对编程）。
2.审查一个系统的不完整版本不需要额外的代价
（审查可以在软件的各个阶段进行）。
3.除了搜索程序缺陷，审查也可以考虑一个程序更
广泛的质量属性，如符合标准、可移植性和可维 护性。我们可以寻找系统低效的维护和更新，不 恰当的算法，以及差的编程风格（领域知识）。
8
审查和测试
9
测试过程的目标
1. 向开发者和用户展示软件满足了需求
对于定制软件：
意味着对用户和系统需求文档中每个需求至 少要有一个测试。 对于通用软件产品：
意味着要对每个集成在产品发布版本所有系 统特征以及这些特性的组合进行测试。
2. 为了找出软件中的缺陷和不足，即软件的行 为是不正确的、所不希望的或不符合它的描述 的
26
【(2, 0, 4)，(2, 0, 3)】覆盖 ace【L1】 【(1, 1, 1)，(1, 1, 1)】覆盖 abd【L2】
如果选择路径L3和L4，还可得另一组可用的 测试用例: 【(2, 1, 1)，(2, 1, 2)】覆盖 abe【L3】
【(3, 0, 3)，(3, 0, 1)】覆盖 acd【L4】
30
测试用例 覆盖分支 条件取值 【(1, 0, 3)，(1, 0, 4)】 L3(b, e) F1T2F3T4 【(2, 1, 1)，(2, 1, 2)】 L3(b, e) T1F2T3F4
优点：
增加了对判定中对每个条件情况的测试，更加细化。
缺点：
条件覆盖只能保证每个条件至少有一次为真或假，
34
⑤ A＝2, X＞1 作 ⑥ A＝2, X≯1 作 ⑦ A≠2, X＞1 作 ⑧ A≠2, X≯1 作
测试用例
T3T4 T3F4 F3T4 F3F4
覆盖条件 T3T4 覆盖组合 ①, ⑤
【(2, 0, 4), (2, 0, 3)】(L1) T1T2T3T4
【(2, 1, 1), (2, 1, 2)】(L3)
20
逻辑覆盖
逻辑覆盖是以程序内部的逻辑结构为基础的设 计测试用例的技术。它属白盒测试。

语句覆盖 判定覆盖 条件覆盖



判定－条件覆盖 条件组合覆盖 路径覆盖
21
a
b
F
(A>1) and (B==0)
T
c
X=X/A
d
F
(A==2) or (X>1)
T
e
X=X+1 L1 ( a c e ) L2 ( a b d ) L3 ( a b e ) L4 ( a c d )
12
测试不能够证明软件没有缺陷或者它在每
个环境中都能够按指定的方式执行。