白盒测试又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，即清楚盒子内部的东西以及里面是如何运作的。“白盒”法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。“白盒”法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。
简介
白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、
逻辑覆盖法、基本
路径测试法、
域测试、符号测试、
路径覆盖和程序变异。
白盒测试法的覆盖标准有
逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括
语句覆盖、
判定覆盖、
条件覆盖、判定/条件覆盖、
条件组合覆盖和
修改条件判断覆盖。六种覆盖标准发现错误的能力呈由弱到强的变化：
1.语句覆盖每条语句至少执行一次。
2.判定覆盖每个判定的每个分支至少执行一次。
3.条件覆盖每个判定的每个条件应取到各种可能的值。
4.判定/条件覆盖同时满足判定覆盖条件覆盖。
5.条件组合覆盖每个判定中各条件的每一种组合至少出现一次。
6.修改条件判断覆盖每一个判断的所有可能结果都出现过、每一个判断中所有条件的所有可能结果都出现过、每一个进入点及结束点都执行过、判断中每一个条件都可以独立的影响判断的结果。
目的
通过检查软件内部的逻辑结构，对软件中的逻辑路径进行覆盖测试。在程序不同地方设立检查点，检查程序的状态，以确定实际运行状态与预期状态是否一致。
原则
（1）一个模块中的所有独立路径至少被测试一次。
（2）所有逻辑值均需测试true和false两种情况。
（3）检查程序的内部数据结构，保证其结构的有效性。
（4）在取值的上、下边界及可操作范围内运行所有循环。
实施阶段
2.测试设计阶段：依据程序设计说明书，按照一定规范化的方法进行软件结构划分和设计测试用例。
3.测试执行阶段：输入测试用例，得到测试结果。
4.测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。
分类
白盒测试的方法总体上分为静态分析方法和动态分析方法两大类。
静态分析是一种不通过执行程序而进行测试的技术。静态分析的关键功能是检查软件的表示和描述是否一致，有无冲突或者歧义。
动态分析是当软件系统在模拟的或真实的环境中执行之前、之中和之后，对软件系统行为的分析。动态分析包含了程序在受控的环境下使用特定的期望结果进行正式的运行。它显示了一个系统在检查状态下是正确还是不正确。在动态分析技术中，最重要的技术是路径和分支测试。
三步法
1. 根据
代码的功能，人工设计
测试用例进行基本
功能测试；
2. 统计白盒覆盖率，为未覆盖的白盒单位设计
测试用例，实现完整的白盒覆盖，比较理想的覆盖率是实现100%语句、条件、分支、
路径覆盖；
3. 自动生成大量的测试用例，捕捉“程序员未处理某些特殊输入”形成的错误。
第1步的
测试用例通常是现成的，因为
详细设计文档会规定
程序的基本功能，没有文档的，程序员在
编程时也要想清楚程序的功能，这些基本功能就是基本测试用例；
第2步是在第1步的基础上，检查未覆盖的白盒单位，由于未覆盖的逻辑单位通常对应未测试的等价类，因此第2步可以找出第1步所遗漏的
测试用例；
“三步法”尽量避免重复工作，白盒方法和
黑盒方法相结合，人工方法和自动方法相补充，如果第2步的覆盖率比较理想，那么基本上可以保证找出所有等价类。在开发过程允许的限度内，“三步法”已接近极限，当得起“彻底测试”四个字。
工具挑选
白盒测试主要用在具有高可靠性要求的软件领域，例如：军工软件、航天航空软件、工业控制软件等等。白盒测试工具在选购时应当主要是对开发语言的支持、代码覆盖的深度、
嵌入式软件的测试和测试的可视化等。
语言支持
白盒测试工具是对
源代码进行的测试，测试的主要内容包括
词法分析与
语法分析、
静态错误分析、动态检测等。但是对于不同的开发语言，测试工具实现的方式和内容差别是较大的。测试工具主要支持的开发语言包括：标准C、C++、Visual C++、Java和Visual J++等。
覆盖深度
从覆盖源
程序语句的详尽程度分析，
逻辑覆盖标准包括以下不同的覆盖标准：
语句覆盖、
判定覆盖、
条件覆盖、条件判定组合覆盖、多条件覆盖和修正
判定条件覆盖。
1.语句覆盖 为了暴露
程序中的错误，程序中的每条语句至少应该执行一次。因此语句覆盖（Statement Coverage）的含义是：选择足够多的测试数据，使被测
程序中每条语句至少执行一次。语句覆盖是很弱的
逻辑覆盖。
2.
判定覆盖比
语句覆盖稍强的覆盖标准是判定覆盖（Decision Coverage）。
判定覆盖的含义是：设计足够的
测试用例，使得
程序中的每个判定至少都获得一次“真值”或“假值”，或者说使得程序中的每一个取“真”分支和取“假”分支至少经历一次，因此判定覆盖又称为
分支覆盖。
3.
条件覆盖在
设计程序中，一个判定语句是由多个条件组合而成的复合判定。为了更彻底地实现
逻辑覆盖，可以采用
条件覆盖（Condition Coverage）的标准。
条件覆盖的含义是：构造一组
测试用例，使得每一判定语句中每个逻辑条件的可能值至少满足一次。
4.多
条件覆盖。多条件覆盖也称
条件组合覆盖，它的含义是：设计足够的
测试用例，使得每个判定中条件的各种可能组合都至少出现一次。显然满足多
条件覆盖的
测试用例是一定满足
判定覆盖、条件覆盖和条件判定组合覆盖的。
5.修正条件
判定覆盖。修正条件判定覆盖是由欧美的航空/航天制造厂商和使用单位联合制定的“航空运输和装备系统
软件认证标准”，在国外的国防、航空航天领域应用广泛。这个覆盖度量需要足够的
测试用例来确定各个条件能够影响到包含的判定的结果。它要求满足两个条件：首先，每一个
程序模块的入口和出口点都要考虑至少要被调用一次，每个程序的判定到所有可能的结果值要至少转换一次；其次，程序的判定被分解为通过
逻辑操作符（and、or）连接的
布尔条件，每个条件对于判定的结果值是独立的。
不同的测试工具对于
代码的覆盖能力也是不同的，通常能够支持修正条件
判定覆盖的测试工具价格是极其昂贵的。
嵌入式测试
对于
嵌入式软件的测试，我们还需要一方面进一步考虑测试工具对于
嵌入式操作系统的支持能力，例如DOS、Vxworks、Neculeus、Linux和Windows CE等；另一方面还需要考虑测试工具对于硬件平台的支持能力，包括是否支持所有64/32/16位CPU 和 MCU，是否可以支持 PCI/VME/CPCI 总线。
可视化
白盒测试是工作量巨大并且枯燥的工作，可视化的设计对于测试来说是十分重要的。在选购白盒测试工具时，应当考虑该款测试工具的可视化是否良好，例如：
测试过程中是否可以显示覆盖率的
函数分布图和上升趋势图，是否使用不同的颜色区分已执行和未执行的
代码段显示分配内存情况实时图表等，这些对于测试效率和测试质量的提高是具有很大的作用的。
测试方法
白盒测试的测试方法中运用最为广泛的是基本路径测试法。
基本
路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行
路径集合，从而设计测试
用例的方法。设计出的
测试用例要保证在测试中
程序的每个可执行语句至少执行一次。
在
程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计
测试用例。包括以下4个步骤和一个工具方法：
4个步骤是：
1.
程序的
控制流图：描述程序控制流的一种图示方法。
2.
程序圈复杂度：McCabe复杂性度量。从
程序的环路复杂性可导出程序基本
路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的
上界。
3. 导出
测试用例：根据圈复杂度和
程序结构设计用例数据输入和预期结果。
4. 准备
测试用例：确保基本
路径集中的每一条路径的执行。
流程图用来描述程序控制结构。可将
流程图映射到一个相应的流图(假设流程图的菱形决定框中不包含复合条件)。在流图中，每一个圆，称为流图的结点，代表一个或多个语句。一个处理方框序列和一个菱形决测框可被映射为一个结点，流图中的箭头，称为边或连接，代表
控制流，类似于流程图中的箭头。一条边必须终止于一个结点，即使该结点并不代表任何语句（例如：if-else-then结构）。由边和结点限定的范围称为区域。计算区域时应包括图外部的范围。
第二步：计算圈复杂度
圈复杂度是一种为
程序逻辑复杂性提供定量测度的
软件度量，将该度量用于计算程序的基本的独立路径数目，为确保所有语句至少执行一次的测试数量的
上界。独立路径必须包含一条在定义之前不曾用到的边。
有以下三种方法计算圈复杂度：
流图中区域的数量对应于环型的复杂性;
给定流图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
根据上面的独立
路径，去设计输入数据，使
程序分别执行到上面四条路径。
优缺点
优点
(1)迫使测试人员去仔细思考软件的实现。
(2)可以检测代码中的每条分支和路径
(3)揭示隐藏在代码中的错误。
(4)对代码的测试比较彻底。
(5)让软件最优化。
缺点
(1)昂贵。
(2)无法检测代码中遗漏的路径和数据敏感性错误。
(3)不验证规格的正确性。
与黑盒测试区别
白盒测试技术（White Box Testing）： 深入到代码一级的测试，使用这种技术发现问题最早，效果也是最好的。该技术主要的特征是测试对象进入了代码内部，根据开发人员对代码和对程序的熟悉程度，对有需要的部分进行在软件编码阶段，开发人员根据自己对代码的理解和接触所进行的软件测试叫做白盒测试。这一阶段测试以软件开发人员为主，在JAVA平台使用Xunit系列工具进行测试，Xunit测试工具是类一级的测试工具对每一个类和该类的方法进行测试。
黑盒测试技术（Black Box Testing）：黑盒测试的内容主要有以下几个方面，但是主要还是功能部分。主要是覆盖全部的功能，可以结合兼容，性能测试等方面进行，根据软件需求，设计文档，模拟客户场景随系统进行实际的测试，这种测试技术是使用最多的测试技术涵盖了测试的方方面面，可以考虑以下方面：
1.正确性（Correctness）：计算结果，命名等方面。
2.可用性（Usability）：是否可以满足
软件的需求说明。
3.边界条件（Boundary Condition）：输入部分的边界值，就是使用一般书中说的等价类划分，试试最大最小和非法数据等等。
4.性能（Performance）：正常使用的时间内系统完成一个任务需要的时间，多人同时使用的时候响应时间在可以接受范围内。J2EE技术实现的系统在性能方面更是需要照顾的，一般原则是3秒以下接受，3-5秒可以接受，5秒以上就影响易用性了。如果在测试过程中发现性能问题，修复起来是非常艰难的，因为这常常意味着
程序的算法不好，结构不好，或者设计有问题。因此在产品开发的开始阶段，就要考虑到
软件的性能问题。
5.压力测试（Stress）：多用户情况可以考虑使用压力测试工具，建议将压力和性能测试结合起来进行。如果有负载平衡的话还要在服务器端打开监测工具 , 查看服务器CPU
使用率，内存占用情况，如果有必要可以模拟大量数据输入，对硬盘的影响等等信息。如果有必要的话必须进行
性能优化（软硬件都可以）。这里的压力测试针对的是某几项功能。
6.错误恢复（Error Recovery）：错误处理，页面
数据验证，包括突然间断电，输入
脏数据等。
7.安全性测试（Security）：这个领域正在研究中，防火墙、补丁包、杀毒软件等的就不必说了，不过可以考虑。破坏性测试时任意看了一些资料后得知 , 这里面涉及到的知识、内容可以写本书了 , 不是一两句可以说清的，特别是一些商务网站，或者跟钱有关，或者和公司秘密有关的web更是需要这方面的测试，在外国有一种专门干这一行的人叫安全顾问，可以审核代码，提出安全建议，出现紧急事件时的处理办法等，在国内没有听说哪里有专门搞安全技术测试的内容。
8.
兼容性（Compatibility）：不同浏览器，不同应用程序版本在实现功能时的表现不同的上网方式，如果你测试的是一个公共网站的话。