最近在复习软件测试的考试,每次到白盒测试这里都要为这几种逻辑覆盖方法感到头疼,这次终于决定好好整理出来。

逻辑覆盖是通过对程序逻辑结构的遍历实现程序的覆盖。它是一系列测试过程的总称,这组测试过程逐渐进行越来越完整的通路测试。 根据覆盖目标的不同和覆盖源程序语句的详尽程度,逻辑覆盖又可分为:语句覆盖,判定覆盖,条件覆盖,条件/判定覆盖,条件组合覆盖,路径覆盖

这里以一个题目引入:

1
2
3
4
if (a>1) and (b = 0)
then x = x / a
if (a = 2) or (x > 1)
then x = x+ 1

  1. 根据以上程序段画出程序流程图
  2. 按照要求给出六种逻辑覆盖的测试用例

程序流程图如下:

这里写图片描述

注:[可执行语句:流程图中的矩形;判定:流程图中的菱形]

(一) 语句覆盖:选择足够多的测试用例,使程序中每一可执行语句至少执行一次

分析:需要覆盖的可执行语句为x = x / ax = x + 1

测试用例如下:

a = 2, b = 0, x = 3   覆盖路径:a-c-e

(二) 判定(分支)覆盖:选择足够多的测试用例,使程序中每个判定的"真"和"假"至少执行一次

分析:需要覆盖的路径为:a-c-e和a-b-da-b-e和a-c-d

测试用例如下:

答案1
a = 2, b = 0, x = 3 覆盖路径:a-c-e
a = 1, b = 0, x = 1 覆盖路径:a-b-d

答案2
a = 2, b = 1, x = 1 覆盖路径:a-b-e
a = 3, b = 0, x = 3 覆盖路径:a-c-d

(三) 条件覆盖:选择足够多的测试用例,使程序中每个判定的每个条件取得各种可能的结果

分析:需要满足的判定为:判定一(a > 1, a <= 1, b = 0, b != 0) ; 判定二(a = 2, a != 2, x > 1, x <= 2)

测试用例如下:

答案1
a = 2, b = 0, x = 3 取到a>1(同时满足a=2), b = 0, x>1
a = 1, b = 1, x = 1 取到a <= 1(同时满足a!=2), b != 0, x <= 2

答案2
a = 1, b = 0, x = 3 取到a <= 1(同时满足a!=2), b = 0, x >1
a = 2, b = 1, x = 1 取到a>1(同时满足a=2), b != 0, x<=2

(四) 判定/条件覆盖:选择足够多的测试用例,使程序中每个判定的"真"和"假"至少执行一次,并且每个判定的每个条件取得各种可能的结果。

分析:

  1. 需要覆盖的路径为:a-c-e和a-b-da-b-e和a-c-d

  2. 需要满足的判定为:判定一(a > 1, a <= 1, b = 0, b != 0) ; 判定二(a = 2, a != 2, x > 1, x <= 2)

测试用例如下:

a = 2, b = 0, x = 3 覆盖路径a-c-e 取到a>1(同时满足a=2), b = 0, x>1
a = 1, b = 1, x = 1 覆盖路径a-b-d 取到a <= 1(同时满足a!=2), b != 0, x <= 2

(五) 条件组合覆盖:选择足够多的测试用例,使程序中所有判定的条件组合至少执行一次

分析:需要覆盖的条件组合为:

1
2
3
4
5
6
7
8
a > 1, b = 0
a>1, b != 0
a <= 1, b = 0
a <= 1, b != 0
a = 2, x > 1
a = 2, x< = 1
a != 2, x > 1
a != 2, x <= 1

测试用例如下

a = 2, b = 0, x = 3 覆盖组合1,5
a = 2, b = 1, x = 1 覆盖组合2,6
a = 1, b = 0, x = 3 覆盖组合3,7
a = 1, b = 1, x = 1 覆盖组合4,8

(六) 路径覆盖:选择足够多的测试用例,使程序中每条路径至少执行一次

分析:需要覆盖的路径为:a-c-e、 a-b-d、 a-b-e、 a-c-d

a = 2, b = 0, x = 3 覆盖路径:a-c-e
a = 1, b = 0, x = 1 覆盖路径:a-b-d
a = 2, b = 1, x = 1 覆盖路径:a-b-e
a = 3, b = 0, x = 3 覆盖路径:a-c-d