2024年6月8日发(作者：)

一、

白盒测试

白盒测试（White-box Testing，又称逻辑驱动测试,结构测试）是把测试对象看作一

个打开的盒子。利用白盒测试法进行动态测试时，需要测试软件产品的内部结构和处理过

程，不需测试软件产品的功能。白盒测试又称为结构测试和逻辑驱动测试。

白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语

句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。

六种覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路

径覆盖发现错误的能力呈由弱至强的变化。语句覆盖每条语句至少执行一次。判定覆盖每

个判定的每个分支至少执行一次。条件覆盖每个判定的每个条件应取到各种可能的值。判

定/条件覆盖同时满足判定覆盖条件覆盖。条件组合覆盖每个判定中各条件的每一种组合至

少出现一次。路径覆盖使程序中每一条可能的路径至少执行一次。

白盒测试也称结构测试或逻辑驱动测试，它是知道产品内部工作过程，可通过测试来

检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，

检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能，白盒测试的主

要方法有逻辑驱动、基路测试等，主要用于软件验证。

"白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路

径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，

得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有

错误。第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。

第二，穷举路径测试不可能查出程序中因遗漏路径而出错。第三，穷举路径测试可能发现

不了一些与数据相关的错误。

白盒测试目前主要用在具有高可靠性要求的软件领域，例如：军工软件、航天航空软

件、工业控制软件等等。白盒测试工具在选购时应当主要是对开发语言的支持、代码覆盖

的深度、嵌入式软件的测试、测试的可视化等。

对开发语言的支持：白盒测试工具是对源代码进行的测试，测试的主要内容包括词法

分析与语法分析、静态错误分析、动态检测等。但是对于不同的开发语言，测试工具实现

的方式和内容差别是较大的。目前测试工具主要支持的开发语言包括：标准C、C＋＋、

Visual C＋＋、Java、Visual J＋+等。

代码的覆盖深度：从覆盖源程序语句的详尽程度分析，逻辑覆盖标准包括以下不同的

覆盖标准：语句覆盖、判定覆盖、条件覆盖、条件判定组合覆盖、多条件覆盖和修正判定

条件覆盖。

·语句覆盖 为了暴露程序中的错误，程序中的每条语句至少应该执行一次。因此语句

覆盖（STatement Coverage）的含义是：选择足够多的测试数据，使被测程序中每条语

句至少执行一次。语句覆盖是很弱的逻辑覆盖。

·判定覆盖 比语句覆盖稍强的覆盖标准是判定覆盖（DECision Coverage）。判定覆盖

的含义是：设计足够的测试用例，使得程序中的每个判定至少都获得一次“真值”或“假

值”，或者说使得程序中的每一个取“真”分支和取“假”分支至少经历一次，因此判定覆

盖又称为分支覆盖。

·条件覆盖 在设计程序中，一个判定语句是由多个条件组合而成的复合判定。为了更