白盒子测试，也称为结构测试、透明盒测试、逻辑驱动测试或基于代码的测试，是一种测试用例的设计方法。白盒测试需要全面了解被测试程序的内部逻辑结构，并对所有逻辑路径进行测试。其基本方法包括：
- 语句覆盖：设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。
- 判定覆盖：使设计的测试用例保证程序中每个判断的每个取值分支至少经历一次。
- 条件覆盖：每个判定的每个条件应取到各种可能的值。
- 判定/条件覆盖：同时满足判定覆盖条件覆盖。每个条件（局部）的所有情况（true and false）都至少出现一次，并且，整个（整体）判定结果（true and false）也至少出现一次。
- 条件组合覆盖：每个判定中各条件的每一种组合至少出现一次。
在白盒测试中，确定被测试程序的内部逻辑结构是关键的一步。以下是一些方法可以帮助你理解和掌握被测试程序的内部逻辑结构：
- 阅读源代码：仔细阅读被测试程序的源代码，了解每个函数、模块、子程序等的实现方式和逻辑。理解程序的控制流、数据流以及各个部分之间的关系。
- 画出程序流程图：根据源代码，画出程序流程图，将程序的执行流程、条件判断、循环语句等都清晰地展现出来。这样可以帮助你更好地理解程序的结构和逻辑。
- 了解程序的数据结构：阅读源代码时，注意了解程序中使用的各种数据结构，如数组、链表、树等。理解这些数据结构的使用方式和操作方法，以及它们在程序中的作用和关系。
- 跟踪程序的执行路径：通过调试工具或手动跟踪程序的执行路径，观察程序在不同条件下的执行结果和状态变化。这有助于你了解程序的控制流程和条件判断的执行情况。
- 与开发人员交流：与开发人员交流可以帮助你更好地理解被测试程序的内部逻辑结构。开发人员可以解释程序的实现方式和设计思路，解答你对程序结构的疑问。
通过以上方法，你可以逐渐掌握被测试程序的内部逻辑结构，为进行白盒测试做好准备。