白盒测试技术

南天培训教材系列 版权所有（ C）南天信息 白盒测试技术 广州南天电脑系统有限公司 质量中心 南天培训教材系列 版权所有（ C）南天信息 目录 白盒 测试概 述 1 白盒 测试 基本技 术 2 白盒 测试 方法 3 白盒 测试 基本 概 念 法和 语 法分析技 术 态错误 分析技 术 序 插桩 技 术 码检查 法 态结构 分析法 态质 量度量法 辑 覆盖法 本路 径 覆盖法 他方法 天培训教材系列 版权所有（ C）南天信息 为什么要进行白盒测试 从清洗面包机讲起 现在假定这个面包机多年未用，内部都生锈了，现在要清洗它，类似于我们开发的软件，软件有 得通过测试来清理。 有两种洗法，一是拿水从上往下灌，这是系统测试的方法。另一种是拆开来洗，拆开机器后，拿抺布沾点清洁剂，把各零件的坑坑槽槽擦洗一遍，然后组装回来，再用水从上往下冲一遍，拆开来洗是白盒方法，组装回来用水冲是黑盒方式，相当于白盒测试之后再追加一次系统测试。 所以，软件的白盒测试不可或缺，因为遗留 像面包机没洗净留铁锈会致癌，还因为软件系统远比面包机复杂，不拆开来怎么能洗干净！ 南天培训教材系列 版权所有（ C）南天信息 第一章 白盒测试的基本概念 白盒测试又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。盒子指的是被测试的软件，白盒指的是盒子是可视的 ,你清楚盒子内部的东西以及里面是如何运作的。白盒测试是被测代码可见的测试 。与黑盒测试的概念是相反的。 50*(1+(1+360盒测试 带上 南天培训教材系列 版权所有（ C）南天信息 第一章 白盒测试的基本概念 白盒测试的原则： 1）保证模块中每一个独立的路径至少执行一次。 2）保证所有判断的每一个分支至少执行一次。 3）保证每一个循环都在边界条件和一般条件下至少执行一次。 4）验证所有内部数据结构的有效性。 南天培训教材系列 版权所有（ C）南天信息 第一章 白盒测试的基本概念 黑 盒 测 试 盒 测 试 黑盒测试 白盒测试 不涉及程序结构 考查程序逻辑结构 用软件规格说明设计测试用例 用程序结构信息生成测试用例 确认测试和系统测试 单元测试和集成测试 某些代码得不到测试 对所有逻辑路径进行测试 南天培训教材系列 版权所有（ C）南天信息 第二章 白盒测试基本技术 词法与语法分析 静态错误分析 程序插桩技术 白盒测试的几种基本技术 南天培训教材系列 版权所有（ C）南天信息 一、词法与语法分析 通过词法与语法分析可以获取软件组成的重要基本因数，包括变量标识符、过程标识符、常量等。 1） 标号交叉引用表 ：列出各模块中出现的全部标号及标号的属性，模块以外的全局、计算标号。 2） 变量交叉引用表 ：列出变量定义及引用信息，变量的属性，变量类型（全局、局部） 3） 子程序、宏和函数表 ：列出各个子程序、宏及函数的属性，输入、输出参数信息。 4） 等价表 ：列出在等价语句和等值语句中出现的全部变量和标号。 5） 常数表 ：列出全部数字常数和字符常数 。 使用这些引用表可以直接查出说明或使用错误、为用户提高辅助信息和做错误预测、程序复杂度计算。 南天培训教材系列 版权所有（ C）南天信息 例子 根据流程图来导出其定义和引用的变量，导出变量交叉引用表来查看程序中存在的问题： 1 2 3 4 5 6 7 8 9 10 11 节点 被定义变量 被引用变量 1 X,Y,Z 2 X W,X 3 X,Y 4 Y,Z 5 Y V,Y 6 Z V,Z 7 V X 8 W Y 9 Z V 10 Z Z 11 Z 南天培训教材系列 版权所有（ C）南天信息 例子（答案） 从定义和引用表来看，该程序有两个错误： 1）语句 2使用了变量 W，而在此之前并未对其定义。 2）语句 5、 6使用变量 V，这在第一次执行循环时也未对其定义过。 此外，该程序还包括一个异常： 3）语句 8对 南天培训教材系列 版权所有（ C）南天信息 表格作用 利用以上表格可以直接找出以下问题： 引用未定义的变量（错误） 未曾使用的定义（错误） 常数传播（可优化） 循环内的不变定义（可优化） 用错的局部变量和全局变量（错误） 不匹配的参数（错误） 不允许的递归（错误） 南天培训教材系列 版权所有（ C）南天信息 二、静态错误分析 类型和单位分析 引用分析 表达式分析 对源程序的类型进行检查，为了强化检查效果， 扩充一些新的数据类型，进行静态预处理程序， 分析程序中的类型错误。 对程序中变量的引用进行检查，发现引用异常错误 （如变量在定义前被引用，变量定义后未被引用）。 采用深度优选的方法遍历程序流图的每一条路径。 建立引用异常的探测工具，包括变量定义表和变量引用表。 对表达式进行分析，以发现和纠正在表达式出现的错误，如： 在表达式中不正确的使用了括号造成错误；数组下标越界错误 ；除数为零；浮点数计算的误差（最复杂）。 接口分析 各模块之间接口一致性。 模块与外部数据库的接口一致性。 形参与实参在类型，数量，顺序，维数，使用上的一致性。 全局变量和公共数据区在使用上的一致性。 南天培训教材系列 版权所有（ C）南天信息 三、程序插桩技术 设计时考虑的问题如下： 明确要探测哪些信息； 在程序的什么部位设置探测点； 需要设计多少个探测点。 探测点设置位置（以 程序块的第一个可执行语句之前； 有标号的可执行语句处； 循环、条件、 go 向程序中插入断言语句来测试： 当断言语句成立时，程序可以继续往下执行，否则将终止该程序。 在动态测试中，是一种基本的测试手段，有广泛的应用。主要借助向程序中插入操作，来实现测试目的的方法（即向源程序中添加一些语句（也称探测器），实现对程序语句的执行、变量的变化等情况进行检查）。 南天培训教材系列 版权所有（ C）南天信息 断言语句 在程序中特定部位插入某些用以判断变量特性的语句，使得程序执行中这些语句得以证实，从而使程序的运行特性得到证实。我们把插入的这些语句称为断言。这一做法是程序正确性证明的基本步骤，尽管算不上严格的证明，但方法本身仍然是很实用的。 在什么情况下该插入断言语句： 1）程序的入口处需要插入断言语句； 2）在判定语句的前后需要插入断言语句； 3）可以判断出变量确切值时，可以插入断言语句来断言变量的值。 南天培训教材系列 版权所有（ C）南天信息 断言语句实例分析 源代码如下： 南天培训教材系列 版权所有（ C）南天信息 断言语句实例分析 使用 ; 0 , 20); 0 , *断言预期结果为 70*/ ; 0 , 20); 0 , *断言预期结果为 30*/ 南天培训教材系列 版权所有（ C）南天信息 包括桌面检查、代码审查和走查等 通过测试工具分析源程序的各种内部结构 用质量度量模型来评估软件的每个方面 通过对程序逻辑结构的遍历实现程序的覆盖 分析控制流图环路复杂性，导出基本可执行路径的集合 代码检查法 静态结构分析法 静态质量度量法 逻辑覆盖法 基本路径测试法 第三章 白盒测试方法 白盒测试的几种测试方法 其他方法 包括域测试、符号测试、 南天培训教材系列 版权所有（ C）南天信息 一、代码检查法 目的： 排除违背程序编写标准的问题 排除违背程序编程风格的问题 找出程序中不可移植的部分 发现程序中不安全、不明确和模糊的部分 确保代码和设计的一致性 确保代码的逻辑表达的正确性 确保代码结构的合理性 南天培训教材系列 版权所有（ C）南天信息 一、代码检查法 由程序员检查自己的程序 程序编译通过后，对源程序代码进行分析、检验，并补充相关的文档，为了发现程序中的错误。 由审查小组静态分析程序 以审查会议的形式审查设计规格说明书、控制流程图、程序文本、有关要求和规范是否存在错误。 由走查小组将程序沿逻辑运行一遍 以会议的形式借助测试用例让程序沿逻辑运行一遍，记录程序的踪迹，对程序的逻辑和功能提出的问题展开讨论，为了能发现更多问题。 代码审查 走查 桌面检查 代码检查方式 南天培训教材系列 版权所有（ C）南天信息 几种检查方式比较 方式名称 执行人员 检查内容、过程 桌面检查 程序员 对源代码进行分析、检验，并补充相关的文档，发现程序中的错误。 代码审查 程序员和测试员组成审查小组 通过阅读、讨论和争议，以程序进行静态分析的过程。 走查 程序员和测试员组成审查小组 通过逻辑运行程序，发现问题。 南天培训教材系列 版权所有（ C）南天信息 代码检查项目 检查变量的交叉引用表。 检查标号的交叉引用表。 检查子程序、宏、函数。 等价性检查。 标准检查。 风格检查。 比较控制流。 选择、激活路径。 对照程序的规格说明和源代码。 补充文档。 南天培训教材系列 版权所有（ C）南天信息 代码检查重点和规则 代码检查重点： 变量命名和类型审查 变量初始值检查 变量作用范围检查 程序逻辑审查 程序语法检查 程序结构检查 根据编程语言以及被测试程序的特点，选择自动化测试工具中内置的合适的编码规则来进行检查。 南天培训教材系列 版权所有（ C）南天信息 编码规范 是程序编写过程中必须遵循的规则，详细规定了代码的语法规则、语法格式等。从以下几个方面的规定进行检查： 排版、注释、标识符命名、可读性、变量、函数、过程、可测性、程序效率、质量保证、代码编辑、编译和审查、代码测试、维护和宏。 南天培训教材系列 版权所有（ C）南天信息 缺陷检查表 缺陷检查表既检查时用到的测试用例，里面包括一些容易出错的地方和以往遇到的典型错误如下：（每种语言有各自的特点） 格式部分。 入口和出口的连接。 程序语言的使用。 存储器的使用。 判断和转移。 性能。 可维护性。 逻辑。 可靠性。 南天培训教材系列 版权所有（ C）南天信息 二、静态结构分析法 静态分析 内部文件调用关系图 子程序表、宏和函数参数表 函数调用关系图 模块控制流图（使用 生成 生成 生成 生成 南天培训教材系列 版权所有（ C）南天信息 二、静态结构分析法 在设计和开发阶段，使用 以在尽可能的早期阶段检测那些关键部分，寻找潜在的错误，并在禁止更改和维护工作之前做更多的工作。 据工程中定义的编程规则自动检查软件代码错误，可直接定位错误。包含大量标准规则，用户也可定制创建规则。自动生成测试报告。 位错误模块，可评估软件质量及复杂程度。提供代码的直观描述，自动生成软件文档。 试覆盖分析，显示没有测试的代码路径，基于源码结构分析。直接反馈测试效率和测试进度，协助进行衰退测试。既可在主机上测试，也可在目标板上测试。支持不同的实时操作系统、支持多线程。可累积合并多次测试结果，自动鉴别低效测试和衰退测试。自动生成定制报告和文档。 代码分别进行静态度量、编程风格检测和测试覆盖率分析 。 南天培训教材系列 版权所有（ C）南天信息 三、静态质量度量法 有效性（ 时间特性、资源特性 ） 可靠性（ 成熟性、容错性、可恢复性 ） 可用性（ 可理解性、易学性、可操作性 ） 轻便性（即可移植性，包括 适应性、可安装性、一致性、可替换性 ） 可维护性（ 可分析性、可修改性、稳定性、可测性 ） 功能性 (适合性、准确性、互操作性、依从性、安全性 ) 质量 南天培训教材系列 版权所有（ C）南天信息 构造质量模型度量可维护性 确定度量的规则：代码行数、注释频度等度量软件的各种行为属性。度量规则参数表参考书本 确定所采用的分类标准：可分析性、可修改性、稳定性和可测性，每个分类标准由一系列度量规则组成，由规则的取值与权重值计算出每个分类标准的取值。分类标准组参考书本 计算出各分类标准后确定代码的质量等级：优秀、良好、一般和较差。 根据分类标准的计算结果来确定质量因素的取值，也分为四个等级：优秀、良好、一般和较差。 可以使用上述得出的计算数据来量化被测程序的质量。 南天培训教材系列 版权所有（ C）南天信息 软件质量评价过程 确立评价需求 确立评价目的 确定产品类型 指定质量模型 1 6 2 6 0 . 1 质量模型 选择度量 建立度量评定等 级 建立评估准则 1 6 2 6 0 . 2 外部度量 1 6 2 6 0 . 3 内部度量 1 8 9 0 5 . 6 评价模块 规定评价 制定评价计划 设计评价 进行度量 与评估准则相比 较 评估结果 执行评价 南天培训教材系列 版权所有（ C）南天信息 四、逻辑覆盖法 这是其中一种动态白盒测试的方法，动态白盒测试也称结构化测试 ，要根据程序的控制结构设计相应的测试用例，原则如下： 1）保证一个模块中的所有独立路径至少被使用一次。 2）对所有逻辑值均需测试 3）在上下边界及可操作范围内运行所有循环。 4）检查内部数据结构以确保其有效性。 逻辑覆盖法是其中一种实用的白盒测试用例设计的方法，是通过对程序逻辑结构的遍历来实现程序的覆盖，是一系列测试过程的总称。 逻辑覆盖标准包括以下几种：语句覆盖（ 判定覆盖（ 条件覆盖（ 条件判定组合覆盖（ 多条件覆盖（ 修正判定条件覆盖（ 南天培训教材系列 版权所有（ C）南天信息 四、逻辑覆盖法 首先，来看个例子 ,源代码如下： !(x=80) & (y=80) (x+y)=140 & (x=90) | (y=90) /* 语句 2 */ is a ； /* 语句 3 */ is a ; /* 语句 1 */ ; 南天培训教材系列 版权所有（ C）南天信息 四、逻辑覆盖法 开始 (x=80) & (y=80) 语句 1 结束 x + y ) =140 & ( (x=90 | y=90) ) 句 2 语句 3 2 3 4 5 6 南天培训教材系列 版权所有（ C）南天信息 1、语句覆盖（ 语句覆盖 (是最起码的结构覆盖要求，要求设计足够多的测试用例，使被测程序中每条语句至少被执行一次。 为了测试例子程序中每条语句都能至少执行一次，可以设计如下的测试用例来实现： （如果此时 1路径上的语句1去掉，那么用例如下） 用例编号 x y 路径 覆盖语句 1 50 50 1-3-5-6 (x=80) & (y=80) 2 90 70 1-3-4-6 ( x + y ) =140 &( (x=90 | y=90) ) 南天培训教材系列 版权所有（ C）南天信息 1、语句覆盖（ 优点 :可以很直观地从源代码得到测试用例，无须细分每条判定表达式。 缺点：由于这种测试方法仅仅针对程序逻辑中显式存在的语句，但对于隐藏的条件和可能到达的隐式逻辑分支，是无法测试的。在本例中去掉了语句 1，那么就少了一条测试路径。在 么语句覆盖测试就不会考虑这种情况。但是我们不能排除这种以外的分支不会被执行，而往往这种错误会经常出现。再如，在 句覆盖执行其中某一个条件分支。那么显然，语句覆盖对于多分支的逻辑运算是无法全面反映的，它只在乎运行一次，而不考虑其他情况。 南天培训教材系列 版权所有（ C）南天信息 2、判定覆盖（ 判定覆盖 (又称分支覆盖，要求设计足够多的测试用例，使得 程序中的每个判定至少有一次为 “ 真值 ” ，有一次为 “ 假值 ” ，即：程序中的每个分支至 少执行一次，每个判断的取真、取假至少执行一次。 为了测试例子程序中每条判定分支获得每一种可能的结果至少测试一次，设计一下测试用例： 用例编号 x y 路径 判定覆盖 1 90 90 1-2-6 (x=80) & (y=80)成立 2 50 50 1-3-5-6 (x=80) & (y=80)不成立， ( x + y ) =140 & ( (x=90 | y=90) )成立 3 90 70 1-3-4-6 ( x + y ) =140 & ( (x=90 | y=90) )不成立 南天培训教材系列 版权所有（ C）南天信息 2、判定覆盖（ 优点：判定覆盖比语句覆盖要多几乎一倍的测试路径，当然也就具有比语句覆盖更强的测试能力。同样判定覆盖也具有和语句覆盖一样的简单性，无须细分每个判定条件就可以得到测试用例。 缺点：往往大部分的判定语句是由多个逻辑条件组合而成（如，判定语句中包含 若仅仅判断其整个最终结果，而忽略每个条件的取值情况，必然会遗漏部分测试路径。 南天培训教材系列 版权所有（ C）南天信息 3、条件覆盖（ 条件覆盖 (构造一组测试用例，使得程序中的每一个判定语句中每个逻辑条件获得各种可能的结果，即每个条件至少有一次为真值，有一次为假值。 为了测试例子程序中每一个判定语句中每个逻辑条件的可能值至少满足一次，设计以下的测试用例： 用例编号 x y 路径 条件覆盖 1 90 70 1-3-4-6 (x=90)为真， (y=80)为假 , ( x + y ) =140 为真 2 40 90 1-3-5-6 (x=80)为假， (y=90)为真， ( x + y ) =140 为假 南天培训教材系列 版权所有（ C）南天信息 3、条件覆盖（ 优点：显然条件覆盖比判定覆盖，增加了对符合判定情况的测试，增加了测试路径。 缺点：要达到条件覆盖，需要足够多的测试用例，但条件覆盖并不能保证判定覆盖。条件覆盖只能保证每个条件至少有一次为真，而不考虑所有的判定结果。 南天培训教材系列 版权所有（ C）南天信息 4、条件判定组合覆盖（ 条件判定组合覆盖 (设计足够的测试用例，使得判定中每个条件的所有可能（真 /假）至少出现一次，并且每个判定本身的判定结果（真 /假）也至少出现一次。 设计相应满足条件判定组合覆盖标准的测试用例如下： 用例编号 x y 路径 条件判定覆盖 1 90 90 1-2-6 x=80为真、 y=80为真 、（ x=90） y=90）为真，（ x+y） =140 为真 2 50 50 1-3-5-6 x=80为假、 y=80为假 、（ x=90） y=90）为假，（ x+y） =140 为假 3 90 70 1-3-4- 6 x=80为真、 y=80为假 、（ x=90） y=90）为真，（ x+y） =140 为真 南天培训教材系列 版权所有（ C）南天信息 4、条件判定组合覆盖（ 优点：判定 /条件覆盖满足判定覆盖准则和条件覆盖准则，弥补了二者的不足。 缺点：判定 /条件覆盖准则的缺点是未考虑条件的组合情况。 南天培训教材系列 版权所有（ C）南天信息 5、多条件覆盖（ 多条件覆盖 (也称条件组合覆盖，要求设计足够的测试用例，使得每个判定中条件的各种可能组合至少出现一次。满足多条件覆盖的测试用例是一定满足判定覆盖、条件覆盖和条件判定组合覆盖的。 设计相应满足多条件覆盖标准的测试用例如下 ： 用例编号 x y 路径 组合覆盖 1 90 90 1-2-6 x=80 ,y=80 2 90 70 1-3- 4-6 x=80,4-6 x=80 4 50 50 1-3- 5-6 5-6 x+y=140,5-6 x+y=90,5-6 x+y= 90 南天培训教材系列 版权所有（ C）南天信息 5、多条件覆盖（ 优点：多重条件覆盖准则满足判定覆盖、条件覆盖和判定 /条件覆盖准则。更改的判定 /条件覆盖要求设计足够多的测试用例，使得判定中每个条件的所有可能结果至少出现一次，每个判定本身的所有可能结果也至少出现一次。并且每个条件都显示能单独影响判定结果。 缺点：线性地增加了测试用例的数量。 判定语句多时，组合数太大。 南天培训教材系列 版权所有（ C）南天信息 6、修正条件判定覆盖（ 修正条件判定覆盖 (首先，每一个程序模块的入口和出口点都要考虑至少要被调用一次，每个程序的判定到所有可能的结果值要至少转换一次；其次，程序的判定被分解为通过逻辑操作符连接的 个条件对于判定的结果值都是独立的。 设计相应满足修正条件判定覆盖标准的测试用例如下： 南天培训教材系列 版权所有（ C）南天信息 6、修正条件判定覆盖（ 用例编号 x y 路径 修正条件判定覆盖 1 90 90 1-2-6 1 2 90 70 1-3- 4-6 2 3 70 90 1-3- 4-6 3 4 50 50 1-3- 5-6 5 70 70 1-3- 5-6 5 6 90 30 1-3- 5-6 7 30 90 1-3- 5-6 4 南天培训教材系列 版权所有（ C）南天信息 7、测试覆盖准则 （ 1） 前面所介绍的逻辑覆盖其出发点似乎是合理的。所谓 “ 覆盖 ” ，就是想要做到全面而无遗漏。但是，事实表明，它并不能真的做到无遗漏。 收了计算机硬件的测试原理，提出了一种经验型的测试覆盖准则。 （ 2） 分支覆盖或路径覆盖，都不足以保证测试数据的有效性。为此，他们提出了一种层次 南天培训教材系列 版权所有（ C）南天信息 五、基本路径覆盖 基本概念 路径：从入口到出口的唯一的一系列分支。 独立路径：从入口到出口的路径，至少经历一 个从未走过的边。 基本路径法：使用线性独立路径把覆盖的路径 数压缩到一定限度内。 南天培训教材系列 版权所有（ C）南天信息 五、基本路径覆盖 第一步 第二步 第三步 第五步 第四步 得出结果 以详细设计或源代码 为基础，导出程序的 控制流图 。 计算得到控制流图 v(g) 。 V(G) E（边数） N（节点数） 2 或 V(G) P（判定节 点数） 1 或区域数 确定线性无关的路 径的基本集 ，导出测 试用例。 准备测试用例，确 保基本路径集中每 条路径的执行 。 根据编写好的测试用 例来执行测试。 南天培训教材系列 版权所有（ C）南天信息 例子 有以下的 基本路径测试法进行测试： x=0; y=0; 0) = x=y+2; =x=y+10; x=y+20; 南天培训教材系列 版权所有（ C）南天信息 例子 画出程序流程图： 4 6 7 14 8 10 11 13 南天培训教材系列 版权所有（ C）南天信息 例子 控制流图如下： 4 6 7 14 8 10 11 13 南天培训教材系列 版权所有（ C）南天信息 例子 二、计算圈复杂度，计算如下： 1）流图中有四个区域。 2） V(G)=10条边 2=4。 3） V(G)=3个判定结点 +1=4 。 三、导出测试用例 路径 1： 4径 2： 4径 3： 4径 4： 4天培训教材系列 版权所有（ C）南天信息 例子 四、准备测试用例： 路径 1： 4入数据： ,或者取 的某一个值 预期结果： x=0 路径 2： 4入数据： , 预期结果： x=2 路径 3： 4入数据： , 预期结果： x=10 路径 4： 4入数据： , 预期结果： x=20 南天培训教材系列 版权所有（ C）南天信息 五、基本路径法 基本路径法缺点： 缺点 1：只考虑每个判定表达式的取值，并没有检验表达 式中条件的各种可能组合情况 解决办法： 1、拆分 2、和条件覆盖法结合起来使用 缺点 2：对循环结构测试不充分 解决办法：对循环结构进行补充测试 南天培训教材系列 版权所有（ C）南天信息 六、其他白盒测试方法 域测试 符号测试 方法 A B 程序变异 D C 允许程序的输入不