【软件测试 复习】第3章 软件测试基本方法（重中之重，估计占70%分值）

四、基于逻辑覆盖的方法

下面方法以该图为例子：

可知有4种判定条件：T1: a>1，T2: b<2，T3: a==3，T4: x>3。

4种路径：L13: p1+p3，L14: p1+p4，L23: p2+p3，L24: p2+p4。

1.语句覆盖（最弱）

（1）基本思想：应保证程序的每一条可执行语句至少执行一次。（例如本题，只要执行一个分支L24即可满足语句覆盖100%）。

（2）等同于对图中所有节点的覆盖。

（3）只关注语句而非判定表达式，所以对隐式分支根本察觉不到错误，铁fw。

2.判定覆盖

（1）基本思想：应保证程序中每个判定节点的取真和取假分支至少执行一次。（每个分支都要执行一次）

（2）等同于对图中所