有关白盒测试

一．对以下程序代码，设计测试用例，分别实现语句覆盖，判定覆盖，条件覆盖，

判定/条件覆盖，条件组合覆盖，路径覆盖。

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
}

程序流程图如下：

（1） 语句覆盖

由题可知，只要遍历路径abd，就能实现语句覆盖，

用例可为：x=4, y=4, z=4

（2） 判定覆盖

由题可知，只要遍历路径abd和ace 或者 abe和acd，就能实现判定覆盖，

用例可为：

x=4, y=4, z=4 【abd】
x=2, y=2, z=2 【ace】

或者

x=5, y=4, z=4 【abe】
x=4, y=6, z=11 【acd】

（3） 条件覆盖

由题可知，第一个判断条件的可能取值情况是：x>3 或 x<=3, z<10或者z>=10

第二个判断条件的可能取值情况是：x=4 或 x!=4 , y>5或者y<=5

用例可为：

x=4, y=6, z=6
x=3, y=5, z=10

（4） 判定/条件覆盖

由题可知，第一个判断条件的可能取值情况是：x>3 或 x<=3, z<10或者z>=10

第二个判断条件的可能取值情况是：x=4 或 x!=4 , y>5或者y<=5

只要遍历路径abd和ace 或者 abe和acd，就能实现判定覆盖

判定/条件覆盖必须同时满足判定覆盖和条件覆盖

用例可为：

x=4, y=6, z=6 【abd】
x=3, y=5, z=10 【ace】

（5） 条件组合覆盖

由题可知，满足多重条件覆盖准则的测试用例，必须覆盖以下8种组合：

第一个判定	第二个判定
x>3,z<10 【组合1】	x=4,y>5【组合5】
x>3,z>=10【组合2】	x=4,y<=5【组合6】
x<=3,z<10【组合3】	x!=4,y>5【组合7】
x<=3,z>=10【组合4】	x!=4,y<=5【组合8】

用例可为：

x=4, y=6, z=4 【组合1、5】
x=4, y=5, z=10 【组合2、6】
x=3, y=6, z=9 【组合3、7】
x=3, y=5, z=10 【组合4、8】

（6） 路径覆盖

由题可知，程序共有两个必经过节点，其中两两间均有两条不同路径，所以有w（1）、w（2），且必经节点1、2下的路径数分别为2、2条（个人认为该路径数指的是该节点与下一必经节点/ 结束节点之间的路径数），因此路径数为：（注意此处是非独立路径数）

w(1)w(2)=22=4 （推荐，将流程图的路径全部写出来就可以理解这个公式由来了）

(路径数也可通过 （1+11）（1+1*1）= 4 获得，路径同步即*，异步即+。
区别于上种算法，每一个小路径都要计算，包括非必经节点之间的)

故，要实现路径覆盖，用例需覆盖【abd】、【abe】、【acd】、【ace】四个路径。

用例可为：

x=4, y=5, z=5 【abd】
x=5, y=4, z=5 【abe】
x=2, y=6, z=5 【acd】
x=2, y=5, z=5 【ace】

二. 根据如下给出的程序流程图，完成以下要求：

（1）画出相应的控制流图。

（2）计算环形复杂度。

（3）找出程序的独立路径集合。（此处就是计算独立路径数，用于完全路径覆盖用例测试）

（1） 控制流图如下：

（2） 环形复杂度V（G）= E – N +2 = 10-7+2=5
（也可以= P+1=4+1=5）

注：此处的 E为控制流图边数（上图中指向1的不算入，若7有自循环的话也不计入，环形复杂度测量的是程序的逻辑复杂度），N为节点数，P为判断节点数。

（3） 独立路径数 = w(1)w(3)= 33 = 9
也可以=(111 + 11 +1)( 11 + 111 + 11) = 9

路径集合如下：

路径一：1→2→5→3→6→7

路径二：1→2→3→6→7

路径三：1→3→6→7

路径四：1→2→5→3→4→6→7

路径五：1→2→3→4→6→7

路径六：1→3→4→6→7

路径七：1→2→5→3→4→7

路径八：1→2→3→4→7

路径九：1→3→4→7