若设P为控制流图中的判定结点数，则有 V(G)＝P＋1。

因为图5.14(b)所示控制流图有4个区域。其环路复杂性为4。 它是构成基本路径集的独立路径数的上界。可以据此得到应该设计的测试用例的数目。

③ 导出测试用例

利用逻辑覆盖方法生成测试用例，确保基本路径集中每条路径的执行。

3.2.1 实验设备

主流PC机一套，要求安装windows操作系统、Visual C++开发工具和OFFICE工具；

3.2.2 实验内容

题目一：使用逻辑覆盖测试方法测试以下程序段

void DoWork (int x,int y,int z) { 1 2 3

int k=0, j=0; if ( (x>3)&&(z<10) ) {

4 k=x*y-1; 5 j=sqrt(k); 6 }

7 if((x==4)||(y>5)) 8 j=x*y+10; 9 j=j%3; 10 }

说明：程序段中每行开头的数字（1~10）是对每条语句的编号。 （1）画出程序的控制流图（用题中给出的语句编号表示）。

（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。