白盒测试（测试方法）

       白盒测试也称为结构测试，根据程序的内部结构和逻辑来设计测试用例，对程序的路径和过程进行测试，检查是否满足设计的需要。
        白盒测试常用的技术是逻辑覆盖、循环覆盖和基本路径测试。
(1)逻辑覆盖。逻辑覆盖考察用测试数据运行被测程序时对程序逻辑的覆盖程度，主要的逻辑覆盖标准有语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖6种。

①语句覆盖

语句覆盖是指选择足够的测试数据，使被测试程序中的每条语句至少执行
一次。语句覆盖对程序执行逻辑的覆盖很低，因此一般认为它是很弱的逻辑覆盖。

②判定覆盖。

判定覆盖是指设计足够的测试用例，使得被测程序中的每个判定表达式至少获得一次“真”值和“假”值，或者说是程序中的每一个取“真”分支和取“假”分支至少都通过一次，因此判定覆盖也称为分支覆盖。判定覆盖要比语句覆盖更强一些。

③条件覆盖。

条件覆盖是指构造一组测试用例，使得每一判定语句中每个逻辑条件的各种可能的值至少满足一次。

④判定/条件覆盖。

判定/条件覆盖是指设计足够的测试用例，使得判定中每个条件的所有可能取值（真/假）至少出现一次，并使每个判定本身的判定结果（真/假)也至少出现一次。

⑤条件组合覆盖。

条件组合覆盖是指设计足够的测试用例，使得每个判定中条件的各种可能值的组合都至少出现一次。满足条件组合覆盖的测试用例是一定满足判定覆盖、条件覆盖和判定/条件覆盖的。

⑥路径覆盖。

路径覆盖是指覆盖被测试程序中所有可能的路径。
白盒测试的原则如下。
(1〉程序模块中的所有独立路径至少执行一次。
(2〉在所有的逻辑判断中，取“真”和取“假”的两种情况至少都能执行一次。

(3）每个循环都应在边界条件和一般条件下各执行一次。
(4）测试程序内部数据结构的有效性等。

白盒测试的覆盖标准有逻辑覆盖、循环覆盖和基本路径覆盖测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖、路径覆盖。依照上述顺序的六种覆盖准则发现错误的能力是由弱到强的。