白盒测试方法：

1 程序结构分析：

        程序的结构形式是白盒测试的主要依据。程序结构分析包括：       

        1、控制流分析：            

        2、数据流分析：              

        3、信息流分析 ：

2 逻辑覆盖：  

　　　　1、语句覆盖：

　　　　2、判定覆盖:

 　　　       按判定覆盖准则进行测试是指，设计若干测试用例，运行被侧程序，使得程序中每个判断的取真分支和取假分支至少经历一次，即判断的真假值均曾被满足。

                判定覆盖又称为分支覆盖。

         　　 仍以上述程序段为例，若选用的两组测试用例是：   A=2,B=0,X=3;          A=1,B=0,X=1 

　　         则可分别执行路径ace和abd，从而使两个判断的4个分支c、e和b、d分别得到覆盖。

　　　　3、条件覆盖:

 　　　　　　条件覆盖是指，设计若干测试用例，执行被测程序以后，要使每个判断中每个条件的可能取值至少满足一次。              

　　　　4、判定-条件覆盖:

　　　　　　判定-条件覆盖要求设计足够的测试用例，使得判断中每个条件的所有可能至少出现一次，并且每个判断本身的判定结果也至少出现一次。

　　　　5、路径覆盖:

　　　　　　按路径覆盖要求进行测试是指，设计足够多测试用例，要求覆盖程序中所有可能的路径

　　　　6、测试覆盖准则:

 1、FOSTER的ESTCA覆盖准则

          Foster 通过大量的实验确定了程序中谓词最容易出错的部分，得出了一套错误敏感测试用例分析ESTCA （Error Sensitive Test Cases Analysis）规则。事实上，规则十分简单：

　　　　[规则1]  对于A rel B（rel可以是<, =和>）型的分支谓词，应适当地选择A与B的值，使得测试执行到该分支语句时，A<B, A=B和A>B的情况分别出现一次。

　　　　[规则2]  对于A rel1 C（rel1可以是>或是<，A是变量，C是常量）型的分支谓词，当rel1为<时，应适当地选择A的值，使：

　　　　　　　　  A = C - M

　　　　　　　　（M是距C最小的容器容许正数，若A和C均为整型时，M = 1）。同样，当rel1为>时，应适当地选择A，使：

　　　　　　　　  A = C + M

　　　　[规则3]  对外部输入变量赋值，使其在每一测试用例中均有不同的值与符号，并与同一组测试用例中其它变量的值与符合不一致。

3 程序插装: 

4 其他白盒测试方法简介:

　　　　1、域测试:

　　　　　　　　3、Z路径覆盖

　　　　　　　　4、程序变异

　　　　 3.Z路径覆盖：

　　　 4.程序变异：

白盒测试