白盒测试程序，也称为结构测试、透明盒测试或逻辑驱动测试，是一种深入检查软件内部结构和逻辑的测试方法。以下是关于白盒测试程序的详细解释：
定义
白盒测试是一种测试方法，它允许测试人员访问程序的源代码、数据结构、算法和设计细节。测试人员基于程序的内部逻辑结构来设计测试用例，以验证代码的正确性和有效性，确保程序按预期运行并满足设计规格。
目的
白盒测试的主要目的是检查软件内部的逻辑结构，覆盖所有逻辑路径和条件分支，以发现潜在的缺陷和错误。它有助于确保代码的高质量和可靠性。
方法
白盒测试的方法包括静态测试和动态测试。静态测试不实际执行程序，而是通过代码审查、桌面检查、代码走查和代码扫描工具等手段来分析代码。动态测试则通过输入预先构造的测试数据来执行程序，以发现运行时错误。
特点
依赖源代码：白盒测试直接依赖于应用程序的源代码，测试人员需要了解程序内部的逻辑结构和处理流程。
高覆盖率：由于测试人员可以访问程序的内部结构，因此可以设计测试用例来覆盖程序中的所有逻辑路径和条件分支，从而实现较高的代码覆盖率。
深入内部结构：测试人员可以针对代码的内部条件创建测试用例，检查每一个逻辑路径、循环条件、分支判断等，验证输入是否按预期处理并得出正确的输出结果。
应用场景
白盒测试通常用于单元测试阶段，能够提供更深入的覆盖度。它也可以用于集成测试和系统测试，以确保各个模块和组件在实际运行环境中正确协同工作。
测试内容
白盒测试的基本测试内容包括对程序模块的所有独立执行路径至少测试一次，对所有逻辑判定，取“真”与取“假”的两种情况都至少测试一次，在循环的边界和运行的边界限内执行循环体，以及测试内部数据结构的有效性。
测试覆盖标准
白盒测试的覆盖标准包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖以及路径覆盖。这些标准帮助测试人员确保所有重要的代码路径都得到了测试。
总结来说，白盒测试程序是一种全面的软件测试方法，它通过检查程序的内部结构和逻辑来发现错误，确保软件的高质量和可靠性。它适用于各个测试阶段，特别是单元测试，并且需要测试人员具备深入的代码理解能力。