白盒测试是一种测试方法，它侧重于测试软件内部的逻辑结构和代码实现。以下是白盒测试中常用的几种方法：
代码检查法
对源代码进行系统审查，以发现并修正错误。
包括变量检查、命名和类型审查、程序逻辑审查、语法检查和结构检查。
基本路径测试法
基于程序控制流图，导出基本可执行路径集合。
设计测试用例确保每个可执行语句至少执行一次。
静态结构分析法
使用工具分析程序源代码的内部结构，如系统结构、数据结构、内部控制逻辑等。
生成函数调用关系图、模块控制流图等，以清晰标识软件组成结构。
逻辑覆盖法
设计测试用例以覆盖程序内部逻辑结构。
包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。
静态质量度量法
通过分析代码来度量软件质量。
域测试
针对特定输入域进行的测试，如数据库的某个字段。
符号测试
使用符号逻辑来表示程序的行为，并生成测试用例。
Z路径覆盖
覆盖程序中所有从开始到结束可能经过的路径。
程序变异
通过引入小的程序修改（如改变算术运算的符号）来增加测试用例。
这些方法各有特点，通常结合使用以达到更全面的测试覆盖。白盒测试的目的是确保软件内部的逻辑和结构按照设计要求正确实现