练习题-白盒法 测试用例
软件测试-白盒测试用例练习题
白盒测试用例练习一、为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。
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。
白盒和黑盒测试用例测试题目
一、问题：报表日期等价类划分和边界值分析设某公司要打印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中列出的输入条件和输出结果的字母编号填入到空白框中相应的位置。
四、有一个在线购物的实例，用户进入一个在线购物网站进行购物，选购物品
后，进行在线购买，这时需要使用帐号登录，登录成功后，进行付钱交易，交易成功后，生成订购单，完成整个购物过程。
五、根据如下流程图，写出白盒测试测试用例。
(完整版)白盒测试练习及答案
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）的输入值可以达到判定条件覆盖。
白盒测试案例
白盒测试案例白盒测试是软件测试中的一种重要测试方法，它主要针对软件内部结构进行测试，旨在检验程序中的逻辑错误、代码覆盖率和路径覆盖等问题。
下面我们将通过几个具体的案例来介绍白盒测试的应用和方法。
案例一，函数逻辑测试。
假设我们有一个简单的函数，用于计算两个整数的和。
在进行白盒测试时，我们需要考虑函数的各种可能输入和边界情况。
比如，输入为正数、负数、零等不同情况下，函数的返回值是否符合预期；输入边界情况下，比如最大值、最小值、边界值加一等情况下，函数是否能够正确处理。
同时，我们还需要测试函数的异常情况，比如输入非整数、输入为空等情况下，函数是否能够正确处理并给出合理的错误提示。
案例二，条件覆盖测试。
在一个复杂的程序中，通常会存在多个条件判断的情况，这时候我们需要进行条件覆盖测试来确保程序的每个条件都能够得到正确的覆盖。
比如，一个函数中包含了多个if-else语句，我们需要设计测试用例，使得每个条件都能够被至少一次触发，以确保程序的完整性和准确性。
在进行条件覆盖测试时，我们需要考虑各种可能的组合情况，以及条件的嵌套关系，确保每个条件都能够得到充分的测试覆盖。
案例三，路径覆盖测试。
路径覆盖测试是白盒测试中的一种重要方法，它旨在测试程序中的各个路径是否都能够被正确执行。
在进行路径覆盖测试时，我们需要分析程序的控制流图，找出所有可能的执行路径，并设计测试用例来覆盖这些路径。
通过路径覆盖测试，我们可以发现程序中隐藏的逻辑错误和潜在的漏洞，提高程序的稳定性和可靠性。
结语。
通过以上几个具体的案例，我们可以看到白盒测试在软件开发中的重要性和应用价值。
在进行白盒测试时，我们需要充分理解程序的内部结构和逻辑，设计合理的测试用例，确保程序的各个部分都能够得到充分的覆盖和测试，从而提高程序的质量和稳定性。
希望本文能够帮助大家更好地理解白盒测试，并在实际工作中加以应用。
白盒测试试题答案
先看以下代码：/** 白盒测试逻辑覆盖测试范例*/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.按照某种覆盖标准，选择一组需要覆盖的路径；2.确定上述路径所需的输入数据；3.计算与输入数据相应的输出。
下面以工资管理程序为例说明白盒测试方法的运用过程。
（白盒测试方法有6种）工资管理程序BONUS的输入数据是职员表（Employee Table）和部门销售表（Department Table）（图1）。
职员表由姓名（Name）、职务（Job）、部门（Dept.）和工资（Salary）四个属性组成。
部门销售表由部门(Dept)和销售量（Sales）组成。
程序的功能是：“为销售量最大的部门中每一个职工增加200元工资，但是，如果某个职员的原有工资已达15000元，或者他的职务是经理，则只给他增加100元。
如果程序能正常地完成，则输出出错码0；如果两表格中没有任何条目，则输出出错码1；如果没有职员在部门销售表中销售量最大的部门中工作，则输出出错码2；”工资管理程序BONUS的两个表如下：工资管理程序BONUS的源程序：参数表中EMPTAB、DEPTTAB分别是职员表和部门表，ESIZE、DSIZE分别是两个表的长度，ERRCODE是出错码。
这里略去了说明部分和注释。
Procedure Bonus(EMPTAB,DEPTTAB:TABLE; ESIZE,DSIZE,ERRCODE:INTEGER);/*最大销量和出错码初始化*/1. Begin MAXSALES:=0; ERRCODE:=0;/*判断表是否为空，空输出1，并退出程序，否则继续执行*/2. IF (ESIZE<=0) or (DSIZE<=0)3. THEN ERRCODE:=1;4. ELSE/*获得最大销量*/5. For i=1 to DSIZE6. If Sales(i)> MAXSALES7. then MAXSALES = Sales(i);/*找到销量最大的每一个部门，并做进一步处理*/8. For j=1 to DSIZE9. If Sales(j)= MAXSALES10. Then11. Begin Found:=False;/*找销量最大的职员所属部门对应的职员表中的职员并处理*/12. For k:=1 to ESIZE13. If (EMPTAB.DEPT(k)= DEPTTAB. DEPT(J))14. Then15. Begin Found:=True;/*如果该职员工资超过15000或职务是经理则加100工资，否则加200工资*/16. If (SALARY(k)>=15000.0) or (JOB(k)=”M”)17. Then18. SALARY(k):= SALARY(k)+100.0;19. Else20. SALARY(k):= SALARY(k)+200.0;21. End;/*如果找不到对应职员，则输出出错码2,否则出错码默认0*/22. If (!Found ) then ERRORCODE:=2;23. End24. End25. End用白盒测试方法设计测试用例。
白盒测试方法习题及答案
[试题分类]:[04]白盒测试方法/[0400][综合]白盒测试方法1.下面不属于白盒测试能保证的是。
A.模块中所有独立途径至少测试一次B.测试所以逻辑决策真和假两个方面C.在所有循环的边界内部和边界上执行循环体D.不正确或漏掉的功能答案:D分数:1题型:单选题难度:12.因果图方法是根据（）之间的因果关系来设计测试用例的。
A.输入与输出B.设计与实现C.条件与结果D.主程序与子程序答案:A分数:1题型:单选题难度:13.使用白盒测试方法时，确定测试数据应根据（）和指定的覆盖标准。
A.程序的内部逻辑B.程序的复杂程度C.使用说明书D.程序的功能答案:A分数:1题型:单选题难度:14.软件测试中常用的静态分析方法是（）和接口分析。
A.引用分析B.算法分析C.可靠性分析D.效率分析答案:A分数:1题型:单选题难度:15.软件测试中常用的静态分析方法是引用分析和（）。
A.引用分析B.算法分析C.可靠性分析D.接口分析答案:D分数:1题型:单选题难度:16.白盒方法中常用的方法是（）方法。
A.路径测试B.等价类C.因果图D.归纳测试答案:A分数:1题型:单选题难度:17.在软件工程中，白箱测试法可用于测试程序的内部结构。
此方法将程序看作是（）A.路径的集合B.循环的集合C.目标的集合D.地址的集合答案:A分数:1题型:单选题难度:18.软件测试白箱测试是对软件的结构进行测试，下述：Ⅰ.边缘值分析Ⅱ.语句测试Ⅲ.分值测试Ⅳ.路经测试（）是其应包括的内容。
A.ⅠB.Ⅱ和ⅢC.Ⅲ和ⅣD.Ⅱ.Ⅲ和Ⅳ答案:D分数:1题型:单选题难度:19.在进行单元测试时，常用的方法是（）。
A.采用白盒测试，辅之以黑盒测试B.采用黑盒测试，辅之以白盒测试C.只适用白盒测试D.只适用黑盒测试答案:A分数:1题型:单选题难度:110.白盒测试法一般使用于（）测试。
A.单元B.系统C.集成D.确认答案:A分数:1题型:单选题难度:1[试题分类]:[04]白盒测试方法/[0401]逻辑覆盖法11.关于条件测试错误的是（）A.可以检查程序中所包含的逻辑条件B.条件中包含的错误有布尔算子错误C.条件中包含的错误有布尔变量错误D.条件中包含的错误有接口错误答案:D分数:1题型:单选题难度:112.关于条件中包含的错误类型说法错误的是（）A.关系算子错误B.算术表达式错误C.条件中包含的错误有布尔变量错误D.条件中包含的错误有接口错误答案:D分数:1题型:单选题难度:113.语句覆盖.判定覆盖.条件覆盖和路径覆盖都是白盒测试法设计测试用例的覆盖准则，在这些覆盖准则中最弱的准则是（）。
白盒测试及例题
基本路径测试
• 前提条件 测试进入的前提条件是在测试人员 已经对被测试对象有了一定的了解，基 本上明确了被测试软件的逻辑结构。 • 测试过程 过程是通过针对程序逻辑结构设计 和加载测试用例，驱动程序执行，以对 程序路径进行测试。测试结果是分析实 际的测试结果与预期的结果是否一致。
基本路径测试
• 在程序控制流图的基础上，通过分析控制构造的环 路复杂性，导出基本可执行路径集合，从而设计测 试用例。包括以下4个步骤和一个工具方法： 1. 程序的控制流图：描述程序控制流的一种图示 方法。 2. 程序圈复杂度：McCabe复杂性度量。从程序的 环路复杂性可导出程序基本路径集合中的独立 路径条数，这是确定程序中每个可执行语句至 少执行一次所必须的测试用例数目的上界。 3. 导出测试用例：根据圈复杂度和程序结构设计 用例数据输入和预期结果。 4. 准备测试用例：确保基本路径集中的每一条路
条件组合覆盖
• 针对上述问题又提出了另一种标准——―条 件组合覆盖”。它的含义是：执行足够的 例子，使得每个判定中条件的各种可能组 合都至少出现一次。显然，满足“条件组 合覆盖”的测试用例是一定满足“分支覆 盖”、“条件覆盖”和“分支/条件覆盖” 的。
条件组合覆盖
再看例1的程序，我们需要选择适当 的例子，使得下面 8种条件组合都能 够出现：
基本路径测试
工具方法： 图形矩阵：是在基本路径测试中起辅 助作用的软件工具，利用它可以实现自 动地确定一个基本路径集。
控制流图的符号
• 在介绍基本路径方法之前，必须先介绍一种简单的 控制流表示方法，即流图。流图是对待测试程序过 程处理的一种表示。流图使用下面的符号描述逻辑 控制流，每一种结构化构成元素有一个相应的流图 符号。
• • • • 白盒测试概念 测试覆盖标准 逻辑驱动测试 基本路径测试
白盒测试六种覆盖方式例题
白盒测试六种覆盖方式例题在软件开发过程中，白盒测试是一种非常重要的测试方法，通过分析代码的内部结构来评估系统的可靠性和健壮性。
为了充分覆盖测试用例，可以采用不同的覆盖方式，以确保软件系统的质量。
以下是白盒测试中常用的六种覆盖方式，每种方式附带一个例题进行说明：1. 语句覆盖（Statement Coverage）语句覆盖要求执行每个代码语句至少一次。
例如，有以下代码片段：public int getMax(int a, int b) {if (a > b) {return a;} else {return b;}}针对这段代码，语句覆盖要求必须覆盖到每一行代码，即至少执行一次if和else两个语句。
2. 判定覆盖（Decision Coverage）判定覆盖要求覆盖到每个判定的取值，确保能够执行每个判定的两个结果，即覆盖真假两种情况。
例如，在上面的代码中，判定覆盖要求要同时覆盖到a > b和a <= b两种情况。
3. 条件覆盖（Condition Coverage）条件覆盖要求覆盖每个条件的每种可能取值。
以上述代码为例，条件覆盖要求执行四次测试用例，分别为a > b，a <= b，a < b，a >= b。
4. 路径覆盖（Path Coverage）路径覆盖要求覆盖到每个可能的执行路径。
例如，对于下面这段代码：```java public int divide(int dividend, int divisor) { if (divisor == 0) { throw new IllegalArgumentException(。
白盒测试及例题
测试覆盖标准
– 条件组合覆盖：执行足够的例子，使得 每个判定中条件的各种可能组合都至少 出现一次。
这是一种相当强的覆盖准则，可以 有效地检查各种可能的条件取值的组合 是否正确。它不但可覆盖所有条件的可 能取值的组合，还可覆盖所有判断的可 取分支，但可能有的路径会遗漏掉。测 试还不完全。
白盒测试的主要方法：
– 判定覆盖（也称为分支覆盖）：执行足够的 测试用例，使得程序中的每一个分支至少都 通过一次。 判定覆盖只比语句覆盖稍强一些，但实 际效果表明，只是判定覆盖，还不能保证一 定能查出在判断的条件中存在的错误。因此， 还需要更强的逻辑覆盖准则去检验判断内部 条件。
– 条件覆盖：执行足够的测试用例，使程序中 每个判断的每个条件的每个可能取值至少执 行一次； 条件覆盖深入到判定中的每个条件，但 可能不能满足判定覆盖的要求。
① 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语句等。所以“分支覆盖”更一般的 含义是：使得每一个分支获得每一种可能的结 果。
测试覆盖标准
– 判定/条件覆盖：执行足够的测试用例，使得判 定中每个条件取到各种可能的值，并使每个判定 取到各种可能的结果。
判定/条件覆盖有缺陷。从表面上来看，它测 试了所有条件的取值。但是事实并非如此。往往 某些条件掩盖了另一些条件。会遗漏某些条件取 值错误的情况。为彻底地检查所有条件的取值， 需要将判定语句中给出的复合条件表达式进行分 解，形成由多个基本判定嵌套的流程图。这样就 可以有效地检查所有的条件是否正确了。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
下面是选择排序的程序，其中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）McCabe复杂性为：
V(G)=判定节点数+1=4+1=5
（2）用基本路径覆盖法给出测试路径：
从以上程序图中确定无关的基本路径：Path1:0-1-2-12
Path2: 0-1-2-3-4-5-9-11
Path3: 0-1-2-3-4-5-9-10-11
Path4: 0-1-2-3-4-5-6-8
Path5: 0-1-2-3-4-5-6-7-8
（3）为各测试路径设计测试用例：
由于节点2和节点5判定条件是等价的，所以Path2和Path3不可直达。
A={1},n=1
路径：0-1-2-12
A={1,2},n=2
路径：0-1-2-3-4-5-6-8-5-9-11-2-12
A={2,1},n=2
路径：0-1-2-3-4-5-6-7-8-5-9-10-11-2-12
A={1,3,2 },n=3
路径：0-1-2-3-4-5-6-8-5-9-11-2-3-4-5-6-7-8-5-9-10-11-2-12。