白盒测试-基本路径测试法
实验5 白盒测试-基本路径测试法
请按要求对下面的java代码进行测试。代码的功能是：用折半查找法在元素呈升序排列的数组中查找值为key的元素。试计算此程序段的McCabe复杂性；用基本路径覆盖法给出测试路径；为各测试路径设计测试用例。
1、画出程序的控制流图
2、计算环路复杂度
m-n+2p=13-11+2=4；
3、用基路径方法设计测试用例。其中独立路径为：1，2，3，5，11
4、测试用例
如何进行白盒测试
摘要：单元测试是软件测试的基础，本文详细的论述了单元测试的两个步骤人工静态检查法与动态执行跟踪法，所需执行的工作项目及相关的策略和方法。通过对这两个步骤的描述作者将多年的单元测试经验及测试理论注入于全文。 关键词：单元测试、人工检查、白盒测试、测试用例、跟踪调试 1 概述 单元测试是针对软件设计的最小单位——程序模块，进行正确性检验的测试工作。其目的在于发现每个程序模块内部可能存在的差错。 单元测试也是程序员的一项基本职责，程序员必须对自己所编写的代码保持认真负责的态度，这是也程序员的基本职业素质之一。同时单元测试能力也是程序员的一项基本能力，能力的高低直接影响到程序员的工作效率与软件的质量。 在编码的过程中作单元测试，其花费是最小的，而回报却特别优厚的。在编码的过程中考虑测试问题，得到的将是更优质的代码，因为在这时您对代码应该做些什么了解得最清楚。如果不这样做，而是一直等到某个模块崩溃了，到那时您可能已经忘记了代码是怎样工作的。即使是在强大的工作压力下，您也还必须重新把它弄清楚，这又要花费许多时间。进一步说，这样做出的更正往往不会那么彻底，可能更脆弱，因为您唤回的理解可能不那么完全。 通常合格的代码应该具备以下性质：正确性、清晰性、规范性、一致性、高效性等(根据优先级别排序)。 1. 正确性是指代码逻辑必须正确，能够实现预期的功能。 2. 清晰性是指代码必须简明、易懂，注释准确没有歧义。 3. 规范性是指代码必须符合企业或部门所定义的共同规范包括命名规则，代码风格等等。 4. 一致性是指代码必须在命名上(如：相同功能的变量尽量采用相同的标示符)、风格上都保持统一。 5. 高效性是指代码不但要满足以上性质，而且需要尽可能降低代码的执行时间。 2 单元测试步骤 在代码编写完成后的单元测试工作主要分为两个步骤人工静态检查和动态执行跟踪。 人工静态检查是测试的第一步，这个阶段工作主要是保证代码算法的逻辑正确性(尽量通过人工检查发现代码的逻辑错误)、清晰性、规范性、一致性、算法高效性。并尽可能的发现程序中没有发现的错误。 第二步是通过设计测试用例，执行待测程序来跟踪比较实际结果与预期结果来发现错误。经验表明，使用人工静态检查法能够有效的发现30%到70%的逻辑设计和编码错误。但是代码中仍会有大量的隐性错误无法通过视觉检查发现，必须通过跟踪调试法细心分析才能够捕捉到。所以，动态跟踪调试方法也成了单元测试的重点与难点。 3 人工检查 通常在人工检查阶段必须执行以下项目的活动： 第一、检查算法的逻辑正确性;确定所编写的代码算法、数据结构定义(如：队列、堆栈等)是否实现了模块或方法所要求的功能。 第二、模块接口的正确性检查;确定形式参数个数、数据类型、顺序是否正确;确定返回值类型及返回值的正确性。 第三、输入参数有没有作正确性检查;如果没有作正确性检查，确定该参数是否的确无需做参数正确性检查，否则请添加上参数的正确性检查。经验表明，缺少参数正确性检查的代码是造成软件系统不稳定的主要原因之一。 第四、调用其他方法接口的正确性;检查实参类型正确与否、传入的参数值正确与否、
VB循环结构测试题及答案
循环结构测试题(四) 一：选择题 1：以下（）是正确的for….next结构。 （A）for x=1 to step 10 (B) for x=3 to –3 step -3….. ….. next x next x (C ) for x=1 to 10 (D) for x=3 to step 3 re: …. …… Next x next y If I=10 then goto re 2:下列循环语句能正常结束循环的是（） （A）I=5 (B) I=1 do do I=I+1 I=I+2 Loop until I<0 loop until I=10 (C) I=10 (D) I=6 do do
I=I-1 I=I-2 Loop until I<0 loop until I=1 3:下面程序段的运行结果为（ ） for I=3 to 1 step –1 print spc(5-I); for j=1 to 2*I-1 print “*”; next j print next I 4下列程序在文本框输入“ABCD ”四个字符时，窗体上显示的是（ ） private sub text1_change( ) print ; end sub (A) ABCD (B) ( C ) AABABCABCD * * * * (B) * * * * * * * * (C) * * * * * * * * (D) * * * * * * * * A B C (D) A AB ABC
5哪个程序段不能分别正确显示1!,2!,3!,4!的（ ） 二：填空题 1：要使下列For 语句循环执行20次，循环变量的初值应当是： for k=( ① ) to –5 step –2 2:下面程序段显示（ ② ）个“*” 。 For I=1 to 5 For j=2 to I Print “*”; Next j Next I 3: 下列第40句共执行了（ ③ ）次，第41句共执行（④ ）次。 30 for j=1 to 12 step 3 40 for k=6 to 2 step –2 41 print j,k 42 next k （A ） for I=1 to 4 n=1 for j=1 to I （B ） for I=1 to 4 for j=1 to I n=1 (C) N=1 for j=1 to 4 (D) N=1 J=1 Do while j<=4
白盒测试的基本路径测试法
白盒测试的基本路径测试法 一、白盒测试的主要测试方法 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白盒测试用例设计方法 1.1白盒测试简介 白盒测试又称结构测试、逻辑驱动测试或基于程序的测试，一般多发生在单元测试阶段。白盒测试方法主要包括逻辑覆盖法，基本路径法，程序插装等。 这里重点介绍一下常用的基本路径法，对于逻辑覆盖简单介绍一下覆盖准则。 1.2基本路径法 在程序控制流图的基础上,通过分析控制构造的环路复杂性，导出独立路径集合，从而设计测试用例，设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。 在介绍基本路径测试方法（又称独立路径测试）之前，先介绍流图符号： 图1 如图1所示，每一个圆，称为流图的节点，代表一个或多个语句，流程图中的处理方框序列和菱形决策框可映射为一个节点，流图中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。一条边必须终止于一个节点，即使该节点并不代表任何语句，例如，图2中两个处理方框交汇处是一个节点，边和节点限定的范围称为区域。 图2
任何过程设计表示法都可被翻译成流图，下面显示了一段流程图以及相应的流图。 注意，程序设计中遇到复合条件时（逻辑or, and, nor 等），生成的流图变得更为复杂，如(c)流图所示。此时必须为语句IF a OR b 中的每一个a 和b 创建一个独立的节点。
(c)流图 独立路径是指程序中至少引进一个新的处理语句集合，采用流图的术语，即独立路径必须至少包含一条在定义路径之前不曾用到的边。例如图(b)中所示流图的一个独立路径集合为： 路径1：1-11 路径2：1-2-3-4-5-10-1-11 路径3：1-2-3-6-8-9-10-1-11 路径4：1-2-3-6-7-9-10-1-11 上面定义的路径1，2，3 和4 包含了(b)流图的一个基本集，如果能将测试设计为强迫运行这些路径，那么程序中的每一条语句将至少被执行一次，每一个条件执行时都将分别取true 和false（分支覆盖）。应该注意到基本集并不唯一，实际上，给定的过程设计可派生出任意数量的不同基本集。如何才能知道需要寻找多少条路径呢？可以通过如下三种方法之一来计算独立路径的上界： 1. V=E-N+2，E 是流图中边的数量，N 是流图节点数量。 2. V=P+1，P 是流图中判定节点的数量 3. V=R，R 是流图中区域的数量 例如，(b)流图可以采用上述任意一种算法来计算独立路径的数量 1. V=11 条边-9 个节点+2=4 2. V=3 个判定节点+1=4 3. 流图有4 个区域，所以V=4 由此为了覆盖所有程序语句，必须设计至少4 个测试用例使程序运行于这4 条路径。 在采用基本路径测试方法中，获取测试用例可参考以下方式：
白盒测试方法习题及答案
［试题分类］:［04］白盒测试方法/［0400］［综合］白盒测试方法 1.下面不属于白盒测试能保证的是。 A. 模块中所有独立途径至少测试一次 B. 测试所以逻辑决策真和假两个方面 C. 在所有循环的边界内部和边界上执行循环体 D. 不正确或漏掉的功能 答案:D 分数:1 题型：单选题 难度:1 A. 输入与输岀 B. 设计与实现 C. 条件与结果 D. 主程序与子程序 答案:A 分数:1 题型:单选题 难度:1 A. 程序的内部逻辑 B. 程序的复杂程度 C. 使用说明书 D. 程序的功能 答案:A 分数:1 题型:单选题 难度:1 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 效率分析 答案:A 4.软件测试中常用的静态分析方法是（ ）和接口分析。 2.因果图方法是根据（ ）之间的因果关系来设计测试用例的。 3.使用白盒测试方法时，确定测试数据应根据（ ）和指定的覆盖标准。
分数:1 题型：单选题 难度:1 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 接口分析 答案:D 分数:1 题型:单选题 难度:1 A. 路径测试 B. 等价类 C. 因果图 D. 归纳测试 答案:A 分数:1 题型:单选题 难度:1 7.在软件工程中，白箱测试法可用于测试程序的内部结构。此方法将程序看作是（ A. 路径的集合 B. 循环的集合 C. 目标的集合 D. 地址的集合 答案:A 分数:1 题型:单选题 难度:1 8.软件测试白箱测试是对软件的结构进行测试，下述: m.分值测试 （ ）是其应包括的内容。 A. I 5.软件测试中常用的静态分析方法是引用分析和（ ）。 6.白盒方法中常用的方法是（ ）方法。 I .边缘值分析 n.语句测试 IV .路经测试
白盒测试方法习题及答案
［试题分类］：［04］白盒测试方法/［0400］［综合］白盒测试方法 1. 下面不属于白盒测试能保证的是。 A. 模块中所有独立途径至少测试一次 B. 测试所以逻辑决策真和假两个方面 C. 在所有循环的边界内部和边界上执行循环体 D. 不正确或漏掉的功能 答案:D 分数:1 题型：单选题 难度：1 2. 因果图方法是根据（）之间的因果关系来设计测试用例的。 A. 输入与输岀 B. 设计与实现 C. 条件与结果 D. 主程序与子程序 答案:A 分数:1 题型:单选题 难度：1 3. 使用白盒测试方法时，确定测试数据应根据（）和指定的覆盖标准 A. 程序的内部逻辑 B. 程序的复杂程度 C. 使用说明书 D. 程序的功能 答案:A 分数:1 题型:单选题 难度:1 4. 软件测试中常用的静态分析方法是（）和接口分析。 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 效率分析 答案:A 分数:1 题型:单选题 难度:1 5. 软件测试中常用的静态分析方法是引用分析和（）。 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 接口分析 答案:D 分数:1 题型:单选题 难度:1 6. 白盒方法中常用的方法是（）方法。 A. 路径测试 B. 等价类 C. 因果图 D. 归纳测试
答案:A 分数:1 题型:单选题 难度:1 7. 在软件工程中，白箱测试法可用于测试程序的内部结构。此方法将程序看作是（） A. 路径的集合 B. 循环的集合 C. 目标的集合 D. 地址的集合 答案:A 分数:1 题型：单选题 难度：1 8. 软件测试白箱测试是对软件的结构进行测试，下述： I.边缘值分析n.语句测试 皿.分值测试IV .路经测试 ）是其应包括的内容。 A. I B. n和皿 C.皿和V D. n .皿和V 答案:D 分数:1 题型:单选题 难度：1 9. 在进行单元测试时，常用的方法是（）。 A. 采用白盒测试，辅之以黑盒测试 B. 采用黑盒测试，辅之以白盒测试 C. 只适用白盒测试 D. 只适用黑盒测试 答案:A 分数:1 题型:单选题 难度:1 10. 白盒测试法一般使用于（）测试。 A. 单元 B. 系统 C. 集成 D. 确认 答案:A 分数:1 题型:单选题 难度:1 [试题分类]:[04] 白盒测试方法/[0401]逻辑覆盖法 11. 关于条件测试错误的是（） A. 可以检查程序中所包含的逻辑条件 B. 条件中包含的错误有布尔算子错误 C. 条件中包含的错误有布尔变量错误 D. 条件中包含的错误有接口错误 答案:D 分数:1 题型:单选题 难度:1
基本路径测试法(第4章第4节)
课题：基本路径测试法（第4章第4节） 课型：新授课 教学内容： 1、本路径测试方法思想 2、路径测试方法举例 教学目标：(思想、知识、能力) 1.了解基本路径测试方法概念 2.掌握基本路径测试方法用例设计过程 3.掌握基本技巧、策略 教学重点、难点： 基本路径测试方法用例设计过程 教法、学法：讲演辅结合（以幻灯片讲解、举例、课堂练习） 教学程序 认知操作 一. 复习提问（复习逻辑覆盖测试用例设计） 1.逻辑覆盖测试有哪些类型? 2.条件覆盖与判定覆盖的概念? 二.新知 1.基本路径测试方法思想 注意：以幻灯片进行讲解，以例题驱动，增加课堂提问。 主要知识： （1）概念：基本路径测试就是这样一种测试方法，它在程序控制流图的基础上，通过分 析控制构造的环形复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。
（2）步骤： A、绘制程序控制流图 B、通过分析环形复杂性，计算圈复杂度，导出程序基本路径集合中的独立路径条 数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上 界。 C、导出测试用例：根据环形复杂性和程序结构设计用例数据输入和预期结果。 D、准备测试用例：确保基本路径集中的每一条路径的执行。 （3）控制流图：为了更加突出控制流的结构，可对程序流程图进行简化，简化后的图称为控制流图。在控制流图中只有两种图形符号： A）节点，用带标号的圆圈表示，代表一个或多个语句、一个处理方框序列和一个菱形判断框（假如不包含复合条件）都可以映射为一个节点； B）控制流线，用带箭头的弧或线表示，称为边或两节点连接。它代表程序的控制流，类似于流程图中的箭头线，控制流线通常标有名字。 2. 基本路径测试方法举例 如下面的C函数： 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 else
白盒测试的六种覆盖准则
白盒测试作为测试人员常用的一种测试方法，越来越受到测试工程师的重视。白盒测试并不是简单的按照代码设计用例，而是需要根据不同的测试需求，结合不同的测试对象，使用适合的方法进行测试。因为对于不同复杂度的代码逻辑，可以衍生出许多种执行路径，只有适当的测试方法，才能帮助我们从代码的迷雾森林中找到正确的方向。本文介绍六种白盒子测试方法：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。 白盒测试的概述 由于逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。由于我们经常相信某逻辑路径不可能被执行, 而事实上,它可能在正常的情况下被执行。由于代码中的笔误是随机且无法杜绝的，因此我们要进行白盒测试。 白盒测试又称结构测试,透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的,你清楚盒子内部的东西以及里面是如何运作的。 白盒的测试用例需要做到： ·保证一个模块中的所有独立路径至少被使用一次 ·对所有逻辑值均需测试true 和false ·在上下边界及可操作范围内运行所有循环 ·检查内部数据结构以确保其有效性 白盒测试的目的：通过检查软件内部的逻辑结构，对软件中的逻辑路径进行覆盖测试；在程序不同地方设立检查点，检查程序的状态，以确定实际运行状态与预期状态是否一致。 白盒测试的特点：依据软件设计说明书进行测试、对程序内部细节的严密检验、针对特定条件设计测试用例、对软件的逻辑路径进行覆盖测试。 白盒测试的实施步骤： 1.测试计划阶段：根据需求说明书，制定测试进度。 2.测试设计阶段：依据程序设计说明书，按照一定规范化的方法进行软件结构划分和设计测试用例。 3.测试执行阶段：输入测试用例，得到测试结果。 4.测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。 白盒测试的方法：总体上分为静态方法和动态方法两大类。
软件测试练习题及答案
、判断 01 ）测试是为了验证软件已正确地实现了用户的要求。错 02 ）白盒测试仅与程序的内部结构有关，完全可以不考虑程序的功能要求。对 03 ）白盒测试不仅与程序的内部结构有关，还要考虑程序的功能要求。错 04）程序员兼任测试员可以提高工作效率。错 05 ）黑盒测试的测试用例是根据应用程序的功能需求设计的。对 06 ）当软件代码开发结束时，软件测试过程才开始。错 07 ）据有关数据统计，代码中 60%以上的缺陷可以通过代码审查发现出来。对 08）无效等价类是无效的输入数据构成的集合，因此无需考虑无效的等价类划分。错 09 ）软件本地化就是将一个软件产品按特定国家或语言市场的需要翻译过来。错 10）在压力测试中通常采用的是黑盒测试方法。对 11）软件测试员无法对产品说明书进行白盒测试。对 12）功能测试工具主要适合于回归测试。对 13）测试人员说：“没有可运行的程序，我无法进行测试工作” 。错 14）自底向上集成需要测试员编写驱动程序。对 15）测试是可以穷尽的。错 16）自动化测试相比手工测试而言，能发现更多的错误。错 17）软件测试自动化可以提高测试效率，可以代替手工测试。错语句至少被执行一次。对 18）语句覆盖法的基本思想是设计若干测试用例，运行被测程序，使程序中的每个可执行19） Beta 测试是验收测试的一种。对 20 ）软件开发全过程的测试工作都可以实现自动化。错 21 ）软件只要经过严格严谨的内部测试之后，可以做到没有缺陷。错 22）结构性测试是根据软件的规格说明来设计测试用例。错 23 ）软件测试工具可以代替软件测试员。错 24 ）通过软件测试，可以证明程序的正确性。错 25）在单元测试中，驱动程序模拟被测模块工作过程中所调用的下层模块。错26）软件缺陷可能会被修复，可能会被保留或者标识出来。对 27）测试用例是由测试输入数据和对应的实际输出结果这两部分组成。错28）单元测试通常由开发人员进行。对 （29 ）现在人们普遍认为软件测试不应该贯穿整个软件生命周期，而应在编程完毕之后再进行，这样可以降低成本。错 （30）文档的错误不是软件缺陷。错 31） Junit 只是单元测试工具，并不能进行现回归测试。 （32）判定表法是一种白盒测试方法。
软件测试习题集及答案
第一章 什么是软件测试？软件测试的目的和作用是什么? 答： 软件测试是在受控制的条件下对系统或应用程序进行操作并评价操作的结果。 软件测试的目的是以最少的时间和人力，系统地找出软件中潜在的各种错误和缺陷。测试是为了证明程序有错，而不是证明程序无错。一个成功的测试是发现了至今未发现的错误的测试。 软件测试的原则包括：所有的测试都应追溯到用户的需求；尽早地和不断地进行软件测试；不可能完全的测试，因为输入量太大，执行路径太多；注意测试中的群集现象；避免测试自己的程序；设计周密的测试用例。 软件缺陷产生的原因？ 答：A．软件需求说明书编写的不全面，不完整，不准确，而且经常更改B．软件设计说明书C．软件操作人员的水平D．开发人员不能很好的理解需求明书和沟通不足 软件测试的意义？ 意义： 对产品质量完成全面的评估，为软件产品发布（如验收测试）、软件系统部署（如性能规划测试）、软件产品鉴定（第三方独立测试）委托方和被委托方纠纷仲裁（第三方独立测试）和其它决策提供信息； 通过持续的测试（包括需求评审、设计评审、代码评审等）可以对产品质量提供持续的、快速的反馈，从而在整个开发过程中不断地、及时地改进产品的质量，并减少各种返工，降低软件开发的成本； 通过测试发现所要交付产品的缺陷，特别是尽可能地发现各种严重的缺陷，降低或消除产品质量风险，提高客户的满意度，扩大市场份额，提高客户的忠诚度。 通过对缺陷进行分析，找出缺陷发生的根本原因（软件过程中的问题，包括错误的行为方式）或总结出软件产品的缺陷模式，避免将来犯同样的错误或产生类似的产品问题，达到缺陷预防的目的 软件测试与软件开发的关系？ 答：软件开发是一个系统的工程。包括需求分析，设计，编码，测试，维护等等几个环节。测试是整个软件开发流程中的一个环节。 简述软件测试过程v模型和w模型的主要区别： V模型是软件开发完了之后才开始测试活动。 而W模型则是软件测试活动伴随着软件开发活动。和软件开发同时开展。 W模型更加敏捷，对于软件的交付期和品质的保证能力更强。 第二章 测试计划的目的是什么？ 答：软件测试计划是指导测试过程的纲领性文件，包含了产品概述、测试策略、测试方法、测试区域、测试配置、测试周期、测试资源、测试交流、风险分析等内容。借助软件测试计划，参与测试的项目成员，尤其是测试管理人员，可以明确测试任务和测试方法，保持测试实施过程的顺畅沟通，跟踪和控制测试进度，应对测试过程中的各种变更。 什么是黑盒测试?黑盒测试主要采用的技术有哪些? 答：黑盒测试又称为功能测试、数据驱动测试和基于规格说明的测试。它从用户观点出发的测试。用这种方法进行测试时，把被测试程序当作一个黑盒，在不考虑程序内部结构的内部
(整理)基本路径测试
白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。 其中运用最为广泛的是基本路径测试法。 基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。 设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。 在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。包括以下4个步骤和一个工具方法： 1. 程序的控制流图：描述程序控制流的一种图示方法。 2. 程序圈复杂度：McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。 3. 导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果。 4. 准备测试用例：确保基本路径集中的每一条路径的执行。 工具方法： 图形矩阵：是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地确定一个基本路径集。 程序的控制流图：描述程序控制流的一种图示方法。 圆圈称为控制流图的一个结点，表示一个或多个无分支的语句或源程序语句 流图只有二种图形符号： 图中的每一个圆称为流图的结点，代表一条或多条语句。
流图中的箭头称为边或连接，代表控制流 任何过程设计都要被翻译成控制流图。 如何根据程序流程图画出控制流程图? 在将程序流程图简化成控制流图时，应注意： n 在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。 n 边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。 如下页图所示 n 如果判断中的条件表达式是由一个或多个逻辑运算符(OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为一系列只有单条件的嵌套的判断。 例如： 1 if a or b 2 x 3 else 4 y 对应的逻辑为：
白盒测试方法习题测验及答案
[试题分类]: [04]白盒测试方法/[0400][综合]白盒测试方法 1. 下面不属于白盒测试能保证的是。 A.模块中所有独立途径至少测试一次 B.测试所以逻辑决策真和假两个方面 C.在所有循环的边界内部和边界上执行循环体 D.不正确或漏掉的功能 答案:D 分数:1 题型:单选题 难度:1 2.因果图方法是根据（）之间的因果关系来设计测试用例的。 A.输入与输出 B.设计与实现 C.条件与结果 D.主程序与子程序 答案:A 分数:1 题型:单选题 难度:1 3.使用白盒测试方法时，确定测试数据应根据（）和指定的覆盖标准。 A.程序的内部逻辑 B.程序的复杂程度 C.使用说明书 D.程序的功能 答案:A 分数:1 题型:单选题 难度:1 4.软件测试中常用的静态分析方法是（）和接口分析。 A.引用分析 B.算法分析 C.可靠性分析 D.效率分析 答案:A 分数:1 题型:单选题 难度:1 5.软件测试中常用的静态分析方法是引用分析和（）。 A.引用分析 B.算法分析 C.可靠性分析 D.接口分析 答案:D 分数:1 题型:单选题 难度:1 6.白盒方法中常用的方法是（）方法。 A.路径测试 B.等价类 C.因果图 D.归纳测试 答案:A 分数:1 题型:单选题
7.在软件工程中，白箱测试法可用于测试程序的内部结构。此方法将程序看作是（） A.路径的集合 B.循环的集合 C.目标的集合 D.地址的集合 答案:A 分数:1 题型:单选题 难度:1 8.软件测试白箱测试是对软件的结构进行测试，下述： Ⅰ.边缘值分析Ⅱ.语句测试 Ⅲ.分值测试Ⅳ.路经测试 （）是其应包括的内容。 A.Ⅰ B.Ⅱ和Ⅲ C.Ⅲ和Ⅳ D.Ⅱ.Ⅲ和Ⅳ 答案:D 分数:1 题型:单选题 难度:1 9.在进行单元测试时，常用的方法是（）。 A.采用白盒测试，辅之以黑盒测试 B.采用黑盒测试，辅之以白盒测试 C.只适用白盒测试 D.只适用黑盒测试 答案:A 分数:1 题型:单选题 难度:1 10.白盒测试法一般使用于（）测试。 A.单元 B.系统 C.集成 D.确认 答案:A 分数:1 题型:单选题 难度:1 [试题分类]: [04]白盒测试方法/[0401]逻辑覆盖法 11.关于条件测试错误的是（） A.可以检查程序中所包含的逻辑条件 B.条件中包含的错误有布尔算子错误 C.条件中包含的错误有布尔变量错误 D.条件中包含的错误有接口错误 答案:D 分数:1 题型:单选题 难度:1 12.关于条件中包含的错误类型说法错误的是（） A.关系算子错误 B.算术表达式错误 C.条件中包含的错误有布尔变量错误 D.条件中包含的错误有接口错误
软件测试练习题及答案
练习题 一、判断 （01）测试是为了验证软件已正确地实现了用户的要求。错 （02）白盒测试仅与程序的内部结构有关，完全可以不考虑程序的功能要求。对 （03）白盒测试不仅与程序的内部结构有关，还要考虑程序的功能要求。错 （04）程序员兼任测试员可以提高工作效率。错 （05）黑盒测试的测试用例是根据应用程序的功能需求设计的。对 （06）当软件代码开发结束时，软件测试过程才开始。错 （07）据有关数据统计，代码中60%以上的缺陷可以通过代码审查发现出来。对（08）无效等价类是无效的输入数据构成的集合，因此无需考虑无效的等价类划分。错（09）软件本地化就是将一个软件产品按特定国家或语言市场的需要翻译过来。错（10）在压力测试中通常采用的是黑盒测试方法。对 （11）软件测试员无法对产品说明书进行白盒测试。对 （12）功能测试工具主要适合于回归测试。对 （13）测试人员说：“没有可运行的程序，我无法进行测试工作”。错 （14）自底向上集成需要测试员编写驱动程序。对 （15）测试是可以穷尽的。错 （16）自动化测试相比手工测试而言，能发现更多的错误。错 （17）软件测试自动化可以提高测试效率，可以代替手工测试。错 （18）语句覆盖法的基本思想是设计若干测试用例，运行被测程序，使程序中的每个可执行语句至少被执行一次。对 （19）Beta测试是验收测试的一种。对 （20）软件开发全过程的测试工作都可以实现自动化。错 （21）软件只要经过严格严谨的内部测试之后，可以做到没有缺陷。错 （22）结构性测试是根据软件的规格说明来设计测试用例。错 （23）软件测试工具可以代替软件测试员。错 （24）通过软件测试，可以证明程序的正确性。错 （25）在单元测试中，驱动程序模拟被测模块工作过程中所调用的下层模块。错（26）软件缺陷可能会被修复，可能会被保留或者标识出来。对 （27）测试用例是由测试输入数据和对应的实际输出结果这两部分组成。错（28）单元测试通常由开发人员进行。对 （29）现在人们普遍认为软件测试不应该贯穿整个软件生命周期，而应在编程完毕之后再进行，这样可以降低成本。错 （30）文档的错误不是软件缺陷。错 （31）Junit只是单元测试工具，并不能进行现回归测试。错 （32）判定表法是一种白盒测试方法。错 （33）白盒测试不考虑程序内部结构。错 （34）在单元测试中，桩程序模拟被测模块工作过程中所调用的下层模块。对
白盒测试和黑盒测试
白盒测试 白盒测试，又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子部的东西以及里面是如何运作的。"白盒"法全面了解程序部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。 采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。在动态分析技术中,最重要的技术是路径和分支测试。下面要介绍的六种覆盖测试方法属于动态分析方法。 中文名：白盒测试 外文名：white-box testing 别称：结构测试、透明盒测试 白盒测试测试方法 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。六种覆盖标准发现错误的能力呈由弱到强的变化： 1.语句覆盖每条语句至少执行一次。 2.判定覆盖每个判定的每个分支至少执行一次。 3.条件覆盖每个判定的每个条件应取到各种可能的值。 4.判定/条件覆盖同时满足判定覆盖条件覆盖。 5.条件组合覆盖每个判定中各条件的每一种组合至少出现一次。 6.路径覆盖使程序中每一条可能的路径至少执行一次。 白盒测试要求
白盒测试方法详细说明
白盒测试方法 一、静态结构分析法 程序的结构形式是白盒测试的主要依据。研究表明程序员38%的时间花费在理解软件系统上，因为代码以文本格式被写入多重文件中，这是很难阅读理解的，需要其它一些东西来帮助人们阅读理解，如各种图表等，而静态结构分析满足了这样的需求。 在静态结构分析中，测试者通过使用测试工具分析程序源代码的系统结构、数据结构、数据结构、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图、子程序表、宏和函数参数表等各类图形图标，可以清晰地标识整个软件系统的组成结构，使其便于阅读和理解，然后可以通过分析这些图标，检查软件有没有存在缺陷或错误。 其中函数调用关系图通过应用程序中各函数之间的调用关系展示了系统的结构。通过查看函数调用关系图，可以检查函数之间的调用关系是否符合要求，是否存在递归调用，函数的调用曾是是否过深，有没有存在独立的没有被调用的函数。从而可以发现系统是否存在结构缺陷，发现哪些函数是重要的，哪些是次要的，需要使用什么级别的覆盖要求...... 模块控制流图是与程序流程图相类似的由许多节点和连接节点的边组成的一种图形，其中一个节点代表一条语句或数条语句，边代表节点间控制流向，它显示了一个函数的内部逻辑结构。模块控制流图可以直观地反映出一个函数的内部逻辑结构，通过检查这些模块控制流图，能够很快发现软件的错误与缺陷 二、代码检查 代码检查包括桌面检查、代码审查和走查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码逻辑表达的正确性，代码结构的合理性等方面；发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的内容，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。 代码检查方法 1、代码检查法 （1）桌面检查：这是一种传统的检查方法，由程序员检查自己编写的程序。程序员在程序通过编译之后，对源程序代码进行分析、检验，并补充相关文档，目的是发现程序中的错误。由于程序员熟悉自己的程序及其程序设计风格，桌面检查由程序员自己进行可以节省很多的检查时间，但应避免主观片面性 （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）的输入值可以达到判定条件覆盖。（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
实训题目基本路径测试用例设计上机
实训题目基本路径测试用例设计上机 文稿归稿存档编号：[KKUY-KKIO69-OTM243-OLUI129-G00I-FDQS58-
实训题目：基本路径测试用例设计------------上机 实训目的： 1、一步熟悉白盒测试的方法和策略 2、点掌握圈复杂度概念和基本路径测试用例设计方法 3、增强测试经验 实训地点：机房 实训课时：2课时 实训重点、难点：基本路径测试用例设计 实训安排：首先讲解基本路径测试设计测试用例的步骤，要求学生注意总结方法和技巧，然后布置上机任务，要求学生对照课件和课本完成上机任务。老师在机房进行辅导。 实训步骤： 一、Void sort(int i,int j,int k) 1 { 2 int m,n,p; 3 m=n=p=0; 4 if (i> 5 and j<8) 5m++; 6else 7 if(k>=9) 8 n++; 9 else 10 p++;
11 Printf(“%d,%d,%d”,m,n,p); 12 } 按照基本路径测试方法设计测试用例? 1、画流图，计算复杂度 2、导出测试用例 阅读下列说明，回答问题1 至问题3，将解答填入答题纸的对应栏内。 【说明】 使用基本路径法设计出的测试用例能够保证程序的每一条可执行语句在测试过程中至少执行一次。以下代码由C 语言书写，请按要求回答问题。 Int IsLeap(int year) 1 { 2 if (year % 4 == 0) 3 { 4 if (year % 100 == 0) 5 { 6 if ( year % 400 == 0) 7 leap = 1; 8 else 9 leap = 0; 10 } 11 else 12 leap = 1; 13 }
白盒测试方法实验报告
实验报告 课程名称软件测试题目白盒方法测试 院系信息工程学院 班级计算机 学号 学生姓名 指导老师 日期 2019年
一、实验题目 白盒方法测试 二、实验目的 使学生能够更进一步理解白盒测试方法。 能够区分语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖及路径覆盖所达到的覆盖层次，并能用各层次覆盖的设计思想设计相应的测试用例。 区分语句覆盖、判定覆盖、条件覆盖的异同，掌握其测试用例设计方法和程序特征； 三、实验环境 Windows系统平台和Dev-C++开发环境。 四、实验内容 某程序的逻辑设计如下图所示，自行分析程序结构，请为该程序设计测试用例使其分别满足：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖及路径覆盖，并按照测试用例测试程序，完善测试用例各项内容的填写。 #include 4 五、实验步骤 1.依据程序逻辑结构图分析程序结构，找出程序的各种组合。 2.依据实验要求设计测试用例使测试达到特定覆盖。 3.选择自己熟悉的语言编写程序。 4.用各种测试用例测试程序。 5.1语句覆盖 特点：语句覆盖要求设计足够多的测试用例，运行被测程序，使得程序中每 条语句至少被执行一次。在本例中，可执行语句是指语句块1到语句块4中的语 句。 优点：可以很直观地从流程图得到测试用例，可以测试所有的执行语句。 缺点：语句覆盖不能准确的判断运算中的逻辑关系错误。假设第一个判断语 句if(x>=50 && y>=50)中的“&&”被错误地写成了“||”，即if(x>=50 || y>=50)，使 用上面设计出来的一组测试用例来进行测试，仍然可以达到100%的语句覆盖。 在六种逻辑覆盖标准中，语句覆盖标准最弱的。 实验二白盒测试 一、实验目的 通过对于实例程序的测试，熟悉结构性测试的基本方法。 二、实验要求 （1）综合运用结构性测试方法（如逻辑覆盖、基本路径测试等方法）对被测程序进行测试，找出whiteBox.exe程序中存在的缺陷。 三、测试用例的设计 1.对于Triangle Program的测试 Private Sub triangle(a As Long, b As Long, c As Long, progOutput As String) Dim IsATriangle As Boolean 'Are a, b, and c sides of a Triangle? Node (0) If (a < b + c) And (b < a + c) Then Node (1) IsATriangle = True Else Node (2) IsATriangle = False progOutput = "Not a Triangle" End If ' Determine Triangle Type Node (3) If IsATriangle Then Node (4) If (a = b) And (b = c) Then Node (5) progOutput = "Equilateral" Else Node (6) If (a = b) Or (a = c) Then Node (7) progOutput = "Isosceles" Else Node (8) If (a * a = b * b + c * c) Or (b * b = a * a + c * c) Or (c * c = a * a + b * b) Then Node (9) progOutput = "Right Triangle" Else Node (10) progOutput = "Scalene" End If Node (11) End If Node (12) End If Node (13) End If Node (14) End Sub （1）程序段的控制流图如下：软件工程白盒测试文档