白盒与黑盒测试

《白盒与黑盒测试》由会员分享，可在线阅读，更多相关《白盒与黑盒测试（22页珍藏版）》请在金锄头文库上搜索。

1、白盒测试白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测 试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是 否都能按预定要求正确工作。这一方法是把测试对象看作一个打开的盒子，测试人员依据 程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在 不同点检查程序的状态，确定实际的状态是否与预期的状态一致。1概述白盒测试1又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试 是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒 子内部的东西以及里面是如何运作的。白盒法全面了解程

2、序内部逻辑结构、对所有逻辑路 径进行测试。白盒法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结 构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。采用什么方法对软件进行测试呢？常用的软件测试方法有两大类:静态测试方法和动态 测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模 拟技术对软件进行分析和测试;而软件的动态测试是通过输入一组预先按照一定的测试准则 构造的实例数据来动态运行程序，而达到发现程序错误的过程。在动态分析技术中，最重要 的技术是路径和分支测试。下面要介绍的六种覆盖测试方法属于动态分析方法。测试方法白盒测试的测试方

3、法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、 基本路径测试法、域测试、符号测试、路径覆盖和程序变异。白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句 覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。六种覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路 径覆盖发现错误的能力呈由弱至强的变化。语句覆盖每条语句至少执行一次。判定覆盖每个 判定的每个分支至少执行一次。条件覆盖每个判定的每个条件应取到各种可能的值。判定/ 条件覆盖同时满足判定覆盖条件覆盖。条件组合覆盖每个判定中各条件的每一种组合至少出 现一次。路径覆盖

4、使程序中每一条可能的路径至少执行一次。要求1. 保证一个模块中的所有独立路径至少被使用一次；2. 对所有逻辑值均需测试true和false；3. 在上下边界及可操作范围内运行所有循环；4. 检查内部数据结构以确保其有效性。目的通过检查软件内部的逻辑结构，对软件中的逻辑路径进行覆盖测试;在程序不同地方设 立检查点，检查程序的状态，以确定实际运行状态与预期状态是否一致。特点依据软件设计说明书进行测试、对程序内部细节的严密检验、针对特定条件设计测试用 例、对软件的逻辑路径进行覆盖测试。实施步骤1. 测试计划阶段：根据需求说明书，制定测试进度。2. 测试设计阶段：依据程序设计说明书，按照一定规范化的方

5、法进行软件结构划分和设 计测试用例。3. 测试执行阶段：输入测试用例，得到测试结果。4. 测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。优缺点1. 优点迫使测试人员去仔细思考软件的实现可以检测代码中的每条分支和路径揭示隐藏在代码中的错误对代码的测试比较彻底最优化2. 缺点.乒再昂贵无法检测代码中遗漏的路径和数据敏感性错误不验证规格的正确性局限但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了 设计规范，即程序本身是个错误的程序。第二，穷举路径测试不可能查出程序中因遗漏路径 而出错。第三，穷举路径测试可能发现不了一些与数据相关的错误。2工具

6、挑选白盒测试白盒测试主要用在具有高可靠性要求的软件领域，例如：军工软件、航天航空软件、工 业控制软件等等。白盒测试工具在选购时应当主要是对开发语言的支持、代码覆盖的深度、 嵌入式软件的测试和测试的可视化等。语言支持白盒测试工具是对源代码进行的测试，测试的主要内容包括词法分析与语法分析、静态 错误分析、动态检测等。但是对于不同的开发语言，测试工具实现的方式和内容差别是较大 的。测试工具主要支持的开发语言包括：标准C、C+、Visual C+、Java和Visual J+覆盖深度从覆盖源程序语句的详尽程度分析，逻辑覆盖标准包括以下不同的覆盖标准:语句覆盖、 判定覆盖、条件覆盖、条件判定组合覆盖、多

7、条件覆盖和修正判定条件覆盖。语句覆盖为了暴露程序中的错误，程序中的每条语句至少应该执行一次。因此语句 覆盖(Statement Coverage)的含义是：选择足够多的测试数据，使被测程序中每条语句 至少执行一次。语句覆盖是很弱的逻辑覆盖。判定覆盖比语句覆盖稍强的覆盖标准是判定覆盖(Decision Coverage)。判定覆盖的 含义是:设计足够的测试用例，使得程序中的每个判定至少都获得一次“真值”或“假值”， 或者说使得程序中的每一个取“真”分支和取“假”分支至少经历一次，因此判定覆盖又称 为分支覆盖。条件覆盖在设计程序中，一个判定语句是由多个条件组合而成的复合判定。为了更彻 底地实现逻辑

8、覆盖，可以采用条件覆盖(Condition Coverage)的标准。条件覆盖的含义是： 构造一组测试用例，使得每一判定语句中每个逻辑条件的可能值至少满足一次。多条件覆盖。多条件覆盖也称条件组合覆盖，它的含义是：设计足够的测试用例，使 得每个判定中条件的各种可能组合都至少出现一次。显然满足多条件覆盖的测试用例是一定 满足判定覆盖、条件覆盖和条件判定组合覆盖的。修正条件判定覆盖。修正条件判定覆盖是由欧美的航空/航天制造厂商和使用单位联 合制定的“航空运输和装备系统软件认证标准”，在国外的国防、航空航天领域应用广泛。 这个覆盖度量需要足够的测试用例来确定各个条件能够影响到包含的判定的结果。它要求满

9、 足两个条件：首先，每一个程序模块的入口和出口点都要考虑至少要被调用一次，每个程序 的判定到所有可能的结果值要至少转换一次；其次，程序的判定被分解为通过逻辑操作符 (and、or)连接的布尔条件，每个条件对于判定的结果值是独立的。不同的测试工具对于代码的覆盖能力也是不同的，通常能够支持修正条件判定覆盖的测 试工具价格是极其昂贵的。嵌入式测试对于嵌入式软件的测试，我们还需要一方面进一步考虑测试工具对于嵌入式操作系统的 支持能力，例如DOS、Vxworks、Neculeus、Linux和Windows CE等；另一方面还需要 考虑测试工具对于硬件平台的支持能力，包括是否支持所有64/32/16位C

10、PU和MCU，是 否可以支持PCI/VME/CPCI总线。可视化白盒测试是工作量巨大并且枯燥的工作，可视化的设计对于测试来说是十分重要的。在 选购白盒测试工具时，应当考虑该款测试工具的可视化是否良好，例如：测试过程中是否可 以显示覆盖率的函数分布图和上升趋势图，是否使用不同的颜色区分已执行和未执行的代码 段显示分配内存情况实时图表等，这些对于测试效率和测试质量的提高是具有很大的作用 的。3测试方法白盒测试的测试方法中运用最为广泛的是基本路径测试法。简介基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基 本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在

11、测试中程序的每个可执行语句至少执行一次。在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合， 从而设计测试用例。包括以下4个步骤和一个工具方法：1. 程序的控制流图：描述程序控制流的一种图示方法。2. 程序圈复杂度：McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合 中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的 上界。3. 导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果。4. 准备测试用例：确保基本路径集中的每一条路径的执行。工具方法图形矩阵：是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地

12、确定一 个基本路径集。程序的控制流图：描述程序控制流的一种图示方法。圆圈称为控制流图的一个结点，表示一个或多个无分支的语句或源程序语句流图只有二种图形符号：图中的每一个圆称为流图的结点，代表一条或多条语句。流图中的箭头称为边或连接，代表控制流任何过程设计都要被翻译成控制流图。如何根据程序流程图画出控制流程图？在将程序流程图简化成控制流图时，应注意：在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。步骤基本路径测试法的步骤：第一步：画出控制流图流程图用来描述程序控制结构。可将流程图映射到一个相应的流图（假设流程图的菱形

13、决定框中不包含复合条件）。在流图中，每一个圆，称为流图的结点，代表一个或多个语句。 一个处理方框序列和一个菱形决测框可被映射为一个结点，流图中的箭头，称为边或连接， 代表控制流，类似于流程图中的箭头。一条边必须终止于一个结点，即使该结点并不代表任 何语句（例如：if-else-then结构）。由边和结点限定的范围称为区域。计算区域时应包括图外 部的范围。第二步：计算圈复杂度圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的 基本的独立路径数目，为确保所有语句至少执行一次的测试数量的上界。独立路径必须包含 一条在定义之前不曾用到的边。有以下三种方法计算圈复杂度：流图中区

14、域的数量对应于环型的复杂性；给定流图G的圈复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图 中结点的数量；给定流图G的圈复杂度V(G)，定义为V(G)=P+1，P是流图G中判定结点的数量。第三步：导出测试用例根据上面的计算方法，可得出四个独立的路径。(一条独立路径 是指，和其他的独立路径相比，至少引入一个新处理语句或一个新判断的程序通路。V(G) 值正好等于该程序的独立路径的条数。)路径1： 4-14路径2： 4-6-7-14路径3： 4-6-8-10-13-4-14路径4： 4-6-8-11-13-4-14根据上面的独立路径，去设计输入数据，使程序分别执行到上面四条路

15、径。4三步法1) 根据代码的功能，人工设计测试用例进行基本功能测试；2) 统计白盒覆盖率，为未覆盖的白盒单位设计测试用例，实现完整的白盒覆盖，比 较理想的覆盖率是实现100%语句、条件、分支、路径覆盖；3) 自动生成大量的测试用例，捕捉程序员未处理某些特殊输入形成的错误。第1步的测试用例通常是现成的，因为详细设计文档会规定程序的基本功能，没有文档 的，程序员在编程时也要想清楚程序的功能，这些基本功能就是基本测试用例；第2步是在第1步的基础上，检查未覆盖的白盒单位，由于未覆盖的逻辑单位通常对应 未测试的等价类，因此第2步可以找出第1步所遗漏的测试用例；第3步用自动动态测试弥补第2步的固有缺陷。三步法尽量避免重复工作，白盒方法和黑盒方法相结合，人工方法和自动方法相补充， 如果第2步的覆盖率比较理想，那么基本上可以保证找出所有等价类。在开发过程允许的限 度内，三步法已接近极限，当得起彻底测试四个字。5相关区别概述黑盒测试也称功能测试或数据驱动测试，它是在已知产品所应具有的功能，通过测试来 检测每个功能是否都能正常使用，在测试时，把程序看作一个不能打开的黑盒子，在完全不 考虑程序内部结构和内部特性的情况下，测试者在程序接口进行测试，它只检查程序功能是 否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数据