黑盒测试及其实例设计.pptVIP

3.1 黑盒测试概述 3.2 等价类划分法 3.2.2 常见等价类划分形式 2.健壮等价类测试 健壮等价类测试主要的出发点是考虑了无效等价类。 对有效输入，测试用例从每个有效等价类中取一个值； 对无效输入，一个测试用例有一个无效值，其他值均取有效值。 健壮等价类测试存在两个问题： 需要花费精力定义无效测试用例的期望输出； 对强类型的语言没有必要考虑无效的输入?。 对于上述三角形问题，取a、b、c的无效值产生了7个健壮等价类测试用例，如表3-3所示。 3.对等区间划分 对等区间划分是测试用例设计的非常规形式化的方法。它将被测对象的输入/输出划分成一些区间，被测软件对一个特定区间的任何值都是等价的。形成测试区间的数据不只是函数/过程的参数，也可以是程序可以访问的全局变量、系统资源等，这些变量或资源可以是以时间形式存在的数据，或以状态形式存在的输入/输出序列。 举例说明如下： 平方根函数要求当输入值为0或大于0时，返回输入数的平方根；当输入值小于0时，显示错误信息“平方根错误，输入值小于0”，并返回0。 考虑平方根函数的测试用例区间，可以划分出两个输入区间和两个输出区间，如表3-4所示。 3.2.3 等价类划分法测试用例 根据上述等价类表，设计测试用例如表3-6所示。 3.3 边界值分析法 3.3.2 边界条件与次边界条件 其他边界值检验 包括默认值/空值/空格/未输入值/零、无效数据/不正确数据和干扰数据等。 在实际的测试用例设计中，需要将基本的软件设计要求和程序定义的要求结合起来，即结合基本边界值条件和子边界值条件来设计有效的测试用例。 3.3.3边界值分析法测试用例 3.4 决策表法 3.4.2 决策表法的应用 3.5 因果图法 在实际问题中，输入状态相互之间还可能存在某些依赖关系，我们称之为约束。例如，某些输入条件本身不可能同时出现。输出状态之间也往往存在约束，在因果图中，以特定的符号标明这些约束，如图3-3所示。 对输入条件的约束有： E约束（异）：a和b中最多有一个可能为1，即a和b不能同时为1。 I约束（或）：a、b和c中至少有一个必须是1，即a、b和c不能同时为0。 O约束（惟一）：a和b中必须有一个且仅有一个为1。 R约束（要求）：a是1时，b必须是1，即a是1时，b不能是0。 对输出条件的约束只有M约束。 M约束（强制）：若结果a是1，则结果b强制为0。 利用因果图法生成测试用例需要以下几个步骤，如图3-4所示。 分析软件规格说明书中的输入输出条件，并且分析出等价类。分析规格说明中的语义的内容，通过这些语义来找出相对应的输入与输入之间，输入与输出之间的对应关系。 将对应的输入与输入之间，输入与输出之间的关系连接起来，并且将其中不可能的组合情况标注成约束或者限制条件，形成因果图。 将因果图转换成决策表。 将决策表的每一列作为依据，设计测试用例。 从因果图生成的测试用例中包括了所有输入数据的取TRUE与FALSE的情况，构成的测试用例数目达到最少，且测试用例数目随输入数据数目的增加而线性地增加。 3.5.2因果图法测试用例 3.6实例设计 3.7 测试方法的选择 小结 习题 某程序要求输入三个整数x、y、z，分别作为长方体的长、宽、高，x、y、z的取值范围在2～20之间，计算长方体的体积。表3-10给出了健壮性边界值分析测试用例。 z值超出范围 21 10 10 TC19 2000 20 10 10 TC18 1900 19 10 10 TC17 300 3 10 10 TC16 200 2 10 10 TC15 z值超出范围 1 10 10 TC14 y值超出范围 10 21 10 TC13 2000 10 20 10 TC12 1900 10 19 10 TC11 300 10 3 10 TC10 200 10 2 10 TC9 y值超出范围 10 1 10 TC8 x值超出范围 10 10 21 TC7 2000 10 10 20 TC6 1900 10 10 19 TC5 1000 10 10 10 TC4 300 10 10 3 TC3 200 10 10 2 TC2 x值超出范围 10 10 1 TC1 预期输出 z y x 测试用例 表3-10 健壮性边界值分析测试用例 3.4.1 决策表法的概念 决策表通常由四个部分组成，如图3-1所示。 条件桩：列出了问题的所有条件，通常认为列出的条件的先后次序无关紧要。 动作桩：列出了问题规定的可能采取的操作，这些操作的排列顺序没有约束。 条件项：针对条件桩给出的条件列出所有可能的取值。 动作项：与条件项