白盒测试技术主要关注程序内部的逻辑结构和代码实现，旨在确保程序中的每条逻辑路径都能按预期工作。以下是白盒测试中常用的几种技术：
语句覆盖（Statement Coverage）：
确保程序中的每个代码语句至少执行一次。
判定覆盖（Decision Coverage）：
确保程序中每个条件语句的真假分支至少执行一次。
条件覆盖（Condition Coverage）：
确保程序中每个条件语句的所有可能取值至少测试一次。
路径覆盖（Path Coverage）：
确保测试用例覆盖程序的所有可能路径。
边界值分析（Boundary Value Analysis, BVA）：
测试输入和输出在边界值及其附近的数据，以发现潜在错误。
等价类划分（Equivalence Partitioning）：
将输入数据划分为等价类，每个类中的数据具有相同的测试效果。
基本路径测试（Basic Path Testing）：
基于程序控制流图，导出基本可执行路径集合，并设计测试用例以确保每条路径至少执行一次。
域测试（Domain Testing）：
测试程序在特定输入域内的行为。
符号测试（Symbolic Testing）：
使用符号逻辑来表示测试用例和程序行为。
Z路径覆盖：
一种更细致的路径覆盖方法，用于确保程序中的某些特定路径被测试。
程序变异（Program Mutation）：
通过引入小的程序变更来测试程序的健壮性。
白盒测试可以分为静态测试和动态测试两大类。静态测试包括代码检查、静态结构分析等不执行程序的方法，而动态测试则包括逻辑覆盖、基本路径测试等实际执行程序的方法。
这些技术帮助测试人员从程序内部逻辑的角度来检查软件的正确性和可靠性，确保软件的功能按照设计规格说明书的规定正常进行