白盒测试练习及答案
软件测试-白盒测试用例练习题
白盒测试用例练习一、为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。
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;} //语句块2 j=j%3; //语句块3 } a Y cN b eYx>3 and x=4 ork=x*y-1 k=0Nd由这个流程图可以看出，该程序模块有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、 语句覆盖测试用例输入输出判定M 的取值判定N 的取值覆盖路径x=4,z=5,y=8 k=31,j=0 TTP1(a-c-e) 2、判定覆盖p1和p4可以作为测试用例，其中p1作为取真的路径，p4作为取反的路径。
测试用例输入 输出 判定M 的取值判定N 的取值覆盖路径x=4,z=5,y=8k=31,j=0TTP1(a-c-e) x=2,z=11,y =5k=0,j=0FFP4(a-b-d)也可以让测试用例测试路径P2和P3。
相应的两组输入数据如下： 测试用例输输出判定M 的取判定N 的取覆盖路径j=j%3j=x*y+1入值值x=5,z=5,y= 4 k=19,j=sqrt(19)%3T F P2(a-c-d)x=4,z=11,y=6k=0,j=1 F T P3(a-b-e)3、条件覆盖对于M：x>3取真时T1，取假时F1;z<10取真时T2，取假时F2；对于N：x=4取真时T3，取假时F3;y>5取真时T4，取假时F4。
(完整版)白盒测试练习及答案
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）的输入值可以达到判定条件覆盖。
软件工程白盒测试练习及解答
白盒测试练习1、什么是白盒测试？白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。
这一方法是把测试对象看作一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。
2、什么是测试用例？一组由前提条件、输入、执行条件、预期结果等组成，以完成对某个特定需求或者目标测试的数据，体现测试方案、方法、技术和策略的文档3、写出以上程序的所有路径；L1(1->2->3)L2(1->4->5->3)L3(1->2->6->7)L4(1->4->5->6->7)4、尝试用表格的形式描述满足以下情况的测试用例：a)写出满足语句覆盖需要的测试用例；解：语句覆盖就是程序中每一个语句至少能被执行一次运行结果b)写出满足判定覆盖（分支覆盖）需要的测试用例；解：判定覆盖就是程序中每个判定至少有一次为真值，有一次为假值,使得程序中每个分支至少执行一次运行结果c) 写出满足条件覆盖需要的测试用例；解：条件覆盖是程序各判定中的每个条件获得各种可能的取值至少满足一次运行结果d) 写出满足判定/条件覆盖需要的测试用例；解：判定/条件覆盖是程序中每个判定至少有一次为真值，有一次为假值,使得程序中每个分支至少执行一次，且使得各判定中的每个条件获得各种可能的取值至少满足一次。
运行结果e) 写出满足条件组合覆盖需要的测试用例。
解：条件组合覆盖是判定中条件的各种组合都至少被执行一次运行结果更改逻辑运算符以条件组合覆盖测试用例进行测试运行结果。
白盒测试试题答案
先看以下代码：/** 白盒测试逻辑覆盖测试范例*/int logicExample(int x, int y){int magic=0;if(x>0 && y>0){magic = x+y+10; // 语句块1}else{magic = x+y-10; // 语句块2}if(magic < 0){magic = 0; // 语句块3}return magic; // 语句块4}解答：一般做白盒测试不会直接根据源代码，而是根据流程图来设计测试用例和编写测试代码，在没有设计文档时，要根据源代码画出流程图：做好了上面的准备工作，接下来就开始讲解六个逻辑覆盖标准：一、语句覆盖1、概念：设计足够多的测试用例，使得被测试程序中的每条可执行语句至少被执行一次。
在本例中，可执行语句是指语句块1到语句块4中的语句。
2、测试用例：{x=3, y=3}可以执行到语句块1和语句块4，所走的路径：a-b-e-f{x=-3, y=0}可以执行到语句块2、语句块3和语句块4，所走的路径：a-c-d-f这样，通过两个测试用例即达到了语句覆盖的标准，当然，测试用例（测试用例组）并不是唯一的。
3、测试的充分性：假设第一个判断语句if(x>0 && y>0)中的“&&”被程序员错误地写成了“||”，即if(x>0 || y>0)，使用上面设计出来的一组测试用例来进行测试，仍然可以达到100%的语句覆盖，所以语句覆盖无法发现上述的逻辑错误。
在六种逻辑覆盖标准中，语句覆盖标准是最弱的。
二、判断覆盖（分支覆盖）1、概念：设计足够多的测试用例，使得被测试程序中的每个判断的“真”、“假”分支至少被执行一次。
在本例中共有两个判断if(x>0 && y>0)（记为P1）和if(magic < 0)（记为P2）。
2、测试用例：两个判断的取真、假分支都已经被执行过，所以满足了判断覆盖的标准。
实验2-1-答案
白盒测试用例练习
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；
｝//语句块2
j=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〈=5
5、组合覆盖
条件组合
1）x>3,z〈10 2)x>3,z〉=10
3) x〈=3，z<10 4）x〈=3,z〉=10
5）x=4，y〉5 6)x=4,y<=5
6。
白盒测试及例题
基本路径测试
• 前提条件 测试进入的前提条件是在测试人员 已经对被测试对象有了一定的了解，基 本上明确了被测试软件的逻辑结构。 • 测试过程 过程是通过针对程序逻辑结构设计 和加载测试用例，驱动程序执行，以对 程序路径进行测试。测试结果是分析实 际的测试结果与预期的结果是否一致。
基本路径测试
• 在程序控制流图的基础上，通过分析控制构造的环 路复杂性，导出基本可执行路径集合，从而设计测 试用例。包括以下4个步骤和一个工具方法： 1. 程序的控制流图：描述程序控制流的一种图示 方法。 2. 程序圈复杂度：McCabe复杂性度量。从程序的 环路复杂性可导出程序基本路径集合中的独立 路径条数，这是确定程序中每个可执行语句至 少执行一次所必须的测试用例数目的上界。 3. 导出测试用例：根据圈复杂度和程序结构设计 用例数据输入和预期结果。 4. 准备测试用例：确保基本路径集中的每一条路
条件组合覆盖
• 针对上述问题又提出了另一种标准——―条 件组合覆盖”。它的含义是：执行足够的 例子，使得每个判定中条件的各种可能组 合都至少出现一次。显然，满足“条件组 合覆盖”的测试用例是一定满足“分支覆 盖”、“条件覆盖”和“分支/条件覆盖” 的。
条件组合覆盖
再看例1的程序，我们需要选择适当 的例子，使得下面 8种条件组合都能 够出现：
基本路径测试
工具方法： 图形矩阵：是在基本路径测试中起辅 助作用的软件工具，利用它可以实现自 动地确定一个基本路径集。
控制流图的符号
• 在介绍基本路径方法之前，必须先介绍一种简单的 控制流表示方法，即流图。流图是对待测试程序过 程处理的一种表示。流图使用下面的符号描述逻辑 控制流，每一种结构化构成元素有一个相应的流图 符号。
• • • • 白盒测试概念 测试覆盖标准 逻辑驱动测试 基本路径测试
白盒测试及例题
测试覆盖标准
– 条件组合覆盖：执行足够的例子，使得 每个判定中条件的各种可能组合都至少 出现一次。
这是一种相当强的覆盖准则，可以 有效地检查各种可能的条件取值的组合 是否正确。它不但可覆盖所有条件的可 能取值的组合，还可覆盖所有判断的可 取分支，但可能有的路径会遗漏掉。测 试还不完全。
白盒测试的主要方法：
– 判定覆盖（也称为分支覆盖）：执行足够的 测试用例，使得程序中的每一个分支至少都 通过一次。 判定覆盖只比语句覆盖稍强一些，但实 际效果表明，只是判定覆盖，还不能保证一 定能查出在判断的条件中存在的错误。因此， 还需要更强的逻辑覆盖准则去检验判断内部 条件。
– 条件覆盖：执行足够的测试用例，使程序中 每个判断的每个条件的每个可能取值至少执 行一次； 条件覆盖深入到判定中的每个条件，但 可能不能满足判定覆盖的要求。
① A=3，B=0，X=1 (沿路径acd执行)； ② A=2，B=1，X=3(沿路径abe执行)
分支覆盖
A=3，B=0，X=1 (沿路径
判定覆盖
分支覆盖
程序中含有判定的语句包括IF-THENELSE、DO-WHILE、REPEAT-UNTIL等，除了 双值的判定语句外，还有多值的判定语句，如 PASCAL中的CASE语句、FORTRAN中带有三 个分支的IF语句等。所以“分支覆盖”更一般的 含义是：使得每一个分支获得每一种可能的结 果。
测试覆盖标准
– 判定/条件覆盖：执行足够的测试用例，使得判 定中每个条件取到各种可能的值，并使每个判定 取到各种可能的结果。
判定/条件覆盖有缺陷。从表面上来看，它测 试了所有条件的取值。但是事实并非如此。往往 某些条件掩盖了另一些条件。会遗漏某些条件取 值错误的情况。为彻底地检查所有条件的取值， 需要将判定语句中给出的复合条件表达式进行分 解，形成由多个基本判定嵌套的流程图。这样就 可以有效地检查所有的条件是否正确了。
白盒测试逻辑覆盖练习题
白盒测试逻辑覆盖练习题一、语句覆盖if (a > 0 && b > 0) {c = a + b;} else {c = 0;}def check_age(age):if age < 18:return "未成年"elif age >= 18 and age < 60:return "成年人"else:return "老年人"二、分支覆盖if (x > 0) {if (y > 0) {printf("第一象限");} else {printf("第四象限");}} else {if (y > 0) {printf("第二象限");} else {printf("第三象限");}}function calculateGrade(score) {if (score >= 90) {return 'A';} else if (score >= 80) {return 'B';} else if (score >= 70) {return 'C';} else {return 'D';}}三、路径覆盖public int calculate(int a, int b) { if (a > 0) {if (b > 0) {return a + b;} else {return a b;}} else {if (b > 0) {return b a;} else {return 0;}}}public int Max(int a, int b, int c) { if (a > b) {if (a > c) {return a;} else {return c;}} else {if (b > c) {return b;} else {return c;}}}四、条件覆盖def check_password(password):if len(password) >= 8 and any(char.isdigit() for char in password):return "密码强度高"else:return "密码强度低"function validateForm(username, password) {if (username.length > 0 && password.length > 0) { return true;} else {return false;}}五、判定条件覆盖public boolean isEligible(int age, boolean hasLicense) {if (age >= 18 && hasLicense) {return true;} else {return false;}}int isPrime(int num) {if (num <= 1) {return 0;}for (int i = 2; i < num; i++) {if (num % i == 0) {return 0;}}return 1;}六、多条件覆盖public string GetGrade(int score, bool isFinalExam) { if (score >= 90 || (isFinalExam && score >= 80)) { return "A";} else if (score >= 80 || (isFinalExam && score >= 70)) {return "B";} else if (score >= 70 || (isFinalExam && score >= 60)) {return "C";} else {return "D";}}return "Eligible";} else {return "Not Eligible";}}七、条件组合覆盖def check_login(username, password, is_admin):if (username == "admin" or username == "user") and password == "56" and not is_admin:return "User logged in";elif (username == "admin" and is_admin) and password == "admin123":return "Admin logged in";else:return "Invalid credentials";public String authenticate(String username, String password, boolean hasTwoFactor) {if (username.equals("admin") &&password.equals("admin123") && hasTwoFactor) {return "Admin access granted";} else if (username.equals("user") &&password.equals("user123") && !hasTwoFactor) {return "User access granted";} else {return "Access denied";}}八、路径条件覆盖void processOrder(int quantity, float discount) {if (quantity > 10) {if (discount < 0.1) {printf("Order processed with standard discount");} else {printf("Order processed with special discount");}} else {printf("Order processed without discount");}}function calculateTotal(price, isMember, hasCoupon) { let total = price;if (isMember) {total = 0.9; // 10% discount for members}if (hasCoupon) {total = 0.95; // Additional 5% discount for coupon}return total;}九、修改条件/判定覆盖def upgrade_account(user_type, points):if user_type == "basic" and points >= 100:return "Upgrade to premium"elif user_type == "premium" and points >= 200:return "Upgrade to elite"else:return "No upgrade available"public String checkSubscription(String type, int duration) {if (type.equals("monthly") && duration >= 6) {return "Eligible for annual plan";} else if (type.equals("annual") && duration >= 12) {return "Eligible for lifetime plan";} else {return "Continue current plan";}}答案一、语句覆盖1. 测试用例：a=1, b=1；a=1, b=12. 测试用例：age=15；age=25；age=65二、分支覆盖1. 测试用例：x=1, y=1；x=1, y=1；x=1, y=1；x=1, y=12. 测试用例：score=95；score=85；score=75；score=65三、路径覆盖1. 测试用例：a=1, b=1；a=1, b=1；a=1, b=1；a=1, b=12. 测试用例：a=10, b=5, c=3；a=5, b=10, c=8；a=5, b=5, c=10；a=3, b=3, c=3四、条件覆盖1. 测试用例：password="567"；password=""2. 测试用例：username="test", password="pass"；username="", password=""五、判定条件覆盖1. 测试用例：age=20, hasLicense=True；age=17, hasLicense=False2. 测试用例：num=2；num=1；num=0；num=1六、多条件覆盖1. 测试用例：score=95, isFinalExam=False；score=85, isFinalExam=True；score=75, isFinalExam=False；score=65, isFinalExam=True七、条件组合覆盖1. 测试用例：username="admin", password="admin123",is_admin=False；username="user", password="56",is_admin=False；username="admin", password="admin123",is_admin=True2. 测试用例：username="admin", password="admin123", hasTwoFactor=True；username="user", password="user123", hasTwoFactor=False；username="admin", password="wrong", hasTwoFactor=True八、路径条件覆盖1. 测试用例：quantity=15, discount=0.05；quantity=8, discount=0.05；quantity=15, discount=0.22. 测试用例：price=100, isMember=True, hasCoupon=True；price=100, isMember=False, hasCoupon=False；price=100, isMember=True, hasCoupon=False九、修改条件/判定覆盖1. 测试用例：user_type="basic", points=50；user_type="basic", points=150；user_type="premium",points=150；user_type="premium", points=2502. 测试用例：type="monthly", duration=3；type="monthly", duration=9；type="annual", duration=9；type="annual", duration=15。
- 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; j<n; j++ )if ( 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 →9Path2：2→3→5→6→7 →8→3→9Path3：2→3→5→7 →8→3→93. 测试用例：Path1：取n=1，datalist[0] = 1，预期结果：k=0Path2：取n=2，datalist[0] = 1，datalist[1] = 0，预期结果：k=0Path3：取n=2，datalist[0] = 0，datalist[1] = 1，预期结果：k=16、下面是选择排序的程序，其中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 }141213McCabe环路复杂性 = 5(2) 独立路径有5条：Path1： 1→2→14Path2： 1→2→3→5→10→11→12→13→2→14Path3： 1→2→3→5→10→12→13→2→14Path4:1→2→3→5→6→7→8→9→5→10→11→12→13→2→14Path5: 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] = 27、下面是快速排序算法中的一趟划分算法，其中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）流程图如下。
(2) 测试用例设计8、下面是一段插入排序的程序，将R[k+1]插入到R[1…k]的适当位置。
R[0] = R[k+1];j = k;while (R[j] > R[0]){R[j+1] = R[j];j--;}R[j+1] = R[0];用路径覆盖方法为它设计足够的测试用例（while循环次数为0、1、2次）。
答：画出该程序的流程图：测试用例设计：循环次数输入数据覆盖路径k R[1]R[2]R[0]路径0112①③1 1 21①②③2 2 231①②②③。