第四章-黑盒测试技术

• 4.1 黑盒测试技术基本概念
• 4.2 黑盒测试的方法
• • ==等价类划分法==
  • 边界值分析法
  • 因果图法
  • 场景设计法
  • 错误推测法
  • 决策表法
  • 正交试验设计法
• 4.3 黑盒测试的依据和流程

4.1 黑盒测试技术基本概念

黑盒测试对程序的功能性测试要求：
（1）每个软件特性必须被一个测试用例或一个被认可的异常所覆盖。
（2）利用数据类型和数据值的最小集测试。
（3）利用假想的数据类型和数据值运行，测试处理不规则输入的能力。
（4）利用一系列真实的数据类型和数据值运行，测试超负荷及其他“最坏情况”的结果。
（5）测试影响性能的关键模块，如基本算法、精度、时间、容量等是否正常。

4.2 黑盒测试的方法

等价类划分法

完全不考虑程序的内部结构，只根据程序规格说明书对输入范围进行划分，把所有可能的输入数据，即程序输入域划分为若干个互不相交的子集，称为等价类，然后从每个等价类中选取少数具有代表性的数据作为测试用例，进行测试。

一、等价类划分方法简述：
首先应在分析需求规格说明的基础上划分等价类，再根据等价类设计出测试用例。

等价类即输入域的某个互不相交的子集，所有等价类的并集为整个输入域。即整个输入域提供了一种形式的完备性，而互不相交则可保证一种形式的无冗余性。
等价类中的元素有一些共同的特点：如果用等价类中的一个元素作为测试数据进行测试不能发现程序中的故障，那么使用集合中的其他元素进行测试也不可能发现故障，表现了其代表性和等效性。

二、划分等价类：

• 有效等价类：指符合程序规格说明书，有意义的、合理的输入数据所构成的集合。
  利用有效等价类，可以检验程序是否实现了规格说明预先规定的功能和性能。在具体问题中，有效等价类可以是一个或是多个。
• 无效等价类：指不符合程序规格说明书，无意义的或不合理的输入数据所构成的集合。
  利用无效等价类，可以检查软件功能和性能的实现是否有不符合规格说明要求的地方。对于具体的问题，无效等价类至少应有一个，也可能有多个。

三、常用的等价类划分原则：

• 按区间划分：如果规格说明规定了输入条件的取值范围或值得数量，则可以确定一个有效等价类和两个无效等价类。

如果软件规格说明“学生允许选修5到8门课”，则一个有效等价类可取“选课5到8门”，无效等价类可取“选课不足5门”和“选课超过8门”。

• 按数值划分：如果规格说明规定了一组输入数据，而且程序要对每一个输入值分别进行处理，则可为每一个输入值确立一个有效等价类，针对这组值确立一个无效等价类，它是所有不允许输入值的集合。

例：程序输入x取值于一个固定的枚举类型{1,3,7,15}，且程序 中对这4个数值分别进行了处理，则有效等价类为x=1、x=3、 x=7、x=15，无效等价类为x≠1,3,7,15的值的集合。

• 按数值集合分类：如果规格说明规定了输入值的集合，则可确定一个有效等价类和一个无效等价类（该集合有效值之外）。

例如，某程序要求输入TOM、DICK或HAPPY这些名字之一，那么定义一个等价有效类（采用有效名字之一）和一个无效等价类（采用有效名字之外的名字，如JOE）

• 按限制条件或规则划分：如果规格说明规定了输入数据必须遵守的规则或限制条件，则可以确定一个有效等价类（符 规则）和若干个无效等价类（从不同角度违反规则）。

例如，若某个输入条件说明了一个必须成立的情况（如输入数据必须是数字），则可划分一个有效等价类（输入数据是数字）和一个无效等价类（输入数据为非数字）

• 细分等价类：等价类中的各个元素在程序中的处理若不相同，则可将此等价类进一步划分为更小的等价类。

在确立了等价类之后，可按下表的形式列出所有划分出的等价类表。

• E：（异）余数符 。表示a和b之间至多只能一个为1，不能同时为1。
• I：（或）约束符 。a，b，c之间至少有一个为1，不能同时为0。
• O：（唯一）约束符 。a和b必须有一个且只有一个为1。
• R：（要求）约束符 。a为1时，b必须为1，即不可能a为1时b是0。

场景设计法

一、场景法描述：
场景设计法的核心是事件流和场景。其中事件流包括基本流和备选流。

用例场景用来描述流经用例的路径，从用例开始到结束遍历这条路径上所有基本流和备选流。

要解决的问题：①如何获取基本流和备选流
②当路径上存在数量众多的备选流时，如何处理场景爆炸的问题

二、一般步骤：

1. 构造基本流和被选修
2. 根据基本流和备选流构造场景
3. 根据场景设计测试用例
4. 对每个测试用例补充必要的测试数据

三、测试过程：
如图，包括已知的基本流和四个备选流，共4个分支节点，其中备选流124涉及的是条件判定结点，备选流3涉及的是循环的情况。

错误推测法

错误推测法是基于测试人员的经验和直觉来推测系统中可能存在的各种缺陷，有针对性地设计测试用例的方法。这里的经验和直觉来自测试人员对被测软件系统特性的了解和以往在测试工作中的总结。

决策表法

决策表并不是因果图的一个辅助工具，在一个程序中，如果输入输出比较多，输入之间和输出之间相互制约的条件比较多，在这种情况下应用决策表很合适，它可以很清楚地表达它们之间的各种复杂关系。

一、决策表法简述：
决策表是把作为条件的所有输入的各种组合值以及对应输出值都罗列出来而形成的表格。它能够将复杂的问题按照各种可能的情况全部列举出来，简明并可避免遗漏。因此，利用决策表能够设计出完整的测试用例集合。

决策表由以下四部分组成：

• 条件桩：列出问题的所有条件
• 条件项：针对条件桩给出的条件列出所有可能的取值
• 动作桩：列出问题规定的可能采取的操作
• 动作项：指出在条件项的各组取值情况下应采取的动作

将任何一个条件组合的特定取值及相应要执行的动作称为一条规则。在判定表中贯穿条件项和动作项的一列就是一条规则。

二、决策表的构造及化简
构造决策表的步骤：

1. 列出所有的条件桩和动作桩
2. 确定规则的个数
3. 填入条件项
4. 填入动作项，得到初始决策表
5. 简化决策表，合并相似规则

对于n个条件的决策表，相应有2n规则。
当n较大时，决策表很庞大。实际使用决策表时，常常先将它简化。决策表的简化以合并相似规则为目标，即若表中有两条或两条以上规则具有相同的动作，并且在条件项之间存在极为相似的关系，便可以合并。合并后的条件项用符 “-”表示，说明执行的动作与该条件的取值无关，称为无关条件。

正交试验设计法

一、正交试验设计法简述：
正交试验方法是依据Galois理论，从大量的数据（测试用例）中挑选适量的、有代表性的点（用例），从而合理地安排实验（测试）的一种科学实验设计方法。

正交试验方法是使用已经创建的正交表格来安排试验并运行数据分析的一种方法，目的是用最少的测试用例达到最高的测试覆盖率。

因素（因子）：输入的条件（变量）
水平（因子的状态）：条件的可能取值
一般用L表示正交表，如L₈(2⁷)中的7为因子数（即正交表的列数），2为因子的水平数，8为测试次数（即正交表的行数）。

二、正交试验设计发的设计步骤：
（1）提取功能说明，构造因子状态表
（2）加权筛选，生成因素分析表
（3）利用正交表构造测试数据集

4.3 黑盒测试的依据和流程

黑盒测试也称为功能测试、行为测试或数据驱动测试，在测试时，把程序看作一个不能打开的黑盒，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。

黑盒测试注重于测试软件的功能性需求，不考虑内部逻辑结构，主要针对软件界面和软件功能进行测试，多应用于测试过程的后期。

等价类划分和边界值分析：最常用、最简单有效
因果图法和决策表法：适于程序的功能说明中含有输入条件的组合情况
场景法：适于业务流清晰的情况
正交试验法：适于多参数多配置的情况