软件测试小结（二）——黑盒测试（上）

黑盒测试定义和分类

黑盒测试就是在不关心程序内部逻辑和实现的情况下，只根据程序的需求规格说明，检查程序的输出是否符合预期的测试方法。
黑盒测试方法主要有以下几种：

1. 等价类划分
2. 边界值分析
3. 正交实验测试
4. 场景法
5. 因果图
6. 判定表
7. 状态转移图
8. 错误推测法

等价类划分

1.定义

等价类划分是把所有可能的输入数据，即程序的输入域划分成若干部分（子集），然后从每一个子集中选取少数具有代表性的数据作为测试用例。该方法是一种重要的，常用的黑盒测试用例设计方法。

2.划分等价类

等价类是指某个输入域的子集合。在该子集合中，程序内部对该集合中所有数据的操作是相同的。因此，可以把全部输入数据合理划分为若干等价类，在每一个等价类中取一个数据作为测试的输入条件就可以用少量代表性的测试数据取得较好的测试结果。等价类划分可有两种不同的情况：有效等价类和无效等价类。

1. 有效等价类
   是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能。
2. 无效等价类
   与有效等价类的定义恰巧相反。无效等价类指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。

设计测试用例时，要同时考虑这两种等价类。因为软件不仅要能接收合理的数据，也要有一定的容错性，这样的测试才能确保软件具有更高的可靠性。

3.划分等价类的标准

1. 分而不交：无冗余
2. 和而不变：无漏洞
3. 类内等价：以一代全

4.划分等价类的方法

1. 在输入条件规定了取值范围或值的个数的情况下,则可以确立一个有效等价类和两个无效等价类。如：输入值是学生成绩，范围是0～100；有效等价类是[1,100]。无效等价类是(-∞,1)和(100,+∞)。
2. 在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下，可确立一个有效等价类和一个无效等价类；
3. 在输入条件是一个布尔量的情况下，可确定一个有效等价类和一个无效等价类。
4. 在规定了输入数据的一组值（假定n个），并且程序要对每一个输入值分别处理的情况下，可确立n个有效等价类和一个无效等价类。
5. 在规定了输入数据必须遵守的规则的情况下，可确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）；
6. 在确知已划分的等价类中各元素在程序处理中的方式不同的情况下，则应再将该等价类进一步的划分为更小的等价类。

5.选择覆盖标准

在确立等价类之后，还应当根据实际情况选择合适的覆盖标准来设计测试用例。

对无效等价类来说，应当使用单缺陷原则来设计测试用例，即一次只引入一个无效等价类。这种方式易于缺陷的定位。

对有效等价类来说，覆盖标准有很多，主要可以分为：

1. 强覆盖：设计的测试用例应当覆盖所有等价类的所有组合（笛卡尔积）。如果有如果有2个输入，每个输入有3个等价类，则应当有2x3=6个测试用例。
2. 弱覆盖：设计的测试用例对于每种等价类只需要覆盖一次。
3. 组合覆盖：在所有可能输入条件中，选取出k个输入条件进行组合测试。正交表测试法就是组合覆盖的一种情况。

6.当输入存在关联时需要注意

当输入存在关联时，我们可以简单的使用独立性假设，即假设输入不存在关联设计等价类，这样设计出的等价类是无漏洞的，但是它是有冗余的。因为在去除输入的关联性来设计等价类时，相当于扩大了输入域。所以，在输入存在关联时，最好要考虑输入的关联性，然后进行等价类划分。或者在使用独立性假设进行等价类划分后，采用决策表去除冗余。