[原创]白盒测试用例设计方法
白盒测试用例设计方法主要分为逻辑覆盖测试和基本路径测试.
其中逻辑覆盖包括：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖,具体见下所示：
语句覆盖就是设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。
判定覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。
条件覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。
判定条件覆盖就是设计足够的测试用例，使得判断中每个条件的所有可能取值至少执行一次，每个判断中的每个分支至少执行一次。
条件组合覆盖就是设计足够的测试用例，运行被测程序，使得每个判断的所有可能的条件取值组合至少执行一次。
路径测试就是设计足够的测试用例，覆盖程序中所有可能的路径。
其中基本路径测试方法把覆盖的路径数压缩到一定限度内，程序中的循环体最多只执行一次。
它是在程序控制流图的基础上，分析控制构造的环路复杂性，导出基本可执行路径集合，设计测试用例的方法。设计出的测试用例要保证在测试中，程序的每一个可执行语句至少要执行一次。
