白盒测试-基本路径测试习题

白盒测试的基本路径测试法一、白盒测试的主要测试方法1、代码检查法2、静态结构分析法3、静态质量度量法4、逻辑覆盖法5、基本路径测试法（应用最广泛）6、域测试7、符号测试8、Z路径覆盖9、程序变异二、基本路径测试法1、定义：基本路径测试法是在程序控制流图的基础上,通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。

设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。

2、基本路径测试法的基本步骤1) 程序的控制流图:描述程序控制流的一种图示方法。

2）程序圈复杂度:McCabe复杂性度量。

从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。

3) 导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果.4) 准备测试用例：确保基本路径集中的每一条路径的执行.3、基本路径测试法的工具方法1）图形矩阵:是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地确定一个基本路径集。

三、程序的控制流图控制流程图是描述程序控制流的一种图示方法。

圆圈称为控制流图的一个结点,表示一个或多个无分支的语句或源程序语句流图只有二种图形符号:图中的每一个圆称为流图的结点，代表一条或多条语句。

流图中的箭头称为边或连接，代表控制流。

任何过程设计都要被翻译成控制流图。

1、根据程序流程图化成控制流图在将程序流程图简化成控制流图时,应注意：1）在选择或多分支结构中，分支的汇聚处应有一个汇聚结点.2）边和结点圈定的区域叫做区域,当对区域计数时,图形外的区域也应记为一个区域。

如下页图所示：如果判断中的条件表达式是由一个或多个逻辑运算符(OR，AND, NAND，NOR) 连接的复合条件表达式，则需要改为一系列只有单条件的嵌套的判断。

例如:1 if a or b2 x3 else4 y对应的逻辑为:独立路径：至少沿一条新的边移动的路径2、实例说明基本路径测试法的步骤：第一步：画出控制流图流程图用来描述程序控制结构。

软通动力软件测试面试题一、软通动力面试笔答1.白箱测试和黑箱测试是什么?什么是回归测试?2.单元测试、集成测试、系统测试的侧重点是什么？单元测试的重点是系统的模块，包括子程序的正确性验证等。

集成测试的重点是模块间的衔接以及参数的传递等。

系统测试的重点是整个系统的运行以及与其他软件的兼容性。

3.设计用例的方法、依据有那些？白盒测试用例设计有如下方法：基本路径测试\等价类划分\边界值分析\覆盖测试\循环测试\数据流测试\程序插桩测试\变异测试.这时候依据就是详细设计说明书及其代码结构吧；黑盒测试用例设计方法：基于用户需求的测试\功能图分析方法\等价类划分方法\边界值分析方法\错误推测方法\因果图方法\判定表驱动分析方法\正交实验设计方法.依据是用户需求规格说明书，详细设计说明书4.一个测试工程师应具备那些素质和技能？掌握基本的测试基础理论本着找出软件存在的问题的态度进行测试,即客观吧,不要以挑刺形象出现可熟练阅读需求规格说明书等文档以用户的观点看待问题有着强烈的质量意识细心和责任心良好的有效的沟通方式（与开发人员及客户）具有以往的测试经验能够及时准确地判断出高危险区在何处.5.集成测试通常都有那些策略？大爆炸集成；自顶向下集成；自底向上集成；三明治集成；分层集成；基干集成；基于功能的集成；基于消息的集成；基于风险的集成；基于进度的集成.6.你用过的测试工具的主要功能、性能及其他？7.一个缺陷测试报告的组成？缺陷跟踪报告:编号，如：ut-dt00016标题，如：文字排版功能.字间距.MarchCalculator计算错误版本号，如：V1.3执行状态，如：空白/草稿/提交/审批/分发/正在修改/修改完毕/正在确认/关闭…修改记录，如：2003年7月2日；肖睿编制/修改；原因测试环境和版本号码、程序编写人员错误严重程度和优先级别错误详细描述重现步骤和方式、对应的测试记录编码附件建议修改方式修改内容、结果及修改人员签字/日期8.基于WEB信息管理系统测试时应考虑的因素有哪些？1）功能测试① 链接测试② 表单测试③ Cookies测试④ 设计语言测试⑤数据库测试2）性能测试① 连接速度测试② 负载测试③ 压力测试3）可用性测试① 导航测试② 图形测试③ 内容测试④ 整体界面测试4）客户端兼容性测试① 平台测试②浏览器测试5）安全性测试9.软件本地化测试比功能测试都有哪些方面需要注意？10.软件测试项目从什么时候开始，？为什么？软件测试应该在需求分析阶段就介入，因为测试的对象不仅仅是程序编码，应该对软件开发过程中产生的所有产品都测试，并且软件缺陷存在放大趋势.缺陷发现的越晚，修复它所花费的成本就越大.11.需求测试注意事项有哪些？一个良好的需求应当具有以下特点：● 完整性：每一项需求都必须将所要实现的功能描述清楚，以使开发人员获得设计和实现这些功能所需的所有必要信息。

⽩盒测试-基本路径法⼀、定义基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执⾏路径集合，从⽽设计测试⽤例的⽅法。

⼆、基本路径测试的步骤1）画出程序控制流图（前提是已经有了程序流程图）2）计算环路复杂度3）导出独⽴路径（可执⾏路径）4）设计测试⽤例三、认识控制流图1、描述程序控制流的⼀种图⽰⽅法，控制流图中只有2种图形符号：结点：标有编号的圆圈表⽰控制流线或边或连接：以箭头表⽰2、各种语句结构的控制流图3、认识什么是区域区域：边和结点圈定的区域叫做区域。

封闭区域+开放区域4、如果判断中的条件表达式是由⼀个或多个逻辑运算符(OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为⼀系列只有单条件的嵌套的判断。

If(a>1 and b<2){…}If(a>1){If(b<2){…}}（a）流程图四、环形复杂度的计算有以下三种⽅法计算环形复杂度：a)流图中封闭区域的数量+1个开放区域=总的区域数=环形复杂度b)给定流图G的环形复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中结点的数量;c)给定流图G的环形复杂度V(G)，定义为V(G)=P+1，P是流图G中判定结点的数量。

五、举例1）画出程序控制流图2）计算环形复杂度a)流图中封闭区域的数量+1个开放区域=总的区域数=环形复杂度3个封闭区域+1个开放区域=4b)给定流图G的环形复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中结点的数量;V(G)=E-N+2=11-9+2=4c)给定流图G的环形复杂度V(G)，定义为V(G)=P+1，P是流图G中判定结点的数量。

V(G)=P+1=3+1=43）导出独⽴路径注：因为环形复杂度为4，所以有四条独⽴路径PATH1：1-11PATH2：1-2-3-4-5-10-1-11PATH3：1-2-3-6-7-9-10-1-11PATH4：1-2-3-6-8-9-10-1-114）设计测试⽤例（略）。

白盒测试基本路径法实训报告三角形本次实训我选择了使用白盒测试基本路径法对三角形程序进行测试。

1. 程序代码下面是被测试的三角形程序的代码：```#include <stdio.h>#include <stdlib.h>int triangle(int a, int b, int c){if (a <= 0 || b <= 0 || c <= 0) {return 0;}if (a + b <= c || b + c <= a || c + a <= b) {return 0;}if (a == b && b == c) {return 1;}if (a == b || b == c || c == a) {return 2;}}int main(){int a, b, c;printf("Please input the length of three sides: ");scanf("%d %d %d", &a, &b, &c);int t = triangle(a, b, c);if (t == 0) {printf("Not a triangle.");} else if (t == 1) {printf("Equilateral triangle.");} else if (t == 2) {printf("Isosceles triangle.");} else {printf("Scalene triangle.");}}```2. 基本路径设计为了得到程序的所有可能执行路径，我们首先需要构建其控制流程图。

下面是三角形程序的控制流程图： 我们可以通过该图来得到程序的基本路径：1. 1-2-3-142. 1-2-4-5-6-8-9-10-11-12-13-143. 1-2-4-5-6-7-8-9-10-11-12-13-143. 测试用例设计根据基本路径，我们需要设计测试用例来覆盖所有的基本路径。

04级（李哲洙复习题）一、简答题复习题1、什么是黑盒测试与白盒测试？2、什么是静态测试与动态测试？3、软件测试人员应具备哪些素质？4、功能性测试的优缺点是什么？5、等价类测试的指导方针是什么？6、使用逻辑覆盖法的步骤是什么？7、什么是单元测试？它的主要测试内容是什么？8、什么是集成测试？它的主要测试内容是什么？9、创建软件测试计划的目的和目标是什么？10、软件测试计划一般都分为哪些主题？二、逻辑与基本路径覆盖法逻辑覆盖法：•语句覆盖：测试用例能使被测程序的每条执行语句至少执行一次•判断覆盖：测试用例能使被测程序中的每个判断至少取得一次“真”和一次“假”又称分支覆盖•条件覆盖：测试用例能使被测程序中每个判断的每个条件至少取得一次“真”和一次“假”。

如果判断中只有一个条件，则条件覆盖便满足判断覆盖，否则，不一定。

•判断/条件覆盖：测试用例既满足判断覆盖，又满足条件覆盖。

•条件组合覆盖：测试用例使每个判定中所有可能的条件取值组合至少执行一次。

1、导出程序图※基本路径测试法设计测试用例03改动后的程序流程图3 .对应程序图2、计算程序图的环形复杂性123456789 1121131141511 611 78191连接权-1=比较个数1=02=12=11=02=12=11=01=0W R 1 6 15 1912 1912年6月16日环形数=4+1=53、确定基本路径集由于环形数为5，故基本路径数有5条 path1： 1—2—4—5—6—7 path2： 1—2—3—4—5—6—7 path3： 1—2—3—8—4—5—6—7 path4： 1—2—3—8—4—5—9—7 path5：1—2—3—8—4—5—6—9—7 4、生成测试用例path1 输入：A=1B=0 X=1 预期结果：X=1path2 输入：A=3B=1 X=1 预期结果：X=1 path3 输入：A=3B=0 X=3 预期结果：X=1 path4 输入：A=2B=0 X=2 预期结果：X=2 path5 输入：A=3 B=0 X=6 预期结果：X=3三、功能性测试（见课件P14 “三角形等价类测试问题”）NextDate 是一个三变量函数，即月份、日期和年，这些变量的有效值区间 定义如下：M1={月份：1W 月份W 12} 口1={日期：1^日期^31} Y1={年：1812W 年W 2012} 无效等价类：M2={月份：月份＜1} M3={月份：月份＞12} 口2={日期：日期＜1} 口3={日期：日期＞31} Y2={年：年＜1812} Y3={年：年＞2012}由于有效类的数量等于独立变量的个数，因此只有弱一般等价类测试用例出 现，并且与强一般等价类测试用例相同：用例ID 月份 日期年预期输出WN1，SN1 61519121912年6月16日用例ID 月份 日期 年 预期输出W R 2-1 15 1912 月份不在有效值域1..12中 W R 313151912月份不在有效值域1..12中W R46-11912日期不在有效值域1..31中W R56321912日期不在有效值域1..31中W R66151811年不在有效值域1812..2012中W R76152013年不在有效值域1812..2012中05级（李鹤林复习题）判断题（10）1.好的测试员不懈追求完美。

实训题目：基本路径测试用例设计------------上机实训目的：1、一步熟悉白盒测试的方法和策略2、点掌握圈复杂度概念和基本路径测试用例设计方法3、增强测试经验实训地点：机房实训课时：2课时实训重点、难点：基本路径测试用例设计实训安排：首先讲解基本路径测试设计测试用例的步骤，要求学生注意总结方法和技巧，然后布置上机任务，要求学生对照课件和课本完成上机任务。

老师在机房进行辅导。

实训步骤：一、Voidsort(inti,intj,intk)1{2intm,n,p;3m=n=p=0;4if(i>5andj<8)5m++;6else7if(k>=9)8n++;9else10p++;11Printf(“%d,%d,%d”,m,n,p);12}按照基本路径测试方法设计测试用例?1、画流图，计算复杂度2、导出测试用例阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。

【说明】使用基本路径法设计出的测试用例能够保证程序的每一条可执行语句在测试过程中至少执行一次。

以下代码由C语言书写，请按要求回答问题。

IntIsLeap(intyear)1{2if(year%4==0)3{4if(year%100==0)5{6if(year%400==0)7leap=1;8else9leap=0;10}11else12leap=1;13}14else15leap=0;16returnleap;17}【问题1】（3分）请画出以上代码的控制流图【问题2】（4分）请计算上述控制流图的圈复杂度V（G）（独立线性路径数）【问题3】（8分）假设输入的取值范围是1000<year<2001,请使用基本路径测试法为变量year设计测试用例，使其满足基本路径覆盖的要求。

?。

第五章白盒测试一、判断分析题1.语句覆盖是最弱的逻辑覆盖。

（√）2.语句覆盖是最强的逻辑覆盖。

（X）3.判定覆盖不一定包含条件覆盖。

（X）4.条件覆盖不一定包含判定覆盖。

（√）5.判定/条件覆盖能同时满足判定、条件两种覆盖标准。

（√）6.判定/条件覆盖指满足判定覆盖标准或条件覆盖标准。

（X）7.DD-路径图是一种压缩图。

（X）8.详细设计的目的是为软件结构图中的每一个模块确定使用的算法和块内数据结构，并用某种选定的表达工具给出清晰的描述。

(X )9.尽量用公共过程或子程序去代替重复的代码段。

（X）10.对于连锁型分支结构，若有n个判定语句，则有2n条路径。

（√）11.尽量采用复合的条件测试，以避免嵌套的分支结构。

（√）12.GOTO语句概念简单，使用方便，在某些情况下，保留GOTO语句反能使写出的程序更加简洁。

（√）二、简答题1.请试着比较一下黑盒测试、白盒测试、单元测试、集成测试、系统测试、验收测试的区别与联系。

答：黑盒测试：已知产品的功能设计规格，可以进行测试证明每个实现了的功能是否符合要求。

白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。

单元测试(模块测试)是开发者编写的一小段代码，用于检验被测代码的一个很小的、很明确的功能是否正确。

通常而言，一个单元测试是用于判断某个特定条件(或者场景)下某个特定函数的行为。

集成测试(也叫组装测试，联合测试)是单元测试的逻辑扩展。

它的最简单的形式是：两个已经测试过的单元组合成一个组件，并且测试它们之间的接口。

从这一层意义上讲，组件是指多个单元的集成聚合。

在现实方案中，许多单元组合成组件，而这些组件又聚合成程序的更大部分。

方法是测试片段的组合，并最终扩展进程，将您的模块与其他组的模块一起测试。

最后，将构成进程的所有模块一起测试。

系统测试是将经过测试的子系统装配成一个完整系统来测试。

它是检验系统是否确实能提供系统方案说明书中指定功能的有效方法。

第一章●软件工程方法学（3个要素）：通常把软件生命周期全过程中使用的一整套技术方法的集合称为方法学，也称范型。

三要素：方法、工具和过程。

●软件生命周期模型–瀑布模型：优点：1.可强迫开发员采用规范的方法2.严格地规定了每个阶段必须提交的文件3.要求每个阶段交出的所有产品都必须经过质量保证小组的仔细验证。

–缺点：传统的瀑布模型过于理想化，是由文档驱动的。

–快速原型模型：通过快速构建起一个可在计算机上运行的原型系统，让用户试用原型并收集用户反馈意见的方法，获取用户真正的需要。

–增量模型：优点：能在较短时间内向用户提交可完成部分工作的产品；逐步增加产品功能可以使用户有较充实的时间学习和适应新产品，从而减少一个全新的软件可能给客户组织带来的冲击。

–螺旋模型：优点：对可选方案和约束条件的强调有利于已有软件的重用；减少了过多测试；维护只是螺旋模型中另一个周期。

1-1 什么是软件危机? 是指在计算机软件的开发和维护过程中所遇到的一系列严重问题。

1-2 什么是软件工程?是指导计算机软件开发和维护的一门工程学科。

1-3 简述结构化范型和面向对象范型的要点，并分析它们的优缺点。

目前使用得最广泛的软件工程方法学（2种）：1.传统方法学：也称为生命周期方法学或结构化范型。

优点：把软件生命周期划分成基干个阶段，每个阶段的任务相对独立，而且比较简单，便于不同人员分工协作，从而降低了整个软件开发过程的困难程度。

缺点：当软件规模庞大时，或者对软件的需求是模糊的或会承受时间而变化的时候，开发出的软件往往不成功；而且维护起来仍然很困难。

2.面向对象方法学：优点：降低了软件产品的复杂性；提高了软件的可理解性；简化了软件的开发和维护工作；促进了软件重用。

1-4 软件生命周期划分成哪些阶段●软件生命周期（各阶段）软件生命周期由软件定义、软件开发和运行维护三个时期组成。

1.软件定义时期划分为三个阶段：问题定义、可行性研究和需求分析2.开发时期：总体设计、详细设计、编码和单元测试、综合测试。

习题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 阅读下列流程图：当用判定覆盖法进行测试时，至少需要设计( ) 个测试用例。

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{2int x=0;3int y=0;4while(iRecordNum>0)5{6If(iType==0)7x=y+2;8else9If(iType==1)10x=y+10;11else12x=y+20;13}14}要求（1）给以上代码画出控制流图（2）控制流图的环复杂度V（G），写出独立路径。

设计题1、下面是选择排序的程序，其中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环路复杂性 = 判定节点数 + 1 = 5(2) 测试路径数等于圈复杂度，即测试路径有5条：①③①②⑤⑧……①②⑤⑨……①②④⑥……①②④⑦……(3) 为各测试路径设计测试用例:路径①③：取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] = 22、根据下面给出的规格说明，利用等价类划分的方法，给出足够的测试用例。