白盒测试

白盒测试也称为结构测试，根据程序的内部结构和逻辑来设计测试用例，对程序的路径和过程进行测试，检查是否满足设计的需要。
常用的技术：
一、逻辑覆盖
逻辑覆盖考察用例测试数据运行被测程序时对程序逻辑的覆盖程度，主要的覆盖逻辑标准有语句覆盖、判断覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖
1）语句覆盖。是指选择足够的测试数据，使被测试程序中的每条语句至少执行一次。语句覆盖对程序执行逻辑的覆盖很低，因此一般认为它是很弱的逻辑覆盖。
2）判定覆盖。是指选择足够的测试用例使得程序中每一个取“真”分支和取“假”分支至少都通过一次。
3）条件覆盖。是指构造一组测试用例，使得每一判定语句中每个判定语句中的逻辑条件的各种可能的值至少满足一次。
4）判定/条件覆盖。是指每个判定结果中条件的各种可能值的组合都至少出现一次。
满足条件组合覆盖的测试用例是一定满足判定覆盖、条件覆盖和判定/条件覆盖。
5）条件组合覆盖。是指设计足够的测试用例，使用每个判定中的条件的各种可能值的组合都至少出现一次。满足条件组合覆盖的测试用例是一定满足判定覆盖、条件覆盖和判定/条件覆盖。
6）路径覆盖。是指覆盖被测试程序中的所有可能的路径。

二、循环覆盖
执行足够多的测试用例，使得循环中的每个条件都得到验证。

三、基本路径测试。
是在程序控制流图的基础上通过分析控制流图的环境复杂性，导出基本可执行路径集合，从而设计测试用例。设计出的测试用例要保证在测试中程序的每一条独立路径都执行过。路径执行的起点是程序控制流图。程序控制流图中的结点代表含一个或多个无分支的语句序列，边代表控制流。

白盒测试原则：

1. 程序模块中的所有独立路径至少执行一次。
2. 在所有的逻辑判断中，取“真”和取“假”的两种情况至少能执行一次。
3. 每个循环都应在边界条件和一般条件下各执行一次。
4. 测试程序内部数据结构的有效性。