白盒测试用例设计方法

最近学习单元测试，用到的是白盒测试，这里记录几种逻辑覆盖的方法

1、语句覆盖：程序中的每个语句至少执行一次
2、判定覆盖：每个判定表达式的真分支和假分支至少执行一次
3、条件覆盖：每个判定表达式中的每个条件的可能取值至少执行一次
4、判定条件覆盖：每个判定表达式的真分支和假分支至少执行一次，同时表达式中的每个条件的可能取值也至少执行一次
5、条件组合覆盖：每个判定表达式中的条件能够组合的所有情况都执行一次【用例数2N】
6、路径覆盖：程序中的每条路径都执行一次
7、修正条件判定覆盖（MC/DC）：判定表达式的真分支和假分支至少执行一次，表达式中的每个条件的可能取值也至少执行一次（实现方式是控制变量法，让每个条件发生变化，而其它条件保持不变，得到判定为真和判定为假的结果，也就是说，这个条件能独立地影响结果的变化）【用例数N+1】