Ch3-软件测试方法3.4.pptxVIP

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 条件覆盖;示例;测试用例;优点：增加了对条件判定情况的测试。 缺点：条件覆盖不一定包含判定覆盖。 例如，上面设计的用例就没有覆盖判断M的T分支和判断N的F分支。条件覆盖只能保证每个条件至少有一次为真或假，而不考虑所有的判定结果。 ;3.4.3 判定-条件覆盖;判定—条件覆盖;示例;判定-条件覆盖的优缺点;3.4.4 条件组合覆盖;示例;示例;条件组合覆盖的优缺点;3.4.5 基本路径覆盖;示例;路径覆盖的优缺点; 从前面的例子我们可以看到，采用任何一种覆盖方法都不能满足我们的要求，所以，在实际的测试用例设计过程中，可以根据需要将不同的覆盖方法组合起来使用，以实现最佳的测试用例设计 。;测试用例;基本路径覆盖;基本路径覆盖;基本路径覆盖法的步骤;控制流图;31;控制流图的画法; 如果判断中的条件表达式是由一个或多个逻辑运算符连接的复合条件表达式，则需要改为一系列只有单个条件的嵌套的判断。;环路复杂度;计算环路复杂度的方法;例如，在图示的控制流图中，一组独立的路径是path1：1 - 11path2：1 - 2 - 3 - 4 - 5 - 10 - 1 - 11path3：1 - 2 - 3 - 6 - 8 - 9 - 10 - 1 - 11path4：1 - 2 - 3 - 6 - 7 - 9 - 10 - 1 - 11;void Sort ( int iRecordNum, int iType ) 1 { 2 int x=0; 3 int y=0; 4 while ( iRecordNum-- 0 ) 5 { 6 If ( iType==0 ) 7 x=y+2; 8 else 9 If ( iType==1 ) 10 x=y+10; 11 else 12 x=y+20; 13 } 14 };（1）画出控制流图： （2）计算环路复杂度： 10（条边）- 8（个节点）+ 2 = 4 （3）导出独立路径（用语句编号表示） 路径1：4→14 路径2：4→6→7→13 →4→14 路径3：4→6→9→10→13→4→14 路径4：4→6→9→12→13→4→14;;习题1;41;42; 下面是选择排序的程序，其中datalist是数据表，它有两个数据成员：一是元素类型为Element的数组V，另一个是数组大小n。算法中用到交换两数组元素内容的操作Swap( )： ? ? ? void SelectSort ( datalist list ) { ? ? ? //对表list.V[0]到list.V[n-1]进行排序, n是表当前长度。 ? ? ? ? for ( int i = 0; i list.n-1; i++ ) { ? ? ? ? ? ? ? int k = i; ? ? //在list中找具有最小关键码的对象 ? ? ? ? ? ? ? for ( int j = i+1; j list.n; j++) ? ? ? ? ? ? ? ? if ( list.V[j] list.V[k] ) k = j; ? ? ? //当前具最小关键码的对象 ? ? ? ? ? ? ? if ( k != i ) Swap ( list.V[i], list.V[k] ); ? ?//交换 ? ? ? } };;补充一：循环测试;补充一：循环测试;补