【单元测试】Junit 4教程（一）--白盒测试方法

news2024/11/24 14:52:00

1.0 流程图标识

1.1 语句覆盖法（C0标准）

1.2 判定/分支覆盖法（C1标准）

1.3 条件覆盖法（C2标准）

1.4 判定条件覆盖法（C1+C2标准）

1.5 条件组合覆盖法（C3标准）

1.6 路径覆盖

1.7 基本路径覆盖法

结语

1.0 流程图标识

1.1 语句覆盖法（C0标准）

① 目标

程序中的每个可执行语句至少被执行一次

后面如未说明那就是还是用的这个样例

程序源代码：

import java.util.Scanner;

public class Demo {
	public static void main(String[] args) {
		int a, b;
		double c;
		Scanner scanner = new Scanner(System.in);
		a = scanner.nextInt();
		b = scanner.nextInt();
		c = scanner.nextDouble();
		if (a > 0 && b > 0) {
			c = c / a;
		} else if (a > 1 || c > 1) {
			c = c + 1;
		}
		c = b + c;
		System.out.println("a=" + a);
		System.out.println("b=" + b);
		System.out.println("c=" + c);
		scanner.close();
	}
}

画出流程图：

② 用例

输入	输出
a = 2 b = 1 c = 6	a = 2 b = 1 c = 7

③ 优缺点

语句覆盖能发现语句错误
语句覆盖不能发现逻辑错误

1.2 判定/分支覆盖法（C1标准）

① 目标

程序中每个判定的取真分支和取假分支至少执行一次

② 用例

输入	输出
a = 2 b = 1 c = 6	a = 2 b = 1 c = 5
a = -1 b = 1 c = 1	a = -1 b = 1 c = 7

③ 优缺点

判定/分支覆盖能发现逻辑错误
判定/分支覆盖不能发现组合判断中的条件错误

1.3 条件覆盖法（C2标准）

① 目标

程序中每个判定中每个条件的可能取值至少满足一次

② 用例

判定3：(a > 0 && b > 0)

判定6：(a > 1 || c > 1)

原子条件集：

a > 0

b > 0

a > 1

c > 1

要求：各原子条件集真假各取一次

输入	原子条件	判定条件
a = -1 b = 2 c = 3	a>0取假，b>0取真，a>1取假，c>1取真	判定3取假，判定6取真
a = 2 b = -1 c = -2	a>0取真，b>0取假，a>1取真，c>1取假	判定3取假，判定6取真

③ 优缺点

未必比判定/分支覆盖更全面
不能发现逻辑错误

1.4 判定条件覆盖法（C1+C2标准）

① 目标

每个条件中的所有可能取值至少执行一次，同时，每个判定的可能结果至少执行一次

② 用例

输入	原子条件	判定条件
a = 2 b = 1 c = 4	a>0取真，b>0取真，a>1取真，c>1取真	判定3取真，判定6取真
a = -1 b = -2 c = -3	a>0取假，b>0取假，a>1取假，c>1取假	判定3取假，判定6取假

③ 优缺点

可能会导致某些条件掩盖了另一些条件

1.5 条件组合覆盖法（C3标准）

① 目标

每个判定中的所有的条件取值组合至少执行一次

② 用例

判定3：(a > 0 && b > 0)

判定6：(a > 1 || c > 1)

原子条件集：

a > 0 b > 0 a > 1 c > 1

要求：

a>0时，b>0真假各一次

a<=0时，b>0真假各一次

a>1时，c>1真假各一次

a<=1时，c>1真假各一次

输入	原子条件	判定条件
a = 2 b = 1 c = 6	a>0取真，b>0取真，a>1取真，c>1取真	判定3取真，判定6取真
a = 2 b = -1 c = -2	a>0取真，b>0取假，a>1取真，c>1取假	判定3取假，判定6取真
a = -1 b = 2 c = 3	a>0取假，b>0取真，a>1取假，c>1取真	判定3取假，判定6取真
a = -1 b = -2 c = -3	a>0取假，b>0取假，a>1取假，c>1取假	判定3取假，判定6取假

③ 优缺点

比条件覆盖法更全面

1.6 路径覆盖

① 目标

用例覆盖程序中的所有可能的执行路径

② 用例

输入	原子条件	判定条件
a = 2 b = 1 c = 6	a>0取真，b>0取真，a>1取真，c>1取真	判定3取真，判定6取真
a = 1 b = 1 c = -3	a>0取真，b>0取真，a>1取假，c>1取假	判定3取真，判定6取假
a = -1 b = 2 c = 3	a>0取假，b>0取真，a>1取假，c>1取真	判定3取假，判定6取真
a = -1 b = -2 c = -3	a>0取假，b>0取假，a>1取假，c>1取假	判定3取假，判定6取假