软件测试-第四章创新.ppt

第四章 黑盒测试;4.1 三个被测程序;4.1.1 三角形问题 ;三角形问题可以更详细地描述为： 三角形问题：输入三个整数a、b和c分别作为三角形 的三条边，要求a、b和c必须满足以下条件： Con 1．1≤a≤100 Con 4．ab+c Con 2．1≤b≤100 Con 5．ba+c Con 3．1≤c≤100 Con 6．ca+b ;4.1.2 NextDate函数; NextDate函数规格说明可以更具体一些： 包括对day、month和year的无效输入值的响应定义， 对无效逻辑组合进行定义等。;4.1.3 雇佣金问题;销售商的雇佣金计算如下： 销售额不到(含)1000美元的部分为10％， 1000(不含)~1800(含)美元的部分为15％， 超过1800美元的部分为20％。 雇佣金程序生成按月份的销售报告，汇总售出的枪机、 枪托和枪管总数，销售商的总销售额以及雇佣金。;4.2 等价类划分测试;4.2.1 等价类划分;4.2.1 等价类划分;等价类划分测试的实现??二步进行， 一是确定等价类， 二是确定测试用例。 ;●有效等价类： 有效等价类是指对程序规格说明，是有意义的，合理的输人数据所构成的集合。 利用有效等价类，可以检验程序是否实现了规格说明预先规定的功能和性能。 在具体问题中，有效等价类可以是一个，也可以是多个。;● 无效等价类： 无效等价类是指对程序规格说明，是不合理或无意义的输入数据所构成的集合。 利用无效等价类，可以检查程序功能和性能的实现是 否有不符合规格说明要求的地方。 对于具体的问题，无效等价类至少应有一个，也可能有多个。 ;●（1）按区间划分 如果规格说明规定了输入条件的取值范围或值的数量，则可确定一个有效等价类和两个无效等价类。 ●（2）按数值划分 如果规格说明规定了输入数据的一组值，而且软件要对输入值分别进行处理，则可为每个输入值确立一个有效等价类，此外针对这组值确立一个无效等价类。 ●（3）按数值集合划分 如果规格说明规定了输入值的集合，则可确定一个有效等价类和一个无效等价类。 ;●（4）按限制条件和规则划分 如果规格说明规定了输入数据必须遵守的规则和限制条件，则可确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）。 ●（5）细分等价类 等价类的各个元素在程序中的处理可能不同，可以将此等价类进一步划分成更小的等价类。 ;二、设计测试用例 ;根据已列出的等价类表，按以下步骤确定测试用例： 1）为每个等价类规定一个唯一的编号。 2) 设计一个新的测试用例，尽可能多地覆盖尚未被覆盖的有效等价类，重复这一步，直到测试用例覆盖了所有的有效等价类。 3) 设计一个新的测试用例，使其覆盖并且只覆盖一个还没有被覆盖的无效等价类。重复这一步，直至测试用例覆盖了所有的无效等价类。 ; 若用一个测试用例检测多个无效等价类，某些无效 等价类可能永远不会被检测到。 ;等价类测试也遵循边界值测试的两个决定因素： 健壮性和单/多故障假设。 ; 为便于理解，我们也以一个有两个输入变量x1和x2的程序F为例，说明一般等价类测试和健壮等价类测试。 ;1.标准等价类测试 标准等价类测试不考虑无效数据值。 测试用例使用每个等价类中的一个值。;x1有效等价类 [a，b]，（b，c），[c，d] x2有效等价类 [e, f]，[f, g];2.健壮等价类测试 健壮源于这种等价类测试考虑了无效等价类。 对有效输入来说，测试用例从每个有效等价 类中只取一个值（和标准等价类测试一样）。 注意这些测试用例里的每个输入都是有效的。 2. 对无效输入来说，一个测试用例有一个无效 值，其它值都取有效值。;x1有效等价类 [a，b]，（b，c），[c，d] x2有效等价类 [e,f]，[f,g] x1无效等价类 x1a，x1d x2无效等价类 x2e，x2g; 健壮等价类测试有两个问题： 1）规格说明常常没有定义无效测试用例所预期的输出是什么？ 2） 强类型语言没有必要考虑无效输入。;1. 三角形问题的等价类测试用例 （1）传统等价类划分测试用例设计 在三角形问题中，输入条件要求： ;4.2.3 等价类划分测试举例 ;4.2.3 等价类划分测试举例 ;（2）标准和健壮等价类划分测试用例设计 三角形问题有四种可能输出： 非三角形，一般三角形，等腰三角形和等边三角形。利用这些信息来确定输出（值域）等价类。 ;四个标准等价类测试用例是： ; 第二种划分等价类方法;;2. Next