白盒法
- 定义：把测试对象看作一个打开的盒子，测试人员须了解程序的内部结构和处理过程，是一种结构测试，被测对象基本上是源程序。常用的白盒测试用例设计方法有3种：
循环覆盖：单循环及嵌套循环。
路径覆盖：使程序的每条可能执行到的路径都至少经过一次（如果程序中有环路，则要求每条环路径至少经过一次）。实际上考虑了程序中各种判定的所有可能组合，是一种较强的覆盖标准。缺点：未考虑判定条件的结果组合，并不能代替条件覆盖和条件组合覆盖。
基本路径法：在程序控制流程图的基础上，通过分析控制构造的环路复杂性导出基本路径集合，设计测试用例，保证这些路径至少通过一次。
逻辑覆盖：以程序内部逻辑为基础的测试技术，如常用的语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖（以上覆盖由弱到强）、点覆盖、边覆盖、路径覆盖：
- 语句覆盖：选择足够多的测试用例，使被测程序的每个语句至少执行一次。语句覆盖是一种很弱的覆盖标准。
- 判定覆盖、分支覆盖：不仅每个语句至少执行一次，而且每个判定的每种结果（分支）都至少执行一次。判定覆盖比语句覆盖强，但对程序逻辑的覆盖程度仍然不高。
- 条件覆盖：不仅每个语句至少执行一次，而且使判定中的每个条件，分别按真、假至少各执行一次。
判定覆盖和条件覆盖的区别：条件覆盖不一定包含判定覆盖，判定覆盖也不一定包含条件覆盖。
- 判定/条件覆盖：同时满足判定覆盖和条件覆盖的逻辑覆盖，即判定中的每个条件，分别按真、假至少各执行一次，每个判定的每个分支也至少执行一次。
- 条件组合覆盖：求出判定中所有条件的各种可能组合值，每一可能的条件组合至少执行一次。显然，满足条件组合覆盖的测试用例，也一定满足判定/条件覆盖。因此是上述五种覆盖标准中最强的一种。然而，条件组合覆盖还不能保证程序中所有可能的路径都至少经过一次。
