白盒测试方法习题及问题详解

[ 试题分类 ]: [04]白盒测试方法/[0400][综合]白盒测试方法1.下边不属于白盒测试能保证的是。

A. 模块中所有独立门路起码测试一次B. 测试所以逻辑决议真和假两个方面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.采纳黑盒测试，辅之以白盒测试D.只合用黑盒测试答案 :A分数 :1题型 :单项选择题难度 :110. 白盒测试法一般使用于（）测试。

白盒测试练习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) 写出满足条件组合覆盖需要的测试用例。

解：条件组合覆盖是判定中条件的各种组合都至少被执行一次运行结果更改逻辑运算符以条件组合覆盖测试用例进行测试运行结果。

例题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用白盒测试方法设计测试用例。

Is 在白盒测试用例设计中，有语句覆盖、分支覆盖、条件覆盖、路径覆盖等，其中（A ） 是最强的覆盖准则。

为了对如下图所示的程序段进行覆盖测试,必须适当地选取瀬式用例组。

若x, y 是两个变呈,可供选择的测试用例组共有I 、□、皿、IV 四组，如表中给出,则实现判 走覆盖至少应采取的测试用例组是（B ）或（C ）;实现条件覆盖至少应采取的测试用 例组是（D ）;实现路径覆盖至少应采取的测试用例组是（E ）或（F ）。

供选择的答案 A :①语句覆盖②条件覆盖 ③判走覆盖④路径覆盖B 〜F:①I 和II 组 ②II 和m 组 ③ 皿和IV 组 ④I 和IV 组⑤I.⑧I 、□、in 组 ⑥□、皿、iv 组⑦I 、m 、iv 组 □、IV 组 解答：A.④ B •⑤ C.⑧D.④E.⑤F •⑧2•阅读下面这段程序#使用逻辑覆盖法进行测试，请问哪一组关于(a,b ，c )的输 入值可以达到条件覆盖。

(B )int func(int a f b,c) { int k=l;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) = (361)、(-4,-5,7)B. (a,b,c)二(2,5,8). (+c. (abc)二(6册2)、(154) D.⑻b,c)二(4禺2). (-4f8f3)3•阅读下面这段程序，使用逻辑覆盖法进行测试,请问哪一组关于(ab,c )的输入值可以达到判定覆盖。

(D )int func(int a z b,c){ int k=l;if ((a>0) &&(bvO) && (a+c>0)) k=k+a;else k二k+b;if (c>0) k二k+c;return k;}A.⑻b,c) = (361)、(-4,-5,7)B. (a,b,c) = (2,5,8)、(-4,-9,-5)c. (a f b f c) = (154) D. (a,b,c)二(4厂9厂2)、(-4,8,3)4•阅读下面这段程序,使用逻辑覆盖法进行测试，请问哪一组关于(a z b z c )的输入值可以达到判定条件覆盖。

覆盖率(白盒)测试(二)(总分96, 做题时间90分钟)一、选择题1.路径覆盖必定也满足______。

SSS_SINGLE_SELA 语句覆盖B 条件覆盖C 判定覆盖D 条件组合覆盖分值: 2答案:A2.设有一段程序如下：if((a==b) and ((c==d) or (e==f))) do S1else if((p==q) or (s==t)) do S2else do S3满足判定/条件覆盖的要求下，最少的测试用例数目是______。

SSS_SINGLE_SELA 6B 8C 3D 4分值: 2答案:C[分析] 判定/条件覆盖，就是设计足够的测试用例，使得判定语句中每个条件的所有可能取值至少评价一次，同时每个判定语句本身所有可能分支也至少评价一次。

本程序一共有两个判定语句和三条路径。

若以1代表某一个条件为真，0代表为假，则对于(a==b)、(c==d)、(e==f)、(p==q)、(s==t)这5个条件，取不同的真值组合，即可设计出相应的测试用例，达到判定/条件覆盖的要求。

在这里，先取(a==b)、(c==d)、(e==f)为101，(p==q)、(s==t)为任意值，然后取全部5个条件为010 11和010 00，即能达到判定/条件覆盖的要求。

3.在以下有关逻辑覆盖的说法中错误的是______。

SSS_SINGLE_SELA 所有满足条件组合覆盖标准的测试用例集，也满足路径覆盖的覆盖标准B 条件覆盖能够查出条件中包含的错误，但有时达不到判定覆盖的覆盖率要求C 路径覆盖的差错能力很强，但有时达不到条件组合覆盖的覆盖率要求D 判定覆盖包含了语句覆盖，但它不能保证每个错误条件都能检查出来分值: 2答案:A[分析] 满足了条件覆盖，并不一定满足判定覆盖。

尽管路径覆盖比判定/条件覆盖更强，但是路径覆盖并不一定能包含判定/条件覆盖。

4.下列几种逻辑覆盖标准中，设计足够的测试用例，运行被测程序，使得程序中所有可能的路径至少执行一次，称为______。

1407040248_周⽴群_⽩盒测试试题详解第五章⽩盒测试⼀、判断分析题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.计算环路复杂度方法有哪三种,答:(1)V(G)=判定节点数+ 1 ;(2)V(G) = E-N+2 ;(3)V(G)=区域数+ 12.白盒测试有几种方法,白盒测试方法分为两大类:静态测试方法和动态测试方法。

答:静态测试方法:检查软件的表示和描述是否一致,没有冲突或者没有歧义。

动态测试方法:语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖、路径覆盖。

4.比较白盒测试和黑盒测试,答:使用白盒测试方法时，测试根据程序的内部逻辑和指定的覆盖标准;黑盒测试法是通过分析程序的接口功能设计测试用例的。

5.为以下程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖。

int test(int A,int B){if((A>1) AND (B<10)) thenX=A-B;if((A=2) OR (B>20)) thenX=A+B;return x;}答:语句覆盖测试用例:A=2，B=0;判定覆盖测试用例:A=3，B=0;A=2，B=20;条件覆盖测试用例:A=2，B=0;A=0，B=21;6. 为以下程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖。

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);} //语句块1if ( (x==4)||(y>5) ){ j=x*y+10; } //语句块2j=j%3; //语句块3}答:语句覆盖测试用例:x=4、y=5、z=5;判定覆盖测试用例::x=4、y=5、z=5;x=2、y=5、z=5;条件覆盖测试用例:x=4、y=6、z=5 ;x=2、y=5、 z=15 ; 8.看代码程序: void Sort ( int iRecordNum, int iType )1 {2 int x=0;3 int y=0;4 while ( iRecordNum> 0 )5 {6 If ( iType==0 )7 x=y+2;8 else9 If ( iType==1 ) 10 x=y+10; 11 else12 x=y+20;13 }14 }要求(1)给以上代码画出控制流图(2)控制流图的环复杂度V(G)，写出独立路径。

⽩盒测试（语句覆盖、条件覆盖、判断覆盖、路径覆盖）在⽩盒测试中，有四种常见测试⽅法：语句覆盖条件覆盖判断覆盖路径覆盖下⾯我们⽤⼀道例题来解释他们之间的区别：STARTINPUT (A,B,C)IF A>5THEN X= 10ELSE X=1END IFIF B> 10THEN Y=20ELSE Y=2END IFIF C> 15THEN Z= 30ELSE Z=3END IFPRINT (X,Y,Z)STOP该题的程序流程图：1、语句覆盖语句覆盖的含义：选择⾜够多的测试数据，使被测程序中每个语句⾄少执⾏⼀次。

语句覆盖只关⼼判定表达式的值，⽽没有分别测试判定表达式中每个条件取不同值时的情况（即⼀个判断语句的两个分⽀若没有其他语句。

则只需要执⾏⼀个分⽀语句）。

如上图的程序流程图，若想每个语句⾄少执⾏⼀次（赋值语句也是语句），则最少需要两组测试数据。

全部为true:A=20,B=20,C=20全部为false:A=1,B=1,C=12、判断覆盖（分⽀覆盖、判定覆盖）判定覆盖的含义：不仅每个语句必须⾄少执⾏⼀次，⽽且每个判定的每种可能的结果都应该⾄少执⾏⼀次在⑴的基础上，每个判定的每个分⽀⾄少执⾏⼀次如上图的程序流程图。

在（1）的基础上每个分⽀⾄少执⾏⼀次，则可以⽤和（1）⼀样的两组数据。

（该题具有特殊性）全部为true:A=20,B=20,C=20全部为false:A=1,B=1,C=13、条件覆盖条件覆盖的含义：不仅每个语句⾄少执⾏⼀次，⽽且使判定表达式中的每个条件都取到各种可能的结果在⑴的基础上，使每个判定表达式的每个条件都取到各种可能的结果。

通俗来讲就是每个判断条件都可以取到所有的可能。

如上图的程序流程图。

在（1）的基础上使每个判定表达式的每个条件都取到各种可能的结果，则可以⽤和（1）⼀样的两组数据。

（该题具有特殊性）全部为true:A=20,B=20,C=20全部为false:A=1,B=1,C=14、路径覆盖路径覆盖的含义：选取⾜够多测试数据，使程序的每条可能路径都⾄少执⾏⼀次(如果程序图中有环，则要求每个环⾄少经过⼀次)。

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方法，判断一个字符串是否为回文字符串。

先看以下代码：/** 白盒测试逻辑覆盖测试范例*/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、测试用例：两个判断的取真、假分支都已经被执行过，所以满足了判断覆盖的标准。

《软件测试》第三章白盒测试方法一、填空题1、语句覆盖的目的是测试程序中的代码是否被执行，它只测试代码中的执行语句。

2、判定覆盖的作用是使真假分支军被执行。

3、条件覆盖是指判定语句中的每个条件都要取真、假值各一次。

4、对于判定语句IF （a>1 AND c1、c1 AND c判断覆盖方法。

5、判定条件覆盖要求判定语句中所有条件取值的可能组合都至少出现一次。

6、在程序插桩法中，插入到程序中的代码称为探针。

二、判断题1、语句覆盖无法考虑分支组合情况。

（X ）。

2、目标代码插桩需要重新编译、链接程序。

（√）。

3、语句覆盖可以测试程序中的逻辑错误。

（√）。

4、判定-条件覆盖没有考虑判定语句与条件判断的组合情况。

（X ）。

5、对于源代码插桩，探针具有较好的通用性。

（√）。

三、单选题1、下列选项中，哪一项不属于逻辑覆盖？（ D ）。

A.语句覆盖B.条件覆盖C.判定覆盖D.判定-语句覆盖。

2、关于逻辑覆盖，下列说法中错误的是（ C ）。

A.语句覆盖的语句不包括空行、注释等。

B.相比于语句覆盖，判定覆盖考虑到了每个判定语句的取值情况。

C.条件覆盖考虑到了每个逻辑条件取值的所有组合情况。

— 1/2 —— 1/2 —D.在逻辑覆盖中，条件组合覆盖是覆盖率最大的测试方法。

3、关于程序插桩法，下列说法中错误的是（ D ）。

A.程序插桩法就是往被测程序中插入测试代码以达到测试目的的方法。

B. 程序插桩法可分为目标代码插桩法和源代码插桩。

C. 源代码插桩的程序需要重新编译、链接过程，单测试代码不参与编译、链接过程。

D. 目标代码插桩是往二进制程序中插入测试代码四、简答题1、请简述逻辑覆盖的几种方法及他们之间的区别。

答：6种。

语句覆盖（SC）：设计足够多的测试用例，抄确保每条语句都被执行过。

判定覆盖（DC）：设计足够多的测试用例，确保每个判定都分别取真值与假值。

条件覆盖（CC）：设计足够多的测试用例，确保每个条件都分别取真值与假值。

1.说出静态白盒测试的几个好处
答：进行静态白盒测试的首要原因是尽早发现软件缺陷，以找出动态黑盒测试难以发现或隔离的软件缺陷。

另一个好处是给黑盒测试人员提供思路。

2.判断是非：静态白盒测试可以找出需求遗漏之处和相关问题。

答：错误，因为静态白盒测试保证程序中所有关键路径的测试,防止由于没有执行的路径在实际投入运行后执行到发生意外的情况，但无法找出需求遗漏之处和相关问题。

3.正式审查由哪些关键要素组成？
答：确定问题、遵守规则、准备、编写报告
4.为以下流程图所示的程序段设计一组测试用例，要求分别满足语句覆盖、判
定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖
语句覆盖：
判定覆盖
条件覆盖
将X>8 真为T1，假为F1 将Ｙ>5 真为T2，假为F2 将X>0 真为T3，假为F3 将Ｙ>0 真为T4，假为F4 将X>16 真为T5，假为F5 将Ｙ>10 真为T6，假为F6
判定/条件覆盖
条件组合覆盖
组合1：T1，T2 组合5：T3，T4 组合9：T5，T6 组合2：T1，F2 组合6：T3，F4 组合10：T5，F6 组合3：F1，T2 组合7：F3，T4 组合11：F5，T6 组合4：F1，F2 组合8：F3，F4 组合12：F5，F6
路径覆盖：
所有路径：a b c d e f g h k m n p
6. 按照基本路径测试方法设计测试用例
●画流图、计算环形复杂度
●导出独立路径
流图如下：。

#include <iostream.h> //白盒测试测验题目白盒测试测验题目//程序功能：输入年、月，输出该月份的最大天数 void main() 1{2 int year, int month;3 int maxday = 0;4 cin>>year>>month;5 if ( month >= 1 && month <= 12 )6 {7 if ( month == 2 )8 {9 if ( year % 4 == 0 ) 10 { 11 if ( year % 100 == 0 ) 12 {13 if ( year % 400 == 0 ) 14 maxday = 29; 15 else16maxday = 28;17 } 18 else19 maxday = 29; 20 } 21else22 maxday = 28; 23 } 24 else 25 {26 if ( month == 4 || month == 6 || month == 9 || month == 11 ) 27 maxday = 30; 28 else29 maxday = 31; 30 } 31 }32cout<<"The MaxDay is:"<<maxday<<endl;33}要求：要求： 1． 画出该程序的程序流程图画出该程序的程序流程图1 2345 7 F1T168 10 F 2 T2912 11 27 F3 T 31331 33 F6 T632 28 14 29 23 F4 T4 1535 24 341630 25 36 18 F5 T51737 2026 2138 2219 39400：开始：开始 1 2 3456798 101112 13 14 1516 17 18 19 2021 22 23242526 27 28 29 30 31 323334：结束结束2． 画出该程序的DD 路径图路径图转换后的(D-D 图):A ：｛1-5｝；B ：｛6-7｝；C:｛8-9｝； D ：｛24-26｝；E ：｛10-11｝； F ：｛21-23｝； G ：｛12-13｝； H ：｛18-20｝； I ：｛14｝；J ：｛15-17｝；K ：｛27｝； L ：｛28-31｝； M ：｛32-33｝； F1T1F2 T2T3F6 T6 F3 F4 T4F5T50：开始开始ABD C FEH GJ KL M 34：结束：结束 I3． 试用路径覆盖法中的语句覆盖、判定覆盖、条件覆盖、判定条件覆盖以及路径覆盖五种方法对上述问题设计测试用例述问题设计测试用例 1.语句覆盖：语句覆盖： 测试用例编号输入数据输入数据预期输出结果预期输出结果 覆盖语句覆盖语句yearmonthTC-00120002The MaxDay is:290，1，2，3，4，5，6，7，8，9，10，11，12,13,14，32,33,34TC-002 1700 2 The MaxDay is:280，1，2，3，4，5，6，7，8，9，10，11，12,13,15,16,17，32,33,34 TC-003 1604 2 The MaxDay is:290，1，2，3，4，5，6，7，8，9，10，11，18,19,20，32，33，34TC-004 1605 2 The MaxDay is:28 0，1，2，3，4，5，6，7，8，9，21，22，23，32,33，34TC-005 1914 6 The MaxDay is:30 0，1，2，3，4，5，6，7，24，25，26，27，32，33，34TC-006 1914 7 The MaxDay is:310，1，2，3，4，5，6，7，24，25，26，28，29，30，31，32，33,342.判定覆盖：判定覆盖：解释：我在各判断分支的真假分支都编有相应的真假符号，在判定覆盖中用判定分支的真假序号表示； 测试用例编号 输入数据输入数据 预期输出结果预期输出结果 覆盖判定覆盖判定yearmonthTC-001 2000 2 The MaxDay is:29 T1，T2,T3,T4,T5 TC-002 1700 2 The MaxDay is:28 T1，T2,T3,T4,F5TC-003 1604 2 The MaxDay is:29 T1，T2,T3,F4TC-004 1605 2 The MaxDay is:28 T1，T2,F3TC-005 1914 6 The MaxDay is:30 T1，F2,T6TC-006 1914 7 The MaxDay is:31 T1,F2,F6TC-007 1914 14 The MaxDay is:0 F13.条件覆盖：条件覆盖：（1）在判定语句5中有以下条件：中有以下条件：1.month >= 1 ；2.month <= 12 ；（2）在判定语句7中有以下条件：中有以下条件：3.month == 2；（3）在判定语句9中有以下条件：中有以下条件：4.year % 4 == 0；（4）在判定语句11中有以下条件：中有以下条件：5.year % 100 == 0；（5）在判定语句13中有以下条件：中有以下条件：6. year % 400 == 0；（6）在判定语句26中有以下条件：7. month == 4 ；8.month == 6 ；9.month == 9 ；10.month == 11；测试用例编号 输入数据输入数据 预期输出结果预期输出结果 覆盖的条件覆盖的条件yearmonthTC-001 2000 0 The MaxDay is:0 F1TC-002 1700 15 The MaxDay is:0 T1,F2TC-003 2000 2 The MaxDay is:29 T1，T2，T3，T4，T5，T6 TC-004 1605 4 The MaxDay is:30 T1，T2，F3，T7TC-005 1900 2 The MaxDay is:28 T1，T2，T3，T4，T5，F6TC-006 1604 2 The MaxDay is:29 T1，T2，T3，T4，F5TC-007 2013 2 The MaxDay is:28 T1，T2，T3，F4TC-008 1700 5 The MaxDay is:31 T1,T2,F3,F7,F8,F9,F10TC-009 1604 11 The MaxDay is:30 T1,T2,F3,F7,F8,F9,T10TC-0010 1605 9 The MaxDay is:30 T1,T2,F3,F7,F8,T9TC-0011 1914 6 The MaxDay is:30 T1,T2,F3,F7,T84.判定条件覆盖：（1）在判定语句5中有以下条件：中有以下条件：1.month >= 1 ；2.month <= 12 ；（2）在判定语句7中有以下条件：中有以下条件：3.month == 2；（3）在判定语句9中有以下条件：中有以下条件：4.year % 4 == 0；（6）在判定语句11中有以下条件：中有以下条件：5.year % 100 == 0；（7）在判定语句13中有以下条件：中有以下条件：6. year % 400 == 0；（6）在判定语句26中有以下条件：7. month == 4 ；8.month == 6 ；9.month == 9 ；10.month == 11；（覆盖的判定语句在程序流程图中有标识）（覆盖的判定语句在程序流程图中有标识）测试用例编号 输入数据输入数据 预期输出结果预期输出结果 覆盖的条件覆盖的条件 覆盖的判定覆盖的判定yearmonthTC-001 2000 0 The MaxDay is:0 F1 F1 TC-002 1700 15 The MaxDay is:0 T1,F2 F1TC-003 2000 2 TheMaxDay is:29 T1，T2，T3，T4，T5，T6 T1，T2，T3，T4，T5TC-004 1605 4 TheMaxDay is:30 T1，T2，F3，T7 T1，F2，T6TC-005 1900 2 TheMaxDayis: 28 T1，T2，T3，T4，T5，F6 T1，T2，T3，T4，F5TC-006 1604 2 The MaxDay is:29 T1，T2，T3，T4，F5 T1，T2，T3，F4 TC-007 2013 2 The MaxDay is:28 T1，T2，T3，F4 T1，T2，F3TC-008 1700 5 The MaxDay is:31 T1,T2,F3,F7,F8,F9,F10T1，F2，F6TC-009 1604 11 The MaxDay is:30 T1,T2,F3,F7,F8,F9,T10T1，F2，T6TC-0010 1605 9 The MaxDay is:30 T1,T2,F3,F7,F8,T9T1，F2，T6TC-0011 1914 6 The MaxDay is:30 T1,T2,F3,F7,T8 T1，F2，T65.路径覆盖：路径覆盖：解释：我在控制流程图的各条边上都编了序号，在路径覆盖中覆盖的路径用分支边上的序号表示；测试用例编号 输入数据输入数据 预期输出结果预期输出结果 覆盖的路径覆盖的路径year monthTC-001 2000 2 The MaxDay is:29 1-2-3-4-5-6-8-9-11-13-14-15-16-17-19-39-40 TC-00217002The MaxDay is:281-2-3-4-5-6-8-9-11-13-14-15-16-18-20-21-22-39-40TC-003 1604 2 The MaxDay is:29 1-2-3-4-5-6-8-9-11-13-14-23-24-25-26-39-40 TC-004 1605 2 The MaxDay is:28 1-2-3-4-5-6-8-9-11-27-28-29-30-39-40TC-005 1914 6 The MaxDay is:30 1-2-3-4-5-6-8-10-12-31-32-34-39-40TC-006 1914 7 The MaxDay is:31 1-2-3-4-5-6-8-10-12-31-33-35-36-37-38-39-40 TC-007 191414The MaxDay is:01-2-3-4-5-7-39-404． 用三种方法求出上述问题的圈复杂度（基路径数量V （G ））方法一：判定（）结点个数计算法：V(G)=p+1；在此D-D 图中，判定结点个数为P=6；V(G)=6+1=7；方法二：.圈数计算法：V(G)= 圈数+1；该D-D 图中，圈数为6；V(G)=6+1=7；方法三：根据连通图公式计算：V(G)=E-N+2p ；E 是D-D 图中边的个数，图中边的个数， N 是D-D 图中结点的个数，p 是连通图的个数，p 一般等于1；在该图中E=40,N=35,p=1; V(G)=E-N+2p=40-35+2=7; 5． 写出上述问题的基路径测试方法所采用的基路径，写明过程写出上述问题的基路径测试方法所采用的基路径，写明过程过程：过程： 首先我根据D-D 路径来寻找基路径，找到一条最长的路径为路径1，再根据路径1中的中的 第一个分一个分支结点A 寻找其他没走过的路，这条路为路径2， 此时遍历完了分支结点A ，再在路径1中找第2个分支结点为B ，根据分支结点B 找到路径3，同理我们在路径1中还有分支结点C ，E ，G ，它们可以找到路径4，路径5和路径6，此时我们会发现已经查找完了5个分支结点，只剩下分支结点D 未被遍历，我们根据分支结点D 可以找到路径7，此时所有的基路径就已经全部找到的。

第四章白盒测试参考答案（注意：答案仅供参考，若有误，请自行修改。

）1、使用逻辑覆盖法测试以下程序段。

private void DoWork(int x, int y, int z)1 {2 int k = 0, j = 0;3 if ((x > 3) && (z < 10)) //3-a 和 3-b4 {5 k = x * y - 1;6 j = (int)Math.Sqrt(k);7 }8 if ((x == 4) || (y > 5)) //8-a 和 8-b9 j = x * y + 10;10 j = j % 3;11 lbResult.Text = "k=" + k.ToString() +" j=" +j.ToString () ;12 }说明：程序段中每行开头的数字是对每条语句的编号。

要求：（1）画出程序的控制流图（用题中给出的语句编号表示）。

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

（3）执行测试用例，并记录测试结果。

参考答案：（1）：控制流图：（2）(3)测试用例略。

2．基本路径测试按要求对下面的代码进行测试。

代码功能是：用折半查找在元素呈升序排列的数组中查找值为key的元素。

代码如下：private int BinSearch(int [] array,int key)1 {2 int mid,low,high;3 low=0;4 high = array.Length - 1;5 while (low <= high)6 {7 mid = (low + high) / 2;8 if (key == array[mid])9 return mid;10 else if (key < array[mid])11 high = mid - 1;12 else13 low = mid + 1;14 }15 return -1;16 }参考答案：（1）控制流图：（2）环形复杂度V（G）=3+1=4；（3）独立路径：5→15→165→8→165→8→10→11→14→5→……5→8→10→13→14→5→……测试用例表略。