白盒测试也被称为结构测试或透明盒测试。在这种测试中，测试人员可以访问程序的内部逻辑和结构，对程序的所有路径和代码进行全面测试。下面是白盒测试的一些主要方法：

1. 语句覆盖：这是一种基本的覆盖要求，其中需要执行程序中的每一条语句至少一次。这是最基本的测试方法，可以检测程序中的语法错误和部分逻辑错误。

2. 判定覆盖（分支覆盖）：不仅要执行每个语句，还要测试程序中所有的决策分支（例如if语句、case语句等）。这意味着每个决策分支至少执行一次，无论是真还是假。这种方法可以更全面地测试程序的逻辑结构。

3. 条件覆盖：这是一种更深入的测试方法，它要求测试所有可能的条件组合。对于每个决策条件，需要分别测试条件为真和条件为假的情况。这有助于检测那些在特定条件下可能出现的错误。

4. 多条件覆盖：这是条件覆盖的扩展，需要考虑多个条件的组合。它需要为每个决策条件中所有的条件的组合进行测试。

5. 路径覆盖：这种测试策略要求对程序中的每条路径至少执行一次。这种方法适用于那些包含复杂流程的程序，以确保所有的逻辑路径都得到了有效的测试。

6. 循环测试：对于包含循环结构的程序，需要进行循环测试以检查循环的执行情况。这可能包括测试循环是否执行预期的次数，或者在循环条件下进行测试等。

7. 变异测试：这是一种更高级的测试方法，通过改变代码并观察结果是否仍然符合预期来检测潜在的错误。这种方法可以检测到更复杂的逻辑错误和潜在的缺陷。

以上就是白盒测试的主要方法，每种方法都有其特定的应用场景和优势。选择哪种方法取决于程序的结构、需求和可用资源等因素。在实践中，通常会结合使用多种方法来达到最佳的测试效果。