软件测试——黑盒测试（边界值分析、等价类划分）

黑盒测试有两种类型：静态黑盒测试、动态黑盒测试。静态黑盒测试即测试内部人员在软件开发过程中编写的文档。接下来我们介绍一下动态黑盒测试的两种方法。

1.边界值分析

边界值分析考虑大量的错误是发生在输入或输出范围的边界上，而不是发生在输入、输出范围的内部，因此我们可以对各种边界情况设计测试用例。假设x1、x2在a≤x1≤b，c≤x2≤d范围内取值为有效值，我们对其进行边界值分析。

如下图。在最小值、略高于最小值、正常值、最大值、略低于最大值这五个值处输入变量值。如下图，x1取正常值，x2分别取最小值、略高于最小值、最大值、略低于最大值；x2取正常值，x1分别取最小值、略高于最小值、最大值、略低于最大值；最后再取x1、x2都为正常值。可以看出，当有n个输入变量时，总共会取得4n+1个测试用例。

对边界值分析完后，我们需要对其进行健壮性测试。如下，x1取正常值，x2分别取略高于最大值、略低于最小值；x2取正常值，x1分别取略高于最大值、略低于最小值。

2. 等价类划分
等价类划分进行完备测试，包含四种类型：弱一般等价类测试、强一般等价类测试、弱健壮性等价类测试、强健壮性等价类测试。接下来我们一一介绍这四种类型。例如：a<=x<=d，区间为[a,b),[b,c),[c,d]；e<=y<=g，区间为[e,f),[f,g]
（1）弱一般等价类测试
根据单缺陷假设：使用每个区间的一个值生成测试用例。

（2）强一般等价类测试
根据单缺陷假设：需要等价笛卡尔积的每个元素生成测试用例。

（3）弱健壮性等价类测试
根据单缺陷假设，考虑无效值。对于有效输入，使用每个有效类的一个值（就像我们在弱一般等价类测试中做的一样）；对于无效输入，测试用例将拥有一个无效值，并保持其余的值都是有效的。

（4）强健壮性等价类测试
所有等价类笛卡尔积的每个元素中获得测试用例。