白盒测试——逻辑覆盖法

qwq有错误的欢迎指出~

逻辑覆盖法：
1、语句覆盖
2、判定覆盖
3、条件覆盖
4、判定/条件覆盖
5、条件组合覆盖
6、点覆盖
7、边覆盖
8、路径覆盖

贯穿全文的图hhh

1、语句覆盖

每个语句至少被执行一次。

测试用例：

x=5 y=0 a=4（路径：sabcde）

2、判定覆盖

不仅每个语句至少执行一次，而且每个判定的每个分支都至少执行一次。

测试用例：

1、x=5 y=0 a=4（路径：sabcde）
2、x=6 y=1 a=1（路径：sace）

3、条件覆盖

不仅每个语句至少执行一次，而且每个判定表达式中的每个条件取到各种可能的结果。
a：x＞1，x≤1，y=0，y≠0
c：x=5，x≠5，a=2，a≠2

测试用例：

1、x=5 y=0 a=5 （路径：sabcde）
满足：x＞1，y=0，x=5，a≠2
2、x=0 y=1 a=3（路径：sace）
满足：x≤1，y≠0，x≠5，a≠2

4、判定/条件覆盖

不仅每个判定表达式中的每个条件取到各种可能的结果，而且每个判定表达式本身也能取到各种可能的结果。

测试用例：

1、x=5 y=0 a=5 （路径：sabcde）
满足：x＞1，y=0，x=5，a≠2
2、x=0 y=1 a=3（路径：sace）
满足：x≤1，y≠0，x≠5，a≠2

5、条件组合覆盖

每个判定表达式中条件的各种组合都至少出现一次。
a：
1、x＞1，y≠0，2、x＞1，y=0
3、x≤1，y≠0，4、x≤1，y=0
c：
5、x=5，a=2，6、x=5，a≠2
7、x≠5，a=2，8、x≠5，a≠2

测试用例：

1、x=5 y=1 a=2（15路径：sacde）
2、x=5 y=0 a=0（26路径：sabcde）
3、x=1 y=1 a=2（37路径：sacde）
4、x=1 y=0 a=0（48路径：sace）

6、点覆盖

程序执行路径至少流过流图中的每个结点一次。

测试用例：

x=5 y=0 a=0（路径：sabcde）

7、边覆盖

程序执行路径至少流过流图中的每条边一次。

测试用例：

1、x=5 y=0 a=5 （路径：sabcde）
满足：x＞1，y=0，x=5，a≠2
2、x=0 y=1 a=3（路径：sace）
满足：x≤1，y≠0，x≠5，a≠2

8、路径覆盖

程序中的每条可能的路径都至少执行一次。
可能路径：
1、sace
2、sacde
3、sabce
4、sabcde

测试用例：

1、x=0 y=1 a=3
2、x=1 y=1 a=2
3、x=2 y=0 a=5
4、x=5 y=0 a=5