白盒测试是单元测试阶段常用到的测试方法，其特点有：
（1）可以构成测试数据，使特定程序部分得到测试；
（2）有一定的充分性度量手段；
（3）可获得较多工具支持；
（4）通常只用于单元测试。
下边通过一段代码来看一下白盒测试中的逻辑覆盖：
那么为了清晰，我们画出一个该程序的流程图：
1、语句覆盖
语句覆盖是最弱的逻辑覆盖准则。要求设计足够多的测试用例，使得每一条语句至少被执行一次。
对于示例来说，可以设计：
{x=4,y=6,z=9}执行路径：abd
（理解：不能短路任何语句，比如路径走acd就会短路语块1）
2、分支覆盖
要求设计足够多的测试用例，使得每一个判定的每一个分支至少各执行一次。
对于示例来说，可以设计：
{x=5,y=4,z=9}执行路径：abe
{x=2,y=6,z=9}执行路径：acd
（理解：只要将每个判定即每个菱形框的真假都各取过一次即可，比如走路径abd和ace也是可以的）
3、条件覆盖
要求设计足够多的测试用例，使得每一个判定的每一个条件的每一个取值（真或假）至少各执行一次。
对于示例来说，可以设计：
{x=4,y=4,z=11} 条件取值：TFTF
{x=2,y=6,z=9} 条件取值：FTFT
{x=5,y=4,z=9} 条件取值：TTFF
（理解：只要将每个判定即每个菱形框里的每个条件真假都各取一次，但注意，比如TFTF时由于第二个判定里的逻辑运算符是||，那么条件y>5不执行，同理，FTFT时z<10不执行，就引出了第三条测试用例）
4、分支条件覆盖
要求设计足够多的测试用例，使得每一个判定的每一个条件的每一个取值（真或假）至少各执行一次，并且使得每一个判定的每一个分支至少各执行一次。
对于示例来说，可以设计：
{x=4,y=6,z=9} 条件取值：TTTT 执行路径：abd
{x=2,y=4,z=11} 条件取值：FFFF 执行路径：ace
{x=5,y=6,z=11} 条件取值：TFFT 执行路径：acd
（理解：先满足每个条件的真假都各取一次，最好使用TTTT和FFFF，这样肯定会满足abd和ace路径，那么再考虑执行过程中TTTT中的第4个T和FFFF中的第2个F被屏蔽的问题，再加一条TFFT的就好了，因为此时分支已经全部覆盖，所以第三条不用考虑分支覆盖的问题）
5、条件组合覆盖
要求设计足够多的测试用例，使得每一个判定的每一个条件（同一个判定中）的可能的组合至少被各执行一次。
对于示例来说，可以设计：
{x=4,y=4,z=11} 条件取值：TFTF
{x=4,y=6,z=9} 条件取值：TTTT
{x=2,y=6,z=9} 条件取值：FTFT
{x=2,y=4,z=11} 条件取值：FFFF
（理解：将每一个判定框中的条件组合再重新组合，比如第一个判定框中的两个条件的取值组合TT__、TF__、FT__、FF__和第二个判定框中的两个条件的取值组合__TT、__TF、__FT、__FF进行组合，但这8个组合必须都出现一次。所以说这个例子中条件组合判断的测试用例至少4个）
6、路径覆盖
要求设计足够多的测试用例，覆盖程序中的所有可能路径。
对于示例来说，可以设计：
{x=4,y=6,z=9} 执行路径：abd
{x=5,y=4,z=9} 执行路径：abe
{x=4,y=6,z=11} 执行路径：acd
{x=2,y=4,z=11} 执行路径：ace
（理解：将每一个判定的分支组合起来，并保证每个判定的每个分支的所有可能组合都出现，比如第一个判定框可能为真，也可能为假。若第一个判定框为真，那么就有abd和abe的可能组合；若第一个判定框为假，那么就有acd和ace的可能组合，所有的可能情况就出来了，不难看出，至少也需要4个测试用例）