软件质量保证与测试第三章软件测试方法剖析.pptx

;第3章 软件测试的方法;;白盒测试的优、缺点;黑盒测试的优、缺点;3.1 基于直觉和经验的方法;3.1.1 Ad-hoc测试和ALAC测试;8;3.1.2 错误推测法;3.2 基于输入域的测试方法;3.2.1 等价类划分方法;确定等价类的六条原则;（2）在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下，可以确立一个有效等价类和一个无效等价类。 ;（3）在输入条件是一个布尔量的情况下，可确定一个有效等价类和一个无效等价类。;（4）在规定了输入数据的一组值(假定n个)，并且程序要对每一个输入值分别处理的情况下，可确立n个有效等价类和一个无效等价类。;（5）在规定了输入数据必须遵守的规则的情况下，可确立一个有效等价类(符合规则)和若干个无效等价类(从不同角度违反规则)。;（6）在确知已划分的等价类中，各元素在程序处理中的方式不同的情况下，则应再将该等价类进一步的划分为更小的等价类。;根据等价类创建测试用例的步骤;等价类划分法举例;3.2.2 边界值分析法;与等价划分的区别;22;确定边界值的方法;24;（3）如果程序的规格说明给出的输入域或输出域是有序集合，则应选取集合的第一个元素和最后一个元素作为测试用例。;（4）如果程序中使用了一个内部数据结构，则应当选择这个内部数据结构的边界上的值作为测试用例。 ;边界值附近的数据确定的几种方法;数值的边界值校验;ASCII Table;rem create a 10 element integer array rem initialize each element to-1 dim data(10) as integer dim I as integer for i==1 to 10 data(i) =-1 next i end;正常值（有效类）: X1 = 123123 边界值: X2 = 12345 边界值: X3 = 1234567 边界值: X4 = 1 边界值: X5 = 0 无效类的值: X6 = -123123 无效类的值: X7 = asdasd ;例3;33;作业： 加法器;3.3 基于组合技术及其优化的方法;3.3.1 判定表方法;判定表元素;判定表方法步骤;优化判定表;判定表的优缺点;判定表法举例;适合使用判定表设计测试用例的条件;3.3.2 因果图法;因果图法的步骤;恒等-关系：果j取决于因i。因出现，则果也出现。 非-关系：只有当因i不存在时，果j才出现。 ;因果图中的约束;因果图法举例;因果图法的优缺点;作业;3.3.3 两两组合（Pair-wise）方法;Pair-wise方法; Pair-wise可以显著地减少测试用例的数目，同时保证较高的测试质量。;Pair-wise方法举例;;例：P47;例如：微软Powerpoint程序的打印测试，也需要考虑4个因素，每个因素也有多个选项。 打印范围分：全部、当前幻灯片、给定范围 打印内容分：幻灯片、讲义、备注页、大纲视图 打印颜色/灰度分: 彩色、灰度、黑白 打印效果分：幻灯片加框和幻灯片不加框。;正交实验设计方法;正交表;L9（34）;正交表的正交性（以L9 (34 )为例）;例1;例2;63;正交实验方法工具软件;小结;3.4 基于逻辑覆盖的方法;逻辑覆盖 vs. 路径覆盖;3.4.0 语句覆盖;程序源代码： 1. dim a, b as integer dim c as double if (a 0 and b 0) then c = c / a end if if (a 1 or c 1) then c = c + 1 end if c = b + c;程序源代码： 1. dim a, b as integer dim c as double if (a 0 or b 0) then c = c / a end if if (a 1 or c 1) then c = c + 1 end if c = b + c;优点：可以很直观地从源代码得到测试用例，无须细分每条判定表达式 缺点：语句覆盖常是“最弱的覆盖”，不考虑各种分支的组合，不能发现其中的逻辑错误。 假如只要求达到语句覆盖，那么换来的确实测试效果不明显，很难更多地发现代码中的问题。;3.4.1 判定覆盖;示例;判定覆盖的优缺点;3.4.2 条件覆盖;示例;