白盒测试和白盒用例设计方法

白盒测试定义：基于代码的测试，也称结构测试、逻辑驱动测试，测试人员依据程序内部结构，设计选择测用例，对程序所有测试路径测试。白盒测试一般开发做单元测试用，但也有测试自己做的，对测试能力要求较高。

强度由低到高：语句覆盖、分支覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。

1、语句覆盖（几乎不用）：对代码语句，测试用例保证每一个语句至少被执行一次。（最弱的覆盖，无法考虑各种条件和分支，难以发现代码问题）

2、分支（判定）覆盖：每个判断取真和取假至少一次，真和假都曾满足。

3、条件覆盖：所有判定中的每一个条件至少有一次真值和假值。

4、判定条件覆盖：条件覆盖+判定覆盖（未考虑条件组合情况）。

5、路径覆盖：覆盖程序中所有可能路径。最彻底的测试用例覆盖，实际可操作性不强。

6、组合覆盖（条件组合覆盖）：每个判断和每个条件的各种组合都至少出现一次。（组合覆盖用例数量相对来说比较多的）