白盒测试_第四讲lwh101017.pptVIP

最少测试用例数计算 为实现测试的逻辑覆盖，必须设计足够多的测试用例，对于某个具体的程序来说，至少需要设计多少个测试用例? 结构化程序是由 3 种基本控制结构组成：顺序型（构成串行操作）、选择型（构成分支操作）和重复型（构成循环操作）。 为了把问题化简，避免出现测试用例极多的组合爆炸，把构成循环操作的重复型结构用选择结构代替。这样，任一循环便改造成进入循环体或不进入循环体的分支操作了。 Z路径覆盖下的循环测试方法 Z路径覆盖是路径覆盖的一种变体，它是将程序中的循环结构简化为选择结构的一种路径覆盖。 循环简化的目的是限制循环的次数，简化后的循环测试只考虑执行循环体一次和零次（不执行）两种情况，即考虑执行时进入循环体一次和跳过循环体这两种情况。 最少测试用例数计算（续） 用N-S图表示程序的3种基本控制结构： 最少测试用例数计算（续） 显然，要测试这个小程序，需要至少提供4个测试用例才能作到逻辑覆盖，使得ac、ad、bc及bd操作均得到检验。其实，这里的4是图中的第1个分支谓词引出的两个操作，及第2个分支谓词引出的两个操作组合起来而得到的，即 2×2=4。并且，这里的2是由于两个并列的操作，即1+1=2 而得到的。 最少测试用例数计算（续） 最少测试用例数计算（续） 习题 例：某程序所画出的N-S图如右图所示的，至少需要多少个测试用例才能对该程序实现逻辑覆盖？ 路径表达式 为了满足路径覆盖，必须首先确定具体的路径以及路径的个数。我们通常采用控制流图的边（弧）序列和节点序列表示某一条具体路径，更为概括的表示方法为： （1）弧a和弧b相乘，表示为ab，它表明路径是先经历弧a，接着再经历弧b，弧a和弧b是先后相接的。 （2）弧a和弧b相加，表示为a+b，它表明两条弧是“或”的关系，是并行的路段。 路径数的计算：在路径表达式中，将所有弧均以数值1来代替，再进行表达式的相乘和相加运算，最后得到的数值即为该程序的路径数。 基本路径测试方法 案例 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 } 测试方法如下 画出控制流图（如右图） 计算环形复杂度： 10（条边）- 8（个节点）+ 2 = 4 导出独立路径（用语句编号表示） 路径1：4→14 路径2：4→6→7→14 路径3：4→6→9→10→13→4→14 路径4：4→6→9→12→13→4→14 测试方法如下（续） 设计测试用例： 满足路径覆盖的一组测试用例 abd 1 0 1 Case7 abe 1 1 2 Case8 acd 1 0 3 Case11 执行路径 X B A 用例 ace 3 0 2 Case1 小结 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 路径覆盖 课堂练习 public void work ( int x, int y, int z ) { 1 int k = 0, j = 0; 2 if ( (x3) (z10) ){ 3 k = x * y - 1; 4 j = sqrt ( k ); 5 } 6 if( ( x==4 ) || ( y5 ) ) 7 j = x * y + 10; 8 j = j % 3; } 即：Z路径下的循环测试方法 在循环简化的思路下，循环与判定分支的效果是一样的，即：循环要么执行、要么跳过。 图中A、B、C、D、S均表示要执行的操作，P是可取真假值的谓词，Y表真值，N表假值。 图中的 (c) 和 (d) 两种重复型结构代表了两种循环。在做了简化循环的假设以后，对于一般的程序控制流，我们只考虑选择型结构。事实上它已经能体现顺序型和重复型结构了。 例如，下图表达了两个顺序执行的分支结构。当两个分支谓词P1和P2取不同值时，将分别执行a或b及c或d操作。 对于一般的、更为复杂的问题，估算最少测试用例个数的原则也是同样的： 如果在N-S图中存在有并列的层次A1、A2，A1和A2的最少测试用例个数分别为a1、a2，则由 A1、A2 两层所组合的 N-S图对应的最少测试用例数为a1×a2。 如果在