第四章黑盒测试第二节等价类测试.pptVIP

等价类测试 问题引入 测试的矛盾 为保证软件产品的质量，我们需要进行完备(彻底)的测试；但这是不现实的,因为： 输入量太大 输出结果太多 软件实现途径太多 问题引入 测试的矛盾 从经济的角度来说，我们希望测试没有冗余； 一个好的测试用例在于能发现至今未发现的错误； 一个成功的测试是发现了至今未发现的错误的测试。 等价类方法可令测试事半功倍。 举例：设计测试用例，实现一个对所有实数进行开发运算（f = sqrt(x)）的程序的测试。 4.2.1 等价类 划分 等价类测试的基本思想 等价类的分类 确定等价类的原则 等价类测试的分类 1. 划 分 划分 划分是指互不相交的一组子集，这些子集的并是整个集合。 划分的定义 给定集合B，以及B的一组子集A1、A2……、An，这些子集是B的一个划分，当且仅当： A1∪A2∪…∪An＝B，且 i≠j Ai∩Aj＝Φ 2.等价类测试 等价类定义 等价类是输入域的某个子集合，而所有的等价类的并集是整个输入域。在子集合中，各个输入数据对于揭露程序中的错误是等效的。 等价类的特点 完备性 无冗余性 等价性 2.等价类测试(续) 等价类测试的假设： 测试某等价类的代表值，就等效于对这个等价类中其他值的测试。 等价类测试的思想： 把全部的输入数据划分成若干个等价类，在每一个等价类中取一个数据来进行测试。 3. 等价类的分类 有效等价类 对于程序的规格说明来说，是合理的、有意义的输入数据所构成的集合； 无效等价类 对于程序的规格说明来说，是不合理的、没有意义的输入数据所构成的集合； 4. 确定等价类的原则 (1)如果输入条件规定了取值范围或值的个数就可确定一个有效等价类和两个无效等价类 例如： 输入学生成绩，范围是0到100； 确定等价类的原则 (2) 输入条件规定了输入值的集合或是规定了“必须如何”的条件，则可确定一个有效等价类和一个无效等价类 例如：“标识符以字母开头” 确定等价类的原则 (3) 如果输入条件是一个布尔量,则可以确立一个有效等价类和一个无效等价类。 确定等价类的原则 (4) 如果规定了输入数据的一组值, 且程序要对每一个输入值分别进行处理, 要对每一个规定的输入值确立一个有效等价类,而对于这组值之外的所有值确立一个无效等价类。 例：输入条件说明学历可为:专科、本科、硕士、博士四种之一。 确定等价类的原则 (5) 如果规定了输入数据必须遵循的规则，可确定一个有效等价类和若干个无效等价类（从不同角度违反规则)。 例如：用户名必须是字母 确定等价类的原则 （6）如已划分的等价类各元素在程序中的处理方式不同，则应将此等价类进一步划分成更小的等价类。 例如：输入三条边，判断三角形的形状 5. 用等价类设计测试用例 (1)划分等价类，形成等价类表 (2)设计一新的测试用例，使其尽可能多地覆盖尚未覆盖的有效等价类，重复这一步骤，直到所有的有效等价类都被覆盖为止； (3)设计一新测试用例，使其只覆盖一个无效等价类，重复这一步骤直到所有无效等价类均被覆盖； 4.4.2 等价类测试的分类 单缺陷与多缺陷假设产生弱等价类与强等价类测试之分； 是否进行无效数据的处理产生健壮与一般等价类测试之分； 等价类测试的分类： 弱一般等价类测试 强一般等价类测试 弱健壮等价类测试 强健壮等价类测试 讨论对象 一个具有两个自变量x1和x2的函数F F实现为一个程序且输入变量x1和x2的边界以及边界内的区间 a ≤ x1 ≤ d，区间为[a, b)，[b, c)，[c, d] e ≤ x2 ≤ g，区间为[e, f)， [f, g] 讨论对象（续） 1. 弱一般等价类测试 弱一般等价类测试的假设：“单缺陷”假设 失效极少是由两个或多个缺陷的同时发生引起的 测试用例设计： 选取的测试用例覆盖所有的有效等价类。 弱一般等价类测试用例 2. 强一般等价类测试 基于多缺陷假设； 测试用例设计： 将每个变量的有效等价类做笛卡尔积，设计测试用例覆盖笛卡尔积的每个元素。 强一般等价类测试用例 3. 弱健壮等价类测试 弱：基于单缺陷假设 健壮：考虑无效值 测试用例设计： 对有效输入，使用每个有效等价类的一个值 对无效输入，测试用例将拥有一个无效值，并保持其余的值都是有效的 弱健壮等价类测试用例 4. 强健壮等价类测试 强健壮等价类测试：基于多缺陷假设，从所有等价类的笛卡尔积的每一个元素中获得测试用例 强：多缺陷假设 健壮：考虑无效值 强健壮等价类测试用例 4.2.3 案例 三角形问题 以不同的角度划分等价类： 输出值域等价类 输入条件（数据范围）的等价类 以“整数相等”关系划分的等价类 以两边之和与第三边之间的关系 1. 输出值域等价类 输出值域等价类