白盒测试用例设计剖析.pptVIP

* * 练习题 void DoWork (int x, int y, int z) { int k=0,j=0; if ( (x3) (z10) ) { k=x*y-1; //语句块1 j=sqrt(k); } if ( (x= =4) || (y5) ) { j=x*y+10; //语句块2 } j=j%3; //语句块3 } * * 流程图 * * 作业题 * * 作业题 试做出左边三角形问题的语句覆盖,条件覆盖,判定覆盖,判定－条件覆盖、组合条件覆盖的测试用例.并注明满足覆盖的条件.eg: a b c 3 4 5 T1T2T3F4F5F6 * * * 语句覆盖 原理：如果语句中有错误，仅靠观察不执行可能发现不了. 语句覆盖就是设计若干个测试用例，运行被测程序，使得每一条可执行语句至少执行一次。 在例图中，正好所有的可执行语句都在路径L1上，所以选择路径 L1设计测试用例，就可以覆盖所有的可执行语句。 * * 语句覆盖 规定测试用例的设计格式如下： 【输入的(A, B, X)，输出的(A, B, X)】 为图例设计满足语句覆盖的测试用例是:【(2, 0, 4)，(2, 0, 3)】　 覆盖 a-c-e【L1】 输入 A B X 预期结果 A B X * * (A1) (B==0) (A==2) || (X1) X=X/A X=X+1 真 真 假 F a b d c e 开始 * * 语句覆盖 语句覆盖率 已执行的可执行语句占程序中可执行语句总数的百分比 复杂的程序不可能达到语句的完全覆盖 语句覆盖率越高越好 * * 语句覆盖的优点 检查所有语句 结构简单的代码的测试效果较好 容易实现自动测试 代码覆盖率高 如果是程序块覆盖，则不涉及程序块中的源代码 * * 语句覆盖不能检查出的错误 逻辑运算（、||）错误 判定的第一个运算符“”错写成“||”，或第二个运算符“||”错写成“”,这时使用上述的测试用例仍然可以达到100%的语句覆盖. 循环语句错误 循环次数错误 跳出循环条件错误 * * 语句覆盖不能检查出的错误 循环语句例子 for(i=0;i10;i++) { statement; } while(x3) { statement; } for(i=0; i=10; i++) { statement; } while(x3x7) { statement; } * * 语句覆盖率的问题 能达到很高的语句覆盖率 语句覆盖率看似很高，却有严重缺陷: if(x!=1) { statements; ……; } else { statement; } }99句 }1句 测试用例: x = 2 语句覆盖率99% 50%的分支没有达到 * * 判定覆盖 Decision Coverage 判定覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。 判定覆盖又称为分支覆盖。 对于图例，如果选择路径L1和L2，就可得满足要求的测试用例: * * (A1) (B==0) (A==2) || (X1) X=X/A X=X+1 真 T 假 F a b d c e 开始 * * 判定覆盖 【(2, 0, 4)，(2, 0, 3)】 覆盖 ace【L1】【(1, 1, 1)，(1, 1, 1)】 覆盖 abd【L2】 (A==2) and (B==0) or (A1) and (B==0) and (X/A1) * * 判定覆盖 not (A1) and not (A==2) and not (X1) or not (B==0) and not (A==2) and not (X1) * * 判定覆盖 如果选择路径L3和L4，还可得另一组可用的测试用例:【(2, 1, 1)，(2, 1, 2)】覆盖 abe【L3】【(3, 0, 3)，(3, 1, 1)】覆盖 acd【L4】 not (A1) and (X1) or not (B==0) and (A==2) or not (B==0) and (X1) (A1) and (B==0) and not (A==2) and not (X/A1) * * 条件覆盖Condition Coverage 在设计程序中，一个判定语句是由多个条件组