覆盖测试
1.为以下流程图所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。
a X>8 Y>5 AND N b Y c X>0 OR Y>0 N d 引用语句1 Y e 引用语句2 N f X>16 Y>10 OR g Y 引用语句3 h
一、 语句覆盖 测试用例输入为 X=-1,Y=-1 X=9,Y=-1 X=17,Y=6 二、 判定覆盖 测试用例输入为 X=-1,Y=-1 X=10,Y=10 程序执行路径 abdh acfh 程序执行路径 abdh（执行语句1） abeh（执行语句2） acgh（执行语句3） 三、 条件覆盖
对于第一个判定(X>8 AND Y>5)
条件X>8取真值记为T1，取假值记为-T1 条件Y>5取真值记为T2，取假值记为-T2 对于第二个判定(X>0 OR Y>0)
条件X>0取真值记为T3，取假值记为-T3 条件Y>0取真值记为T4，取假值记为-T4 对于第三个判定(X>16 OR Y>10)
条件X>16取真值记为T5，取假值记为-T5 条件Y>10取真值记为T6，取假值记为-T6 测试用例 X=-1,Y=-1 X=17,Y=11 执行路径 abdh acgh 覆盖条件 -T1 -T2 -T3- T4- T5 -T6 T1 T2 T3 T4 T5 T6 覆盖分支 bd cg 四、 判定/条件覆盖 测试用例 X=-1,Y=-1 X=17,Y=11 执行路径 abdh acgh 覆盖条件 -T1 -T2 -T3- T4- T5 -T6 T1 T2 T3 T4 T5 T6 覆盖分支 bd cg
五、 组合覆盖
1、X>8, Y>5 记做T1 T2，第一个判定的取真分支 2、X>8, Y<=5 记做T1 -T2，第一个判定的取假分支 3、X<=8, Y>5 记做-T1 T2，第一个判定的取假分支 4、X<=8,Y<=5 记做-T1 -T2，第一个判定的取假分支 5、X>0,Y>0 记做T3 T4，第二个判定的取真分支 6、X>0,Y<=0 记做T3 -T4，第二个判定的取真分支 7、X<=0,Y>0 记做-T3 T4，第二个判定的取真分支 8、X<=0,Y<=0 记做-T3 -T4，第二个判定的取假分支 9、X>16,Y>10 记做T5 T6，第三个判定的取真分支 10、X>16,Y<=10 记做T5 –T6，第三个判定的取真分支 11、X<=16,Y>10 记做-T5 T6，第三个判定的取真分支 12、X<=16,Y<=10 记做-T5 –T6，第三个判定的取假分支 测试用例 X=17,Y=11 X=-1,Y=-1 X=-1,Y=11 X=17,Y=-1
六、 路径覆盖
测试用例输入为 X=-1,Y=-1 X=5,Y=5 X=10,Y=10 X=20,Y=15
程序执行路径 abdh abeh acfh acgh 执行路径 acgh abdh abeh abeh 覆盖条件 T1 T2 T3 T4 T5 T6 -T1 T2 -T3 T4 - T5 T6 T1 -T2 T3- T4 T5 -T6 覆盖组合号 1，5，9 3，7，11 2，6，10 -T1 -T2 -T3- T4- T5 -T6 4，8，12 基本路径测试方法
2、使用基本路径测试方法，为以下程序段设计测试用例。
void Do (int X,int A,int B) {
1 if ( (A>1)&&(B=0) ) 2 X = X/A; 3 if ( (A=2)||(X>1) ) 4 X = X+1; 5 } 一、控制流图：
11B 2 334 5
二、计算环形复杂度：
环形复杂度：V(G)=10-7+2=5或V(G)=4+1=5 三、导出路径（用语句编号表示） 路径1: 1A→1B→2→3A→4→5
路径2: 1A→1B→2→3A→3X→4→5 路径3: 1A→1B→2→3A→3X→5 路径4: 1A→1B→3A→4→5 路径5: 1A→3A→3X→5 四、设计测试用例：
测试用例 测试用例1 测试用例2 测试用例3 测试用例4 测试用例5
输入数据 A=2 B=0 X=2 A=3 B=0 X=3 A=3 B=0 X=0 A=2 B=1 X=2 A=1 B=0 X=0 预期输出 X=1，X=3 X=1，X=4 X=0 X=3 X=0
