白盒测试方法

1.逻辑覆盖法 2.循环覆盖法 3.基本路径法

1.逻辑覆盖法包括以下六种

（1）语句覆盖：每条语句至少执行一次   重点在语句

（2）判定覆盖:每个分支都要执行一次，即if为真 if为假都要执行一次，  重点在分支

（3）条件覆盖：使每个判定的所有可能的条件取值组合至少执行一次

（4）条件判定覆盖： 判定+条件覆盖-重复用例  判定-条件覆盖就是设计足够的测试用例，使得判断中每个条件的所有可能取值至少执行一次，同时每个判断的所有可能判断结果至少执行，即要求各个判断的所有可能的条件取值组合至少执行一次。 

（5）条件组合：各条件之间真假值交叉组合一次，若有N个条件，则有2的n次方各组合用例即if1（A，B）if2(C , D)ABCD条件分别交互真假，ABCD真假次数一样

（6）路径覆盖：程序中每一条可能的路径至少执行一次

基本路径法

1.先画出程序控制流图 2.计算路径 3.导出测试用例，用逻辑覆盖法写出。

举例

int test（int A,int B ，int C ，int D）

{0        int x=0;

1        if（A==1&&B>0）//a

2            x=2;

3       if  (C<0&&D==6) //b

4          x=4;

5   return x;

6}

根据基本路径法

1.程序控制流程图 并且计算路径

06      0123456     01256    03456

1、语句覆盖                        输入                            预期结果                    实际结果          

ab都为真            1   1  -1   6                                   4                             4

a假b真               0   0 -1  6                                    2                               2

a真b假               1  1   0   0                               4                                 4

2、 判定覆盖

ab假               0  0    0 0

ab真               1   1   -1   6

a真b假        1   1   0   0   

a假b真       0  0   -1   6

3、条件覆盖

A真B真C假D假      1  1   0  0

A假B假C真D真      0  0  -1  6

A假B假D假D假     0   0  0  0

A真B真C真D真     1   1  -1  6

4、条件判断

条件覆盖+判断覆盖-重复

       A真B真C假D假              1  1  0  0

         A假B假C真D真            0 0 -1  6

          A假B假C假D假            0 0 0 0

           A真B真C真D真        1   1  -1   6

5、条件组合

A真B真C真D真            1 1 -1  6

A真B假C真D真            1  0 -1 6

A真B真C假D真           1  1  0  6

A真B真C真D假           1  1  -1   0

 A假B真C真D真          0  1  -1  6

A假B假C真D真         0   0   -1  6

A假B真C假D真        0    1   0    6

A假B真C真D假       0    1    -1   0

A真B假C假D真       1     0  0   6

A真B假C真D假           1   0   -1 0

A真B真C假D假       1 1   0   0 

A假B假C假D真    0 0 0 6

A真B假C假D假   1 0 0 0

A假B真C假D假  0  1 0  0

A假B假C真D假  0   0   -1  0

A假B假C假D假  0  0 0 0