第3章黑盒测试及其实例设计要点解析.ppt

第3章 黑盒测试及其实例设计 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 测试方法的选择 小结 习题 决策表最突出的优点是，能够将复杂的问题按照各种可能的情况全部列举出来，简明并避免遗漏。因此，利用决策表能够设计出完整的测试用例集合。运用决策表设计测试用例，可以将条件理解为输入，将动作理解为输出。 例如，某股票公司的佣金政策如下：如果一次销售额少于1000元，那么基础佣金将是销售额的8.4%；如果销售额至少1000元，但少于10000元，那么基础佣金将是销售额的5%，外加34元；如果销售额至少10000元，那么基础佣金将是销售额的4%，外加134元。另外销售单价和销售的份数对佣金也有影响。如果单价低于14元/份，则外加基础佣金的5%，此外若不是整百的份数，再外加4%的基础佣金；若单价在14元/份以上，但低于25元/份，则加2%的基础佣金，若不是整百的份数，再外加4%的基础佣金；若单价在25元/份以上，并且不是整百的份数，则外加4%的基础佣金。 详细解析见书中所示。 3.5.1因果图法 因果图法就是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方 法，它适合于检查程序输入条件的各种情况的组合。 在因果图中使用4种符号分别表示4种因果关系，如图3-2所示。用直线连接左右节 点，其中左节点Ci表示输入状态（或称原因），右节点ei表示输出状态（或称结 果）。Ci和ei都可取值0或1，0表示某状态不出现，1表示某状态出现。 图3-2中各符号的含义如下： 恒等：若C1是1，则e