单元测试用例设计方法及覆盖
1. 测试用例设计方法
根据目前现状，单元测试主要用来进行程序核心逻辑测试。逻辑覆盖测试是通过对程序逻辑结构的遍历来实现程序逻辑覆盖。从对源代码的覆盖程度不同分为以下六种标准，本文只对其中的五种进行分析（路径覆盖除外），下面从一段代码开始。
public int example(int x, int y, int z){
if (x>1 && z>2){
x = x + y;
}
if (y == 3 || x > 5){
x = x - 2;
}
return x;
}
一般单元测试不会根据代码来写用例，而是会根据流程图来编写测试用例，以上代码画出的流程图如下：
语句覆盖
1. 概念
设计足够多的测试用例，使得被测试程序中的每条可执行语句至少被执行一次。
2. 测试用例
|数据|执行路径|
|: —————— |:————————–:|
| {x=6;y=3;z=3} | a->c->b->d->e->f |
3. 测试的充分性
假设语句`x1&&z>2`中的`&&`写成了`||`上面的测试用例是检查不出来的。
判定覆盖
1. 概念
设计足够的测试用例使得代码中的判断真、假分支至少被执行一次。我们标记x>1&&z>2 为P1 y==3 || x>5为P2。
2. 测试用例
| 数据 | P1 | P2 | 执行路径 |
|: —————— |:————————–:|:——————:|:——————:|
| {x=3;y=3;z=3} |T| T | a->c->b->d->e->f |
| {x=0;y=2;z=3} |F|F| a->c->d->f |
3. 测试的充分性
假设语句`y==3 || x>5`中的`||`写成了`&&`上面的测试用例是检查不出来的。和语句覆盖相比：由于判定覆盖不是在判断假分支就是在判断真分支，所以满足了判定覆盖就一定会满足语句覆盖。
条件覆盖
1. 概念
设计足够多的测试用例，使得被测试程序每个判断语句中的每个逻辑条件的可能值至少满足一次。在本例中有两个判断分支`(x>1&&z>2)`和` (y == 3 || x > 5)`分别记为P1和P2。总共有三个条件`x>1`、`z>2`、`y==3`和`x>5`分别记为B1、B2、B3、B4。
2. 测试用例
| 数据 | P1 | P2 | B1 | B2 | B3 | B4 | 执行路径 |
|---|---|---|---|---|---|---|---|
| {x=0;y=2;z=3} | F | F | F | T | F | F | a->c->d->f |
| {x=3;y=3;z=1} | F | T | T | F | T | T | a->c->d->f |
3. 测试的充分性
从上面的结论看，条件覆盖没法满足100%的语句覆盖，当然没法满足100%的判定覆盖。
判定/条件覆盖
1. 概念
同时满足100%的条件覆盖和100%的判定覆盖。
2. 测试用例
| 数据 | P1 | P2 | B1 | B2 | B3 | B4 | 执行路径 |
|---|---|---|---|---|---|---|---|
| {x=0;y=2;z=1} | F | F | F | F | F | F | a->c->d->f |
| {x=3;y=3;z=3} | T | T | T | T | T | T | a->c->b->d->e->f |
3. 测试的充分性
达到100%判定-条件覆盖标准一定能够达到100%条件覆盖、100%判定覆盖和100%语句覆盖。
条件组合覆盖
1. 概念
设计足够多的测试用例，使得被测试程序中的每个判断的所有可能条件取值的组合至少被满足一次。
注意:
- 条件组合只针对同一个判断语句内存在多个判断条件，让这些条件的取值进行笛卡尔乘积组合。
- 不同判断语句内的条件无需组合
- 对于单条件语句，只需要满足自己的所有取值即可
本例中判断(x>1&&z>2)有如下组合：(1)x>1&&z>2 (2)x>1&&z<=2 (3)x<=1&&z>2 (4) x<=1&&z<=2;判断 (y == 3 || x > 5)有如下组合(1)y==3||x>5 (2)y==3||x<=5 (3)y!=3||x>5 (4)y!=3||x<=5
2. 测试用例
| 条件组合 | 数据 | 执行路径 |
|---|---|---|
| x>1 and z>2 y==3 or x>5 | {x=3;z=3;y=3} | a->c->b->d->e->f |
| x>1 and z<=2 y==3 or x<=5 | {x=2;z=3;y=3} | a->c->b->d->f |
| x<=1 and z>2 y!=3 or x>5 | {x=1;z=3;y=5} | a->c->d->e->f |
| x<=1 and z<=2 y!=3 or x<=5 | {x=1;z=2;y=3} | a->c->d->f |
3. 测试的充分性
100%满足条件组合标准一定满足100%条件覆盖标准和100%判定覆盖标准。
关注公众号：程序新视界，一个让你软实力、硬技术同步提升的平台
除非注明，否则均为程序新视界原创文章，转载必须以链接形式标明本文链接
