测试用例

某城市电话号码由三部分组成。它们的名称和内容分别是： （1）地区码：空白或三位数字； （2）前 缀：非'0'或'1'的三位数字； （3）后 缀：4位数字。

假定被测程序能接受一切符合上述规定的电话号码，拒绝所有不符合规定的电话号码。根据该程序的规格说明，作等价类的划分，并设计测试方案。 ① 有效等价类：定义一个整型变量X，取值范围在（0-9）之间，

定义一个整型变量Y，取值范围在（2-9）之间， 定义一个变量Z，取值范围在（0-1）之间，

地区码 l 前缀 l 后缀 X X X Y Y Y Y Y Y X X X X X X X X ② 无效等价类：

地区码 l 前缀 l 后缀 X X 输入数据 地区码 X 有效等价类 空白； 三位数字； Z Z Z 电话号码的等价类划分 无效等价类 一位地区码； 两位地区码； 以0开头的； 以1开头的； 前缀 非'0'的三位数字； 非'1'的三位数字； 后缀 四位数字； 全部空白； 只有一位，其他空白； 只有两位，其他空白； 只有三位，其他空白； 测试用例 111 222 1235 非'0'或'1'的三位数字； 123 456 小于七为数的； 123 125 1314 ； 231 1331； 234 3156 地区码空白； 5

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） 画出程序的控制流图（用题中给出的语句编号表示）。 程序的控制流图

控制流图是描述程序控制流的一种图示方法。基本控制构造的图形符号如图所示。符号○称为控制流图的一个结点，一组顺序处理框可以映射为一个单一的结点。控制流图中的箭头称为边，它表示了控制流的方向，在选择或多分支结构中分支的汇聚处，即使没有执行语句也应该有一个汇聚结点。边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。

控制流图下的各种图形

如果判定中的条件表达式是复合条件时，即条件表达式是由一个或多个逻辑运算符（OR，AND，NAND，NOR）连接的逻辑表达式，则需要改复合条件的判定为一系列只有单个条件的嵌套的判定。例如对应图3-2. (a) 的复合条件的判定，应该画成如图3-2. (b) 所示的控制流图。 条件语句 if a OR b 中条件a和条件b各有一个只有单个条件的判定结点。

判断节点 9 7 2 4 8 5 控制流图

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