白盒测试技术2-逻辑覆盖法

白盒测试技术（Ⅱ）

---逻辑覆盖法我们知道白盒测试是根据程序内部的结构来测试程序。程序的内部结构可以用流程图来表示。从流程图上可以看出，程序的内部结构包含以下这些元素：语句，判定，条件，循环，路径等。通过对这些元素的测试就形成了以下白盒测试方法:逻辑覆盖法独立（基本）路径测试法白盒测试方法逻辑覆盖法根据覆盖目标的不同，逻辑覆盖可分为：语句覆盖判定覆盖条件覆盖判定/条件覆盖条件组合覆盖路径覆盖举例TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）1、语句覆盖语句覆盖的基本思想：通过选择足够的测试用例，使得运行这些测试用例时，被测程序的每个语句至少被执行一次。语句覆盖的测试用例测试用例输入预期输出被测路径CASE1x=4，y=2，z=0x=3sacbed语句覆盖并不充分：当第一个判定中的&&写成||时，对于CASE1程序仍按sacbed执行。TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）2、判定覆盖判定覆盖又称为分支覆盖，判定覆盖比语句覆盖的标准稍强一些，它是指通过设计足够的测试用例，使得程序中的每一个判定至少都获得一次“真值”和“假值”，或者说使得程序中的每一个分支都至少通过一次。判定覆盖的测试用例测试用例输入预期输出覆盖分支被测路径CASE2x=1，y=3，z=0x=1/3ac，bdsacbdCASE3x=3，y=2，z=1X=4ab，besabed判定覆盖包含语句覆盖，判定覆盖也不充分：当第2个判定中的x>1写成x<1时，对于上述测试用例，程序仍按原路径执行。TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）3、条件覆盖条件覆盖是指对于每个判定中所包含的若干个条件，应设计足够多的测试用例，使得判定中的每个条件都至少取到一次“真值”和“假值”的机会，也就是说，判定中的每个条件的所有可能结果至少出现一次。条件覆盖的测试用例对判定1:（y>1）&&（z==0）条件y>1取真、假分别记为T1，-T1

条件z==0取真、假分别记为T2，-T2判定2:（y==2）||（x>1）条件y==2取真、假分别记为T3，-T3

条件x>1取真、假分别记为T4，-T4测试用例输入预期输出覆盖条件覆盖分支被测路径CASE4x=0，y=2，z=0x=1T1，T2T3，-T4ac，besacbedCASE5x=2，y=1，z=1x=3-T1，-T2-T3,T4ab，besabed条件覆盖并不能包含判定覆盖,对于下述测试用例，分支bd并未出现。TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）4、判定/条件覆盖判定/条件覆盖是指通过设计足够多的测试用例，使得运行这些测试用例时，判定中的每个条件的所有可能结果至少出现一次，并且每个判定本身的所有可能结果也至少出现一次。判定/条件覆盖的测试用例测试用例输入预期输出覆盖条件覆盖分支被测路径CASE6x=4，y=2，z=0x=3T4，T1T3，T2ac，besacbedCASE7x=1，y=1，z=1x=1

-T4，-T1-T3，-T2Ab，bdsabd对判定1:（y>1）&&（z==0）条件y>1取真、假分别记为T1，-T1

条件z==0取真、假分别记为T2，-T2判定2:（y==2）||（x>1）条件y==2取真、假分别记为T3，-T3

条件x>1取真、假分别记为T4，-T4判定/条件覆盖同时包含判定覆盖,和条件覆盖。TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）

判定／条件覆盖仍有缺陷。从表面上看，它测试了所有条件的所有可能结果，但事实上并不是这样。因为某些条件掩盖了另一些条件。例如，在逻辑表达式中，如果“与”表达式中某一条件为“假”，则整个表达式的值为“假”，这个表达式中另外的几个条件就不起作用了。同样地，如果在“或”表达式中，某一条件为“真”，则整个表达式的值为“真”，其它条件也就不起作用了。

因此，采用判定／条件覆盖时，逻辑表达式中的错误不一定能测试出来。5、条件组合覆盖条件组合覆盖是指通过设计足够多的测试用例，使得运行这些测试用例时，每个判定中条件结果的所有可能组合至少出现一次。条件组合覆盖的测试用例测试用例输入预期输出覆盖条件组合被测路径CASE8x=4，y=2，z=0x=31，5sacbedCASE9x=1，y=2，z=1x=22，6sabedCASE10x=2，y=1，z=0x=33，7sabedCASE11x=1，y=1，z=1x=14，8sabd编号判定1各条件组合编号判定2各条件组合1y>1,z==05y==2,x>12y>1,z!=06y==2,x<=13y<1，z==07y!=2,x>14y<1,z!=08y!=2,x<=1条件组合覆盖包含前述4种覆盖。TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）逻辑覆盖法各覆盖标准的包含关系课堂练习1voidDoWork(intx,inty,intz){intk=0,j=0;if((x>3)&&(z<10)){k=x*y-1;j=sqrt(k);}//语句块1if((x==4)||(y>5)){j=x*y+10;}//语句块2j=j%3;//语句块3}对上述程序试用逻辑覆盖法设计测试用例。画出流程图1、语句覆盖测试用例测试用例输入为：{x=4、y=5、z=5}程序执行的路径是：abd2、判定覆盖测试用例要实现DoWork函数的判定覆盖，需要设计两个测试用例：测试用例的输入为：

{x=4、y=5、z=5}；

{x=2、y=5、z=5}程序执行的路径分别是：abd；ace3、条件覆盖测试用例1对DoWork函数的各个判定的各种条件取值加以标记。对于第一个判定((x>3)&&(z<10))： 条件x>3取真值记为T1，取假值记为-T1

条件z<10取真值记为T2，取假值记为-T2对于第二个判定((x==4)||(y>5))：条件x==4取真值记为T3，取假值记为-T3

条件y>5取真值记为T4，取假值记为-T4

测试用例执行路径

覆盖条件

覆盖分支x=4、y=6、z=5abdT1、T2、T3、T4bdx=2、y=5、z=15ace-T1、-T2、

-T3、-T4ce3、条件覆盖测试用例2对DoWork函数的各个判定的各种条件取值加以标记。对于第一个判定((x>3)&&(z<10))： 条件x>3取真值记为T1，取假值记为-T1

条件z<10取真值记为T2，取假值记为-T2对于第二个判定((x==4)||(y>5))：条件x==4取真值记为T3，取假值记为-T3

条件y>5取真值记为T4，取假值记为-T4测试用例执行路径覆盖条件覆盖分支x=2、y=6、z=5acd-T1、T2、

-T3、T4cdx=4、y=5、z=15acdT1、-T2、

T3、-T4cd4、判定/条件覆盖测试用例测试用例执行路径覆盖条件覆盖分支x=4y=6z=5abdT1、T2、

T3、T4bdx=2y=5z=15ace-T1、-T2、

-T3、-T4ce5、条件组合覆盖测试用例组合覆盖的目的是要使设计的测试用例能覆盖每一个判定的所有可能的条件取值组合。对DoWork函数中的各个判定的条件取值组合加以标记：

1、x>3,z<10记做T1T2，第一个判定的取真分支

2、x>3,z>=10记做T1-T2，第一个判定的取假分支

3、x<=3,z<10记做-T1T2，第一个判定的取假分支

4、x<=3,z>=10记做-T1-T2，第一个判定的取假分支

5、x==4,y>5记做T3T4，第二个判定的取真分支

6、x==4,y<=5记做T3-T4，第二个判定的取真分支

7、x!=4,y>5记做-T3T4，第二个判定的取真分支

8、x!=4,y<=5记做-T3-T4，第二个判定的取假分支5、条件组合覆盖测试用例测试用例执行路径覆盖条件覆盖组