白盒测试的主要方法

二、 基本路径测试
基本路径测试就是在程序控制图的基础 上，通过分析控制构造的环行复杂性，导 出基本可执行路径集合，从而设计测试用 例的方法。设计出的测试用例要保证在测 试中程序的每一个可执行语句至少执行一 次。
基本路径测试-----步骤
1. 导出程序的控制流图
2. 计算程序环路复杂度：确定程序中每个可执
白盒测试的主要方法
语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 路径覆盖 基路径测试 循环测试
逻辑覆盖
路径测试
数据流测试 其他白盒测试方法
一、 逻辑覆盖
• 1、语句覆盖：语句覆盖就是设计若干个测试用 例，运行被测试程序，使得每一条可执行语句 至少执行一次 • 2、判定覆盖（也称为分支覆盖）：设计若干个 测试用例，运行所测程序，使程序中每个判断 的取真分支和取假分支至少执行一次；
条件组合覆盖
• 它的含义是：设计足够的例子，使得每个
判定中条件的各种可能组合都至少出现一 次。显然，满足“条件组合覆盖”的测试 用例是一定满足“判定覆盖”、“条件覆 盖”和“判定/条件覆盖”的。
例题1
编号 1 2 3
4 5 6 7 8
具体条件取值 a>1,b=0 a>1,b<>0 a<=1,b=0
① A=3，B=0，X=1 (沿路径acd执行)； ② A=2，B=1，X=3(沿路径abe执行)
判定覆盖
A=3，B=0，X=1 (沿路径acd 执行) A=2，B=1，X=3 (沿路径abe 执行)
例题2
判定覆盖
往往大部分的判定语句是由多个逻辑条
件组合而成，若仅仅判断其整个最终结果， 而忽略每个条件的取值情况，必然会遗漏 部分测试路径 。
• 3、条件覆盖：设计足够多的测试用例，运行所 测程序，使程序中每个判断的每个条件的每个 可能取值至少执行一次；
一、逻辑覆盖
• 4、判定/条件覆盖：设计足够多的测试用例，运 行所测程序，使程序中每个判断的每个条件的所 有可能取值至少执行一次，并且每个可能的判断 结果也至少执行一次，换句话说，即是要求各个 判断的所有可能的条件取值组合至少执行一次；
支和取假分支至少经历一次，即判断的真 假值均曾被满足。
例1：a=5,b=0,c=6 a=1,b=0,c=1 case1 case2 ACE ABD
或者：a=3,b=0,c=1
a=5,b=1,c=2
case1
case2
ACD
ABE
判定覆盖
对例1的程序，如果设计两个例子，使
它们能通过路径ace和abd，或者通过路径 acd和abe，就可达到“判定覆盖”标准， 为此，可以选择输入数据为：
条件覆盖
A=2，B=0，X=4 (沿路径ace执行) A=1，B=1，X=1 (沿路径abd执行)
条件覆盖
条件覆盖
• “条件覆盖”通常比“判定覆盖”强，因为 它使一个判定中的每一个条件都取到了两 个不同的结果，而判定覆盖则不保证这一 点。 • “条件覆盖”并不包含“判定覆盖”，如 对语句IF(A AND B)THEN S 设计测试用例 使其满足"条件覆盖",即使A为真并使B为假, 以及使A为假而且B为真,但是它们都未能使 语句S得以执行。
① A=2，B=0，X=4 使 1)、5)两种情况出现； ② A=2，B=1，X=1 使 2)、6)两种情况出现； ③ A=1，B=0，X=2 使 3)、7)两种情况出现； ④ A=1，B=1，X=1 使 4)、8)两种情况出现。
条件组合覆盖
上面四个例子虽然满足 条件组合覆盖，但并不能覆 盖程序中的每一条路径，例 如路径acd就没有执行，因 此，条件组合覆盖标准仍然 是不彻底。
开始
A
（a>1)and(b=0)
True
CLeabharlann c=c/aBFalse
（a=5)or(c>1)
True
E
c=c+1
a=5、b=2、c=1
a=3、b=0、c=1
ABE
ACD
D
c=a+b+c
结束
路径测试----例题2
测试用例 通过路径
A=2、B=0、X=3
A=1、B=0、X=1 A=2、B=1、X=1 A=3、B=0、X=1
判定覆盖
以上例题仅考虑了两出口的判断，还应 该把判定覆盖准则扩充到多出口判断的情 况。应该使得每一个判定获得每一种可能
的结果至少一次。
2
1 3 5 6 7 8
10
4
8
条件覆盖
• 设计若干个（越少越好）测试用例，运行被测试程序， 使每个判断中的每个条件的可能取值至少满足一次，即每 个条件至少有一次为真值，有一次为假值。
ace
abd abe acd
综合练习
void DoWork(int x,int y,int z){ int k=0,j=0; if((x>3)&&(z<10)) { k=x*y-1; //语句块1 j=sqrt(k); } if((x= =4)||(y>5)) { j=x*y+10; //语句块2} j=j%3; //语句块3}
• 5、条件组合覆盖：设计足够多的测试用例，运行 所测程序，使程序中每个判断的所有可能的条件 取值组合至少执行一次；
6、路径覆盖
• 设计足够多的测试用例，运行所测程序， 要覆盖程序中所有可能的路径。这是最强 的覆盖准则。但在路径数目很大时，真正 做到完全覆盖是很困难的，必须把覆盖路 径数目压缩到一定限度。 • 在程序控制流程的基础上，分析控制构 造的环路复杂性，导出基本可执行路径集 合，从而设计测试用例
测试用例 测试数据 覆盖条件 执行路径
ACE ABD ABE
CASE6 a=5,b=0,c=6 T1,T2,T3,T4 CASE7 a=1,b=0,c=1 F1,T2,F3,F4 CASE8 a=5,b=2,c=1 T1,F2,T3,F4
条件覆盖
例2的程序有四个条件： A＞1、 B=0、A=2、X＞1 为了达到“条件覆盖”标准，需要执行足够的测试用例 使得在a点有： A＞1、A≤1、B=0、B≠0 等各种结果出现，以及在b点有： A=2、A≠2、X＞1、X≤1 等各种结果出现。 现在只需设计以下两个测试用例就可满足这一标准： ① A=2，B=0，X=4 (沿路径ace执行)； ② A=1，B=1，X=1 (沿路径abd执行)。
（a=5)or(c>1)
True
E
c=c+1
D c=a+b+c
结束
例2
① A=2，B=0，X=4 (沿ace路 径) ② A=1，B=1，X=1 (沿abd路径)
判定/条件覆盖
• 分支/条件覆盖从表面来看，它测试了所有条 件的取值，但是实际上某些条件掩盖了另一些条 件。 • 例如对于条件表达式(x>3)&&(z<10)来说，必须两 个条件都满足才能确定表达式为真。如果（x>3） 为假则一般的编译器不在判断是否z<10了。对于 第二个表达式（x==4）||（y>5）来说，若x==4测 试结果为真，就认为表达式的结果为真，这时不 再检查（y>5）条件了。因此，采用分支/条件覆 盖，逻辑表达式中的错误不一定能够查出来了。
例题1
Public void function(int a ，int b，int c){ if ((A>1) && (B==0)){ c=c/a； } if ((a==5) || (c>1)){ c=c+1； } c=a+b+c; }
开始
A
False
（a>1)and(b=0)
True
B
False
2和6
3和7 4和8
上面的测试用例覆盖了所有条件的可能取值的组合，覆 盖了所有判断的可取分支，但是却丢失了一条路径abe。
路径测试
• 路径测试就是设计足够多的测 试用例，覆盖被测试对象中的 False 所有可能路径。
测试用例 a=5、b=0、c=6 a=1、b=0、c=1 通过路径 ACE ABD
A<=1,b<>0 a=5,c>1 a=5,c<=1 a<>5,c>1 a<>5,c<=1
覆盖条件 T1,T2 T1,F2 F1,T2
F1,F2 T3,T4 T3,F4 F3,T4 F3,F4
判定取值 第一判定：取真 第一判定：取假 第一判定：取假
第一判定：取假 第二判定：取真 第二判定：取真 第二判定：取真 第二判定：取假
（a=5)or(c>1)
C c=c/a
True
D
E c=c+1
c=a+b+c
结束
语句覆盖
• 是一个比较弱 的测试标准，它的 含义是：测试时设 计若干个（越少越 好）测试用例，运 行被测试程序，使 程序中每条可执行 语句至少执行一次。
开始
A
False
（a>1)and(b=0)
True
C
c=c/a
B
False
例1：用基本路径测试法进行测试
void Sort(int iRecordNum,int iType) { 1. int x=0; 2. int y=0; 3. while (iRecordNum > 0){ 4. if(iType= =0){ 5. x=y+2; } else{ 6. if (iType= =1) { 7. x=y+5; }else{ 8. x=y+10; } 9. } 10. iRecordNum--; 11. }}
对以上路径的遍历，就 是至少一次地执行了程 序中的所有语句。