白盒测试练习及问题详解
白盒测试练习题11
白盒测试练习题1、为以下流程图所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。
语句覆盖：X=17,y=6; x=1,y=4; x=10,y=-1; 判定覆盖：x=18,y=7; x=3,y=2; x=1,y=-2; x=9,y=9 条件覆盖：对于第一个判定( (x>8)&&y>5) )：条件x>8 取真值记为T1，取假值记为F1条件y>5 取真值记为T2，取假值记为F2对于第二个判定( (x>16)||(y>10) )：条件x>16 取真值记为T3，取假值记为F3条件y>10 取真值记为T4，取假值记为F4 对于第三个判定（（x>0）||(y>0):条件x>0 取真值记为T5，取假值记为F5条件y>0 取真值记为T6，取假值记为F6判定/条件覆盖:组合覆盖：1.X>8,Y>5:T1T22.X>8,Y<=5:T1F23.X<=8,Y>5:F1T24.X<=8,Y<=5:F1F25.X>0,Y>0:T5T66.X>0,Y<=0:T5F67.X<=0,Y>0:F5T68.X<=0,Y<=0:F5F69.X>16,Y>10:T3T410.X>16,Y<=10:T3F411.X<=16,Y>10:F3T412.X<=16,Y<=10:F3F42、输入一行字符，分别统计出其中英文字母、空格、数字和其他字符的个数。
程序如下，请按要求设计测试用例。
要求：画出流程图分别写出满足语句覆盖和判定覆盖的测试用例语句覆盖：c=a;c= ;c=0;c=, 判定覆盖：c=a,;c= ;c=0;c=, 1）画出控制流图；2）分析复杂性；V(G)=53）给出独立路径并设计测试用例；路径1：2-11路径2: 2-3-4-11路径3: 2-3-5-6-11路径4: 2-3-5-7-8-11路径5: 2-3-5-7-9-114）画出N-S图；5）计算要满足覆盖所需要的最少测试用例数；6）设计满足条件覆盖的测试用例。
白盒和黑盒测试用例测试题目
一、问题：报表日期等价类划分和边界值分析设某公司要打印2001～2005年的
报表，其中报表日期为6位数字组成，其中，前4位为年份，后两位为月份。
二、请结合等价类方法给出getNumDaysInMonth（int month, int year）方法
的测试用例，其中getNumDaysInMonth方法根据给定的月份和年份返回该月份的总天数。
三、阅读下列说明，回答问题 1 至问题 3，将解答填入答题纸的对应栏内。
[说明]在 ERP（企业资源计划）系统中，“计划管理”模块的流程图如下：
［问题1]因果图法是功能测试案例设计方法中的一种，简述利用因果图导出测试用例需要经过哪几个步骤？
[问题2]根据题干中的流程图，利用因果图法，找出哪些是正确的输入条件，那些是正确的输出结果，将下列描述的字母编号填入表中。
a.可以进行销售发货管理
b.可用库存不满足销售需求（有可用库存）
c.可用库存不满足销售需求（无可用库存）
d.可用库存满足生产需求
e.可用库存不满足生产需求
f.可用库存不满足生产需求（无可用库存）
g.可以进行 MPS 运算
h.可用库存满足销售需求
i.生成主生产计划
j.生成计划采购单
k.生成计划生产定单
l.可以进行 MRP 运算
[问题3]下图画出“计划管理”模块的因果图。
请把问题2中列出的输入条件和输出结果的字母编号填入到空白框中相应的位置。
四、有一个在线购物的实例，用户进入一个在线购物网站进行购物，选购物品
后，进行在线购买，这时需要使用帐号登录，登录成功后，进行付钱交易，交易成功后，生成订购单，完成整个购物过程。
五、根据如下流程图，写出白盒测试测试用例。
白盒测试-基本路径测试习题
public static void getArray2(int[] arr){ System.out.print("冒泡排序后数组大小排列为："); for(int i = 0;i < arr.length; i++){ System.out.print(arr[i]+" , "); } System.out.println();
(13)
return;
(14)
}
(15)
}
(16) }
1.程序流程图：
2.1
2.2.1 （--i>0
2.2.2
4.1 4.2
5 6.7.8.9 10
15
3 3
3.1 12 13
4.3
16
流图：
2.1
2.2.1
3
2.2.2
3
4.1
3.1
4.2
12
13 5
4.3
6,7,8,9
10
15
16
2.计算环形复杂度： CC（G）= 6 个区域 CC（G）= 18 条边 – 14 个节点 + 2 = 6 CC（G）= 5 个判定节点 + 1 = 6
4.测试用例 路径 1 测试用例：
输入条件：将数组设为 int[0]，输入空值 期望结果：null 实际运行结果：
路径 2 测试用例： 输入条件：将数组设为 int[1],输入 5 期望结果：原数组大小排列为：5 冒泡排序后数组大小排列为：5 实际结果：
路径 3 测试用例： 输入条件：将数组设为 int[5],输入 1，3，5，7，9 期望结果：原数组大小排列为：1，3，5，7，9 冒泡排序后数组大小排列为：1，3，5，7，9 实际运行结果：
白盒测试习题
习题010401 逻辑路径覆盖法是白盒测试用例的重要设计方法，其中语旬覆盖法是较为常用的方法，针对下面的语句段，采用语句覆盖法完成测试用例设计，测试用例见下表，对表中的空缺项(True或者False)，正确的选择是( )。
语句段：if(A&&(B||C)) x=1；else x=0；用例表：A. ①TRUE ②FALSE ③TRUEB. ①TRUE ②FALSE ③FALSEC. ①FALSE ②FALSE ③TRUED. ①TRUE ②TRUE ③FALSE0402 针对以下程序段，对于(A,B,C)的取值，以下( )测试用例能够满足语句覆盖的要求。
IF((A+10)=2 OR (B-20)<3) THEN C=0IF((A+30)>10 AND (C-30)<0) THEN B=30A. (2,30,1)B.(-20,0,30)C. (-30,20,30)D. (2,20,3)0403 为以下程序段，设计足够的测试用例满足语句覆盖。
if (x>8&&y>5) {if(x>16||y>10) s1;}else {if (x>0||y>0) s2;else s3;0404 针对下列程序段，需要（）个测试用例才可以满足语句覆盖的要求。
switch ( value ){case 0: other = 30; break;case 1: other = 50; break;case 2: other = 300;case 3: other = other / value; break;default: other = other * value;}0405 对下面的个人所得税程序中，满足语句覆盖测试用例的是( ) 。
if (income < 800) tarrate = 0else if (income <= 1500) tarrate = 0.05else if (income < 2000) tarrate = 0.08else tarrate = 0.1A．income = (800, 1500, 2000, 2001)B．income = (800, 801, 1999, 2000)C．income = (799, 1499, 2000, 2001)0406 阅读下列流程图：当用判定覆盖法进行测试时，至少需要设计( ) 个测试用例。
第13次课白盒测试案例实战
任务题目一：使用逻辑覆盖测试方法测试以下程序段void DoWork (int x,int y,int z){1int k=0, j=0;2if ( (x>3)&&(z<10) )3{4 k=x*y-1;5 j=sqrt(k);6 }7if((x==4)||(y>5))8 j=x*y+10;9j=j%3;10}说明：程序段中每行开头的数字（1~10）是对每条语句的编号。
（1）画出程序的控制流图（用题中给出的语句编号表示）。
（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。
题目二：三角形问题在三角形计算中，要求输入三角型的三个边长：A、B 和C。
当三边不可能构成三角形时提示错误，可构成三角形时计算三角形周长。
若是等腰三角形打印“等腰三角形”，若是等边三角形，则提示“等边三角形”。
画出程序流程图、控制流程图、计算圈复杂度V(g)，找出基本测试路径。
（测试用例可以写在纸上也可以用word编写电子版本）一、上机操作：1、根据设计的测试用例，采用白盒测试方法进行测试（如果能采用Eclipse、VC或者VS平台等工具开发出界面更好，也可以采用C语言开发控制台程序）。
二、课后提交（请同学们完成后以该word的形式,2012131900+XX），通过邮件发到我的163邮箱时报告作为大家的一次作业记入平时成绩）1、测试用例题目一样式如下：控制流图Array语句覆盖测试用例条件覆盖测试用例组合覆盖测试用例路径覆盖测试用例题目二1、程序流程图2、控制流图3、环形复杂度V(G)=？2、测试环境3、实测结果样式如下：“三角形问题”测试用例及测试结果：。
白盒测试用例练习题(1)
白盒测试用例练习题(1)白盒测试用例练习1．为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。
voiddowork(intx,inty,intz){intk=0,j=0;if((x>3)&&(z<10)){k=x*y-1;j=sqrt(k);//语句块1}if((x==4)||(y>5)){j=x*y+10;}//语句块2j=j%3;//语句块3}k=0j=0aycx>3andz<10k=x*y-1j=sqrt(k)nbx=4eoryy>5j=x*y+10ndj=j%3由这个流程图可以窥见，该程序模块存有4条相同的路径：p1:(a-c-e)p2:(a-c-d)p3:(a-b-e)p4:(a-b-d)将里面的判定条件和过程记录如下：判定条件m＝{x>3andz<10}判定条件n={x=4ory>5}1、语句覆盖测试用例输出x=4,z=5,y=82、判定覆盖p1和p4可以做为测试用例，其中p1做为挑真的路径，p4做为row的路径。
测试用例输出x=4,z=5,y=8x=2,z=11,y=5输入k=31,j=0k=0,j=0认定m的值域认定n的值域tftf 全面覆盖路径p1(a-c-e)p4(a-b-d)输入k=31,j=0认定m的值域认定n的值域tt全面覆盖路径p1(a-c-e)也可以使测试用例测试路径p2和p3。
适当的两组输出数据如下：测试用例输出x=5,z=5,y=4x=4,z=11,y=63、条件覆盖对于m：x>3挑真时t1，取假时f1;z<10挑真时t2，取假时f2；对于n：x=4挑真时t3，取假时f3;y>5挑真时t4，取假时f4。
条件：x>3,z<10,x=4,y>5条件：x<=3,z>=10,x!=4,y<=5根据条件全面覆盖的基本思路，和这8个条件值域，女团测试用例例如表中右图:测试用例输出x=4,z=5,y=8x=3,z=11,y=5输入k=31,j=0k=0,j=0值域条件具体内容值域条件全面覆盖路径p1(a-c-e)t1，t2，t3，t4x>3,z<10,x=4,y>5输入k=19,j=sqrt(19)%3k=0,j=1认定m的值域认定n的值域tfft全面覆盖路径p2(a-c-d)p3(a-b-e)f1，f2，f3，f4x<=3,z>=10,x!=4,y<=5p4(a-b-d)4、认定/条件全面覆盖测试用例输出x=4,z=5,y=8x=3,z=11,y=5输入k=31,j=0k=0,j=0值域条件具体内容值域条件全面覆盖路径p1(a-c-e)t1，t2，t3，t4x>3,z<10,x=4,y>5f1，f2，f3，f4x<=3,z>=10,x!=4,y<=5p4(a-b-d)5、女团全面覆盖条件组合1)x>3,z<102)x>3,z>=103)x<=3,z<104)x<=3,z>=105)x=4,y>56)x=4,y<=57)x!=4,y>58)x!= 4,y<=5测试用例输出x=4,z=5,y=6x=4,z=10,y=5x=3,z=5,y=6z=3,z=10,y=56、路径全面覆盖测试用例输出x=4,z=5,y=8x=5,z=5,y=4x=4,z=11,y=6x=2,z=11,y=5输出k=31,j=0k=0,j=1k=0,j=0覆盖条件取值覆盖条件组合1,51,82,54,8覆盖路径p1(a-c-e)p2(a-c-d)p3(a-b-e)p4(a-b-d)输出k=23,j=1k=0,j=0k=14j=1k=0,j=2覆盖条件取值t1,t2,t3,t4t1,f2,t3,f4f1,t2,f3,t4f1,f2,f3,f4覆盖条件组合1,52,63,74,8覆盖路径p1(a-c-e)p2(a-c-d)p3(a-b-e)p4(a-b-d)t1，t2，t3，t4t1，f2，t3，t4f1，f2，f3，f4k=19,j=sqrt(19)%3t1，t2，f3，f4。
java白盒测试面试题
java白盒测试面试题白盒测试是软件测试中的一种技术手段，主要用于检查和验证程序的内部结构、逻辑和代码覆盖率等。
在Java开发领域，白盒测试是一项必备的技能。
本文将介绍一些常见的Java白盒测试面试题，帮助大家准备面试。
一、简答题1. 什么是白盒测试？白盒测试是一种软件测试方法，主要通过检查和验证程序的内部结构、逻辑和代码覆盖率等来进行测试。
测试人员需要了解被测程序的具体实现细节，以便设计有效的测试用例。
2. 白盒测试的优点有哪些？白盒测试可以更全面地测试程序的各个分支和路径，提高测试覆盖率。
其优点包括发现隐藏的逻辑错误、减少测试漏洞、提高测试效率、增强代码质量等。
3. 白盒测试常用的技术手段有哪些？常见的白盒测试技术手段包括代码覆盖率分析、路径覆盖分析、控制流分析、数据流分析、逻辑覆盖分析等。
4. 请解释一下代码覆盖率是什么？代码覆盖率是一个衡量标准，用于指导测试过程中对代码执行的覆盖情况。
它表示被测试的代码被测试用例执行的比例，常见的代码覆盖率指标包括语句覆盖率、分支覆盖率、判定覆盖率等。
5. 请简要介绍路径覆盖分析。
路径覆盖分析是一种白盒测试技术，用于检查程序中各个可能的执行路径是否都被测试用例覆盖到。
通过路径覆盖分析，可以确定程序中存在的死代码、无效分支和无法触发的异常情况。
6. 什么是控制流分析？控制流分析是一种静态分析技术，在程序的控制流图基础上，对程序的各个分支和路径进行分析。
它可以帮助测试人员理解程序的执行顺序、识别可能出现的错误和漏洞。
7. 什么是数据流分析？数据流分析是一种静态分析技术，用于分析程序中的数据依赖、数据定义和使用等。
通过数据流分析，可以检查程序中的不合法数据访问、数据赋值错误、数据传递问题等，并设计相应的测试用例。
二、编程题1. 编写一个Java方法，计算两个整数的最大公约数。
```public static int gcd(int a, int b) {if (b == 0) {return a;}return gcd(b, a % b);}```2. 编写一个Java方法，判断一个字符串是否为回文字符串。
白盒测试覆盖例题
白盒测试覆盖例题白盒测试是软件测试中的一种重要手段，通过对代码内部结构的检查来评估软件的质量。
在白盒测试中，覆盖率是一个重要的指标，它用来衡量测试用例是否充分覆盖了被测代码的各个部分。
在本文中，我们将通过一个例题来探讨白盒测试覆盖问题。
例题描述假设有一个简单的计算器程序，能够实现加、减、乘、除等基本运算。
以下是程序的伪代码：def calculator(operator, num1, num2):if operator =='+':result = num1 + num2elif operator =='-':result = num1 - num2elif operator =='*':result = num1 * num2elif operator =='/':if num2 !=0:result = num1 / num2else:result ='Error: divide by zero'else:result ='Error: invalid operator'return result问题提出针对上述计算器程序，我们将提出以下几个问题，用以讨论在白盒测试中如何进行有效的覆盖：1.设计测试用例，确保覆盖所有的运算符（+、-、*、/）。
2.设计测试用例，验证除法运算中除数为0的情况。
3.设计测试用例，覆盖所有的条件分支路径。
4.如何进行语句覆盖测试？5.如何进行路径覆盖测试？解题思路1.设计测试用例覆盖所有的运算符：–测试用例1：operator=’+’，num1=3，num2=5–测试用例2：operator=’-’，num1=10，num2=2–测试用例3：operator=’*’，num1=4，num2=6–测试用例4：operator=’/’，num1=8，num2=22.验证除法运算中除数为0的情况：–测试用例5：operator=’/’，num1=6，num2=03.覆盖所有的条件分支路径：–测试用例6：operator=’%’（错误的运算符）–测试用例7：operator=’/’，num1=8，num2=04.语句覆盖测试：–通过设计测试用例，使得每个语句至少被执行一次。
白盒测试用例练习
白盒测试用例练习1．为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。
void DoWork (int x,int y,int z){int k=0,j=0;if ( (x>3)&&(z<10) ){ k=x*y-1;j=sqrt(k); //语句块1}if ( (x==4)||(y>5) ){j=x*y+10;} //语句块2j=j%3; //语句块3}由这个流程图可以看出，该程序模块有4条不同的路径：P1:(a-c-e) P2:(a-c-d)P3:(a-b-e) P4:(a-b-d)将里面的判定条件和过程记录如下：判定条件M＝{x>3 and z<10}判定条件N={x=4 or y>5}1、语句覆盖2、判定覆盖也可以让测试用例测试路径P2和P3。
相应的两组输入数据如下：3、条件覆盖对于M：x>3取真时T1，取假时F1;z<10取真时T2，取假时F2；对于N：x=4取真时T3，取假时F3;y>5取真时T4，取假时F4。
条件：x>3,z<10,x=4,y>5条件：x<=3,z>=10,x!=4,y<=55、组合覆盖条件组合1)x>3,z<10 2)x>3,z>=103) x<=3,z<10 4)x<=3,z>=105)x=4,y>5 6)x=4,y<=56题目二：三角形问题在三角形计算中，要求输入三角型的三个边长：A、B 和C。
当三边不可能构成三角形时提示错误，可构成三角形时计算三角形周长。
若是等腰三角形打印“等腰三角形”，若是等边三角形，则提示“等边三角形”。
画出程序流程图、控制流程图、计算圈复杂度V(g)，找出基本测试路径。
一、核心程序代码/** 判断三角形的类*/public class TriangleTestMethod {/** 判断三角形的种类。
周立群白盒测试试题
第五章白盒测试一、判断分析题1.语句覆盖是最弱的逻辑覆盖。
（√）2.语句覆盖是最强的逻辑覆盖。
（X）3.判定覆盖不一定包含条件覆盖。
（X）4.条件覆盖不一定包含判定覆盖。
（√）5.判定/条件覆盖能同时满足判定、条件两种覆盖标准。
（√）6.判定/条件覆盖指满足判定覆盖标准或条件覆盖标准。
（X）7.DD-路径图是一种压缩图。
（X）8.详细设计的目的是为软件结构图中的每一个模块确定使用的算法和块内数据结构，并用某种选定的表达工具给出清晰的描述。
(X )9.尽量用公共过程或子程序去代替重复的代码段。
（X）10.对于连锁型分支结构，若有n个判定语句，则有2n条路径。
（√）11.尽量采用复合的条件测试，以避免嵌套的分支结构。
（√）12.GOTO语句概念简单，使用方便，在某些情况下，保留GOTO语句反能使写出的程序更加简洁。
（√）二、简答题1.请试着比较一下黑盒测试、白盒测试、单元测试、集成测试、系统测试、验收测试的区别与联系。
答：黑盒测试：已知产品的功能设计规格，可以进行测试证明每个实现了的功能是否符合要求。
白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。
单元测试(模块测试)是开发者编写的一小段代码，用于检验被测代码的一个很小的、很明确的功能是否正确。
通常而言，一个单元测试是用于判断某个特定条件(或者场景)下某个特定函数的行为。
集成测试(也叫组装测试，联合测试)是单元测试的逻辑扩展。
它的最简单的形式是：两个已经测试过的单元组合成一个组件，并且测试它们之间的接口。
从这一层意义上讲，组件是指多个单元的集成聚合。
在现实方案中，许多单元组合成组件，而这些组件又聚合成程序的更大部分。
方法是测试片段的组合，并最终扩展进程，将您的模块与其他组的模块一起测试。
最后，将构成进程的所有模块一起测试。
系统测试是将经过测试的子系统装配成一个完整系统来测试。
它是检验系统是否确实能提供系统方案说明书中指定功能的有效方法。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
1、在白盒测试用例设计中，有语句覆盖、分支覆盖、条件覆盖、路径覆盖等，其中（ A ）是最强的覆盖准则。为了对如下图所示的程序段进行覆盖测试，必须适当地选取测试用例组。若x, y是两个变量，可供选择的测试用例组共有Ⅰ、Ⅱ、Ⅲ、Ⅳ四组，如表中给出，则实现判定覆盖至少应采取的测试用例组是（ B ）或（ C ）；实现条件覆盖至少应采取的测试用例组是（ D ）；实现路径覆盖至少应采取的测试用例组是（ E ）或（ F ）。
供选择的答案 A：① 语句覆盖 ② 条件覆盖 ③ 判定覆盖 ④ 路径覆盖 B～F:① Ⅰ和Ⅱ组 ② Ⅱ和Ⅲ组 ③ Ⅲ和Ⅳ组 ④ Ⅰ和Ⅳ组 ⑤ Ⅰ、Ⅱ、Ⅲ组 ⑥ Ⅱ、Ⅲ、Ⅳ组 ⑦ Ⅰ、Ⅲ、Ⅳ组 ⑧ Ⅰ、Ⅱ、Ⅳ组
解答：A. ④ B. ⑤ C. ⑧ D. ④ E. ⑤ F. ⑧
2. 阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于（a,b,c）的输入值可以达到条件覆盖。（ B ） int func(int a,b,c) { int k=1; if ( (a>0) || (b<0) || (a+c>0) ) k=k+a; else k=k+b; if (c>0) k=k+c; return k; } A. (a,b,c) = (3,6,1)、(-4,-5,7) B. (a,b,c) = (2,5,8)、(-4,-9,-5) C. (a,b,c) = (6,8,-2)、(1,5,4) D. (a,b,c) = (4,9,-2)、(-4,8,3) 3. 阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于（a,b,c）的输入值可以达到判定覆盖。（ D ） int func(int a,b,c) { int k=1; if ( (a>0) &&(b<0) && (a+c>0) ) k=k+a; else k=k+b; if (c>0) k=k+c; return k; } A. (a,b,c) = (3,6,1)、(-4,-5,7) B. (a,b,c) = (2,5,8)、(-4,-9,-5) C. (a,b,c) = (6,8,-2)、(1,5,4) D. (a,b,c) = (4,-9,-2)、(-4,8,3)
4. 阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于（a,b,c）的输入值可以达到判定条件覆盖。（ B ） int func(int a,b,c) { int k=1; if ( (a>0) || (b<0) || (a+c>0) ) k=k+a; else k=k+b; if (c>0) k=k+c; return k; } A. (a,b,c) = (3,6,1)、(-4,-5,7) B. (a,b,c) = (2,-5,8)、(-4,9,-5) C. (a,b,c) = (6,8,-2)、(1,5,4) D. (a,b,c) = (4,9,-2)、(-4,8,3)
5、下面是一段求最大值的程序，其中datalist是数据表，n是datalist的长度。 int GetMax(int n, int datalist[ ]) { int k=0; for ( int j=1; jif ( datalist[j] > datalist[k] ) k=j; return k; } （1） 画出该程序的控制流图，并计算其McCabe环路复杂性。 （2） 用基本路径覆盖法给出测试路径。 （3） 为各测试路径设计测试用例。
答： 1 int k = 0; 2 int j = 1; 3 while ( j < n ) 4 { 5 if ( datalist[j] > datalist[k] ) 6 k = j; 7 j++; 8 } 9 return k;
控制流图如上，McCabe环路复杂性为3。 2. 测试路径： Path1： 2→3 →9 Path2： 2→3→5→6→7 →8→3→9 Path3： 2→3→5→7 →8→3→9 3. 测试用例： Path1： 取n=1，datalist[0] = 1， 预期结果：k=0 Path2： 取n=2，datalist[0] = 1，datalist[1] = 0， 预期结果：k=0 Path3： 取n=2，datalist[0] = 0，datalist[1] = 1， 预期结果：k=1
6、下面是选择排序的程序，其中datalist是数据表，它有两个数据成员：一是元素类型为Element的数组V，另一个是数组大小n。算法中用到两个操作，一是取某数组元素V[i]的关键码操作getKey ( )，一是交换两数组元素容的操作Swap( )： void SelectSort ( datalist & list ) { //对表list.V[0]到list.V[n-1]进行排序, n是表当前长度。 for ( int i = 0; i < list.n-1; i++ ) { int k = i; //在list.V[i].key到list.V[n-1].key中找具有最小关键码的对象 for ( int j = i+1; j < list.n; j++) if ( list.V[j].getKey ( ) < list.V[k].getKey ( ) ) k = j; //当前具最小关键码的对象 if ( k != i ) Swap ( list.V[i], list.V[k] );//交换 } } (1) 试计算此程序段的McCabe复杂性； (2) 用基本路径覆盖法给出测试路径； (3) 为各测试路径设计测试用例。
解答：(1) 1 int i = 0; 2 while ( i < list.n-1 ) 3 { int k = i; 4 int j = i+1; 5 while ( j < list.n ) 6 { if ( list.V[j].getKey ( ) < list.V[k].getKey ( ) ) 7 k = j; 8 j++; 9 } 10 if ( k != i ) 11 Swap ( list.V[i], list.V[k] ); 12 i++; 13 } 14
1 2 14 3 5 6 7 8 9 10 11 12 13 McCabe环路复杂性 = 5 (2) 独立路径有5条： Path1： 1→2→14 Path2： 1→2→3→5→10→11→12→13→2→14 Path3： 1→2→3→5→10→12→13→2→14
Path4: 1→2→3→5→6→7→8→9→5→10→11→12→13→2→14
Path5: 1→2→3→5→6→8→9→5→10→11→12→13→2→14 ①③ ①②⑤⑧…… ①②⑤⑨…… ①②④⑥…… ①②④⑦…… (3) 为各测试路径设计测试用例: Path1： 取n = 1 路径①②⑤⑧……：取n = 2, 预期结果：路径⑤⑧③不可达 路径①②⑤⑨……：取n = 2, 预期结果：路径⑤⑨③不可达 路径①②④⑥⑤⑧③： 取n = 2, V[0] = 2, V[1] = 1, 预期结果：k = 1, V[0] = 1, V[1] = 2 路径①②④⑥⑤⑨③： 取n = 2, V[0] = 2, V[1] = 1, 预期结果：k = 1, 路径⑨③不可达 路径①②④⑦⑤⑧③： 取n = 2, V[0] = 1, V[1] = 2, 预期结果：k = 0, 路径⑧③不可达 路径①②④⑦⑤⑨③： 取n = 2, V[0] = 1, V[1] = 2, 预期结果：k = 0, V[0] = 1, V[1] = 2
7、下面是快速排序算法中的一趟划分算法，其中datalist是数据表，它有两个数据成员：一是元素类型为Element的数组V，另一个是数组大小n。算法中用到两个操作，一是取某数组元素V[i]的关键码操作getKey ( )，一是交换两数组元素容的操作Swap( )： int Partition ( datalist &list, int low, int high ) { //在区间[ low, high ]以第一个对象为基准进行一次划分，k返回基准对象回放位置。 int k = low; Element pivot = list.V[low]; //基准对象 for ( int i = low+1; i <= high; i++ ) //检测整个序列，进行划分 if ( list.V[i].getKey ( ) < pivot.getKey( ) && ++ k != i ) Swap ( list.V[k], list.V[i] );//小于基准的交换到左侧去 Swap ( list.V[low], list.V[k] );//将基准对象就位 return k; //返回基准对象位置 } (1) 试画出它的程序流程图； (2) 试利用路径覆盖方法为它设计足够的测试用例（循环次数限定为0次，1次和2次）。
解答：（1）流程图如下。