白盒测试方法主要包括以下几种：
代码检查法：
通过人工检查源代码来发现错误。
静态结构分析法：
不执行程序，通过分析源代码的静态结构来发现潜在错误。
静态质量度量法：
使用度量工具对代码质量进行评估。
逻辑覆盖法：
确保程序中的逻辑结构被充分测试，包括语句覆盖、判定覆盖、条件覆盖等。
基本路径测试法：
基于程序控制流图，导出基本路径集合，设计测试用例确保每条路径至少执行一次。
域测试：
针对程序中特定数据域进行的测试。
符号测试：
使用符号逻辑来设计测试用例。
路径覆盖：
确保程序中所有可能的执行路径都被测试到。
程序变异：
通过人为引入错误来测试程序的容错能力。
边界值分析：
测试输入和输出在边界值附近的行为。
等价类划分：
将输入数据划分为等价类，确保每个类别的数据都能被有效测试。
这些方法各有特点，通常结合使用以达到更全面的测试效果。白盒测试的目的是检查软件内部的逻辑结构，确保其按照设计要求正确执行