白盒测试中常用的测试用例设计方法：逻辑覆盖法和基本路径测试法
一. 逻辑覆盖是通过对程序逻辑结构的遍历实现程序的覆盖。它是一系列测试过程的总称，这组测试过程逐渐进行越来越完整的通路测试。从覆盖源程序的详尽程度来分析，逻辑覆盖包括以下不同的覆盖标准： 语句覆盖，判定覆盖，条件覆盖，条件判定组合覆盖，多条件覆盖和修正判定条件覆盖。
1. 语句覆盖： 选择足够多的测试数据，使被测程序中每条语句至少执行一次。
2. 判定覆盖：又称分支覆盖，使得程序中的每一个取“真”分支和“假”分支至少经历一次。
3. 条件覆盖： 构造一组测试用例，使得每一判定语句中每个逻辑条件的可能值至少满足一次。
4. 条件判定覆盖：使得判定中每个条件的所有可能至少出现一次，并且每个判定本身的判定结果也至少出现一次。
5. 多条件覆盖：也成条件组合覆盖，使得每个判定条件的各种可能组合都至少出现一次。
6. 修正条件覆盖：
它满足两个条件：
- 每一个程序模块的入口和出口点都要考虑至少要被调用一次，每个程序的判定到所有可能的结果值要至少转换一次；
- 程序的判定被分解为通过逻辑操作符连接的条件，每一个条件对于判定的结果值是独立的。