逻辑覆盖法

逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术。它属于白盒测试。
根据覆盖目标的不同和覆盖源程序语句的详尽程度，逻辑覆盖又可分为:
1.语句覆盖
语句覆盖就是设计若干个测试用例使得程序中每一个可执行语句至少执行一次。使用测试用例越少越好。语句覆盖在测试中主要发现缺陷或错误语句。（判定语句不会考虑）
2. 判定覆盖
判定覆盖就是设计若干测试用例使得每个判定的取真分支和取假分支至少执行一次。
补充：
判定覆盖只考虑整个表达式的取值，并不考虑到表达式内部变量的取值
3. 条件覆盖
只考虑到每个判定语句中的每个表达式，没有考虑到各个条件分支即不能够满足判定覆盖
4. 条件/判定覆盖
判定条件覆使判定中的每个条件的所有可能(真/假)至少出现一次，并且每个判定本身的判定结果也至少出现一次。
5. 条件组合覆盖
条件组合覆盖使得每个判定中条件的各种可能组合都至少出现一次(以数轴形式划分区域，提取交集，建立最少的测试用例)。满足条件组合覆盖一定满足判定覆盖、条件覆盖、判定条件覆盖。
6.修正判定条件覆盖
每一个程序模块的入口和出口点都要考虑至少要被调用一次，每个程序的判定到所有可能的结果值要至少转换一次;程序的判定被分解为通过逻辑操作符(and，or)连接的bool条件，每个条件对于判定的结果值是独立的。
7.路径覆盖
路径覆盖使得每个路径至少被执行一次
越往下覆盖率相对越高