黑盒测试技术

5.1 黑盒测试概述
在黑盒测试时，测试者将整个被测试的程序看成 一个黑盒子，在完全不考虑程序或者系统的内部结构 和内部特性的情况下，检查程序的功能是否按照需求 规格说明书的规定正常运行，程序是否能适当地接收 输入数据而产生正确的输出结果。 在这里，测试者运行一个程序时并不需要理解其 内部结构，只是根据产品应该实现的实际功能和已经 定义好的产品规格，来验证产品所应该具有的功能是 否实现，每个功能是否都能正常使用，是否满足用户 的要求。因此，如果软件外部特性本身有问题或规格 说明书的规定有误，用黑盒测试方法是发现不了的。
5.2.3 等价类划分法案例
［例5.1］某网站用户申请注册时，要求用户必须输入用户名、 密码及确认密码，对每一项输入条件的要求如下： 用户名要求为4～12位，使用英文字母、数字、“-”、“_”， 并且首字符必须为字母或数字；密码要求为6～12位，只能使 用英文字母、数字以及“-”、“_”，并且区分大小写。 试用等价类划分法为其设计测试用例。 分析如下： （1）分析程序的规格说明，列出等价类表（包括有效等价类 和无效等价类），参考书上的表5-5。 （2）根据上述等价类表，设计测试用例，参考书上的表5-6。
5.2.2 常见等价类划分形式
对于上述三角形问题，取a，b，c的无效值产生了7个 健壮等价类测试用例，如下表所示。
测试用例 TR1 TR2 TR3 TR4 TR5 TR6 TR7 a 30 -1 50 50 101 50 50 b 40 50 -1 50 50 101 50 c 50 50 50 -1 50 50 101 预期输出 一般三角形 a值超出定义域范围 b值超出定义域范围 c值超出定义域范围 a值超出定义域范围 b值超出定义域范围 c值超出定义域范围
5.2.2 常见等价类划分形式
举例说明： 平方根函数要求当输入值为等于或大于0时，返回输入数的 平方根；当输入值小于0时，显示错误信息“输入值小于0，错 误!”，并返回0。考虑平方根函数的测试用例区间，可以划分出 两个输入区间和两个输出区间，如下表所示。
输入区间 Ⅰ >=0 A 输出区间 >=0
Ⅱ
5.2.1 等价类划分法的概念
以下是划分等价类的几个原则： 如果规定了输入条件的取值范围或者个数，则可以确定一个 有效等价类和两个无效等价类。 如果规定了输入值的集合，则可以确定一个有效等价类和一 个无效等价类。 如果规定了输入数据的一组值，并且程序要对每一个输入值 分别进行处理，则可为每一个值确定一个有效等价类，此外根 据这组值确定一个无效等价类，即所有不允许的输入值的集合。 如果规定了输入数据必须遵守的规则，则可以确定一个有效 等价类和若干个无效等价类。 如果已知的等价类中各个元素在程序中的处理方式不同，则 应将该等价类进一步划分成更小的等价类。
5.2.1 等价类划分法的概念
等价类划分法把所有可能的输入数据，即程序的 输入域划分成若干部分（子集），然后从每一个子集 中选取少数具有代表性的数据作为测试用例。所谓等 价类是指输入域的某个子集合，所有等价类的并集就 是整个输入域。在等价类中，各个输入数据对于揭露 程序中的错误都是等效的，它们具有等价特性。因此， 测试某个等价类的代表值就是等价于对这一类中其他 值的测试。
5.2.1 等价类划分法的概念
划分等价类的标准： 完备性。所有等价类的并集就是整个输入域，提供 一种形式的完备性。 无冗余性。等价类是输入域的某个子集合，子集互 不相交，保证一种形式的无冗余性。
5.2.2 常见等价类划分形式
针对是否对无效数据进行测试，可以将等价类测 试分为标准等价类测试、健壮等价类测试及对等区间 划分。 1. 标准等价类测试 标准等价类测试不考虑无效数据值，测试用例使 用每个等价类中的一个值。通常，标准等价类测试用 例的数量和最大等价类中元素的数目相等。
5.1 黑盒测试概述
黑盒测试有两种基本方法，即通过测试和失败测 试。在进行通过测试时，实际上是确认软件能做什么， 而不会去考验其能力如何，软件测试人员只是运用最 简单、最直观的测试案例。在设计和执行测试案例时， 总是先要进行通过测试，验证软件的基本功能是否都 已实现。在确信软件正确运行之后，就可以采取各种 手段通过搞垮软件来找出缺陷。这种纯粹为了破坏软 件而设计和执行的测试案例，称为失败测试或迫使出 错测试。
5.2.2 常见等价类划分形式
三角形问题的4个标准等价类测试用例如下表所示。
测试用例 A b c 预期输出
T1 T2 T3 T4
Байду номын сангаас
50 50 30 20
50 50 40 20
50 30 50 50
等边三角形 等腰三角形 一般三角形 不构成三角 形
5.2.2 常见等价类划分形式
2. 健壮等价类测试 区别于标准等价类测试，健壮等价类测试用例则 考虑了无效等价类。 在设计健壮等价类测试用例时，对有效输入，测 试用例从每个有效等价类中取一个值；对无效输入， 一个测试用例有一个无效值，其他值均取有效值。
5.2.2 常见等价类划分形式
以三角形问题为例，要求输入3个整数a、b、c， 分别作为三角形的3条边，取值范围为1～100，判断 由三条边构成的三角形类型为等边三角形、等腰三角 形、一般三角形及不构成三角形。在多数情况下，是 从输入域划分等价类，但对于三角形问题，从输出域 来定义等价类是最简单的划分方法。 利用这些信息可以确定下列输出（值域）等价类： R1＝{<a，b，c>：边为a，b，c的等边三角形} R2＝{<a，b，c>：边为a，b，c的等腰三角形} R3＝{<a，b，c>：边为a，b，c的一般三角形} R4＝{<a，b，c>：边为a，b，c不能构成三角形}
5.4 决策表法
5.4.1 决策表法的概念 5.4.2 决策表法案例
5.2.1 等价类划分法的概念
软件不能只接收合理有效的数据，也要具有处理 异常数据的功能，这样的测试才能确保软件具有更高 的可靠性。因此，在划分等价类的过程中，不但要考 虑有效等价类划分，同时也要考虑无效等价类划分。 有效等价类是指对软件规格说明来说，合理、有 意义的输入数据所构成的集合。利用有效等价类可以 检验程序是否满足规格说明所规定的功能和性能。 无效等价类则和有效等价类相反，即不满足程序 输入要求或者无效的输入数据所构成的集合。利用无 效等价类可以检验程序异常情况的处理。
5.2 等价类划分法
5.2.1 等价类划分法的概念 5.2.2 常见等价类划分形式 5.2.3 等价类划分法案例
5.2.1 等价类划分法的概念
黑盒测试属于穷举输入测试方法，就要求每一种 可能的输入或者输入的组合都要被测试到，才能查出 程序中所有的错误，但这通常是不可能的。假设有一 个程序要求有两个输入数据x和y及一个输出数据z，在 字长为32位的计算机上运行。若x、y取整数，按黑盒 测试方法进行穷举测试，则测试数据的最大可能数目 为：232× 232＝264。如果测试一组数据需要1毫秒， 一天工作24小时，一年工作365天，那么完成所有测 试需5亿年。可见，要进行穷举输入是不可能的。为了 解决这个难题，可以引入等价类划分法。
5.3.1 边界值分析法的概念
在实际的软件设计过程中，会涉及大量的边界值 条件和过程，这里有一个简单的Java程序的例子： double[] test = new double[4]; for ( int i=1 ; i<=4; i++ ) test[i]=i; 在这个程序中，目标是为了创建一个拥有4个元素 的一维数组，看似合理，但是，在Java语言中，当一 个数组被定义时，其第一个元素所对应的数组下标是0 而不是1。所以，上述数组定义后，数组中成员的下标 最大值为3，上述程序运行后，会造成数组下界越界错 误的产生。
第5章 黑盒测试技术
5.1 5.2 5.3 5.4 5.5 5.6 5.7 黑盒测试概述 等价类划分法 边界值分析法 决策表法 因果图法 测试方法的选择 案例设计
5.1 黑盒测试概述
黑盒测试又称功能测试或数据驱动的测试，主要 从用户的观点出发，以软件规格说明书为依据，着重 测试软件的功能需求，对程序功能和程序接口进行测 试，可以发现以下错误： 是否有不正确的功能，是否有遗漏的功能。 在接口上，是否能够正确地接收输入数据并产生正 确的输出结果。 是否有数据结构错误或外部信息访问错误。 性能上是否能够满足要求。 是否有程序初始化和终止方面的错误。
5.2.1 等价类划分法的概念
在确立了等价类之后，建立等价类表，列出所有 划分出的等价类，再根据已列出的等价类表，按以下 步骤确定测试用例： （1）为每一个等价类规定一个唯一的编号。 （2）设计一个新的测试用例，使其尽可能多地覆盖尚 未被覆盖的有效等价类，重复这个过程，直至所有的 有效等价类均被测试用例所覆盖。 （3）设计一个新的测试用例，使其仅覆盖一个无效等 价类，重复这个过程，直至所有的无效等价类均被测 试用例所覆盖。
5.3.2 边界值分析法案例
［例 5.5 ］某一个计算长方体体积的程序要求输入长 方体的长、宽、高，分别由3个整数x、y、z来表示。x、 y、z的上界为100，下界为1。健壮性边界值分析测试 用例可参考书上的表5-7。 ［例 5.6 ］一个计算第二天日期的 NextDate 程序，规 定输入的年、月、日的变量分别为month、day、year， 相 应 的 取 值 范 围 为 year∈[1950,2050] ， month∈[1,12] ， day∈[1,31] ，健壮性边界值分析测 试用例可参考书上的表5-8 。
5.3 边界值分析法
5.3.1 边界值分析法的概念 5.3.2 边界值分析法案例
5.3.1 边界值分析法的概念
边界值分析法（Boundary Value Analysis，BVA） 的测试用例来自于等价类的边界，是一种补充等价类 划分法的测试用例设计技术。在软件设计中大量的错 误发生在输入或输出范围的边界上，而不是发生在输 入输出范围的内部。因此针对各种边界情况设计测试 用例，可以达到更好的测试效果。