白盒测试

白盒测试也称为结构测试，根据程序的内部结构和逻辑来设计测试用例，对程序的路径和过程进行测试，检查是否满足测试的需要。

白盒测试常用技术：逻辑覆盖、循环覆盖、基本路径测试。

逻辑覆盖。

逻辑覆盖考察用测试数据运行被测试程序时对程序逻辑的覆盖程度。主要的逻辑覆盖标准有语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。

• 语句覆盖。语句覆盖是指选择足够的测试数据，使被测试程序中的每条语句至少执行一次。语句覆盖对程序执行逻辑的覆盖很低，因此一般认为它是很弱的逻辑覆盖。
• 判定覆盖。判定覆盖是指设计足够的测试用例，使得被测程序中的每个判定表达式车少获得一次“真”值 和“假”值，或者说是程序中的每一个取“真”分支和取“假”分支至必都通过一次，因此判定覆盖也称为分支覆盖。判定覆盖要比语句覆盖更强一些。
• 条件覆盖。条件覆盖是指构造一组测试用例，使得每一判定语句中每个逻辑条件的名种可能的值至少满足一次。
• 判定/条件覆盖。判定/条件覆盖是指设计足够的测试用例，使得判定中每个条件的所有可能取值（真/假）至少出现一次，并使每个判定本身的判定结果（真/假）也至少出现一次。
• 条件组合覆盖。条件组合覆盖是指设计足够的测试用例，使得每个判定中条件的各种可能值的组合都至少出现一次。满足条件组合覆盖的测试用例是一定满足判定覆盖、条件覆盖和判定/条件覆盖的。
• 路径覆盖。路径覆盖是指覆盖被测试程序中所有可能的路径

循环覆盖。

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

基本路径测试。

基本路径测试法是在程序控制流图的基础上通过分析控制流图的环路复杂性，导出基本可执行路径集合，从而设计测试用例。设计出的测试用例要保证在测试中程序的每一条独立路径都执行过，即程序中的每条可执行语句至少执行一次。此外，所有条件语
句的真值状态和假值状态都测试过。路径测试的起点是程序控制流图。程序控制流图中的结点代表包含一个或多个无分支的语句序列，边代表控制流。

白盒测试原则。

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