白盒测试，是另外一种软件测试的主要方法，又称为结构测试、逻辑驱动测试或者给予程序本身的测试，它着重于程序的内部结构及算法，通常不关心功能与性能指标。软件的白盒测试是对软件的过程性细节做细致的检查。这种方法是把测试对象看做一个打开的盒子，它允许白盒测试人员利用程序内部的逻辑结够及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。白盒测试是一种基于对源代码中得控制结构、处理过程等进行分析，检查程序内部处理是否正确、包括异常处理、语句结构、分析、循环结构等。很多控制软件，还要考虑有无沉余的代码，因为程序运行时，可能进入这些代码而无法再进行正常的执行(如进入了死循环状态，程序永远无法终止)。这种测试要求测试人员对程序的理解能力和编码能力很高，需要了解程序的架构，具体需求，以及一些编写程序的技巧，能够检查一些程序规范，指针、变量、数组越界等问题，使得问题在前期就暴露出来。
语句判断：使得程序中每个语句至少都能被执行一次。
判断覆盖：使得程序中每个判断至少为真或假各一次。
条件覆盖：使得判断中得每个条件获得各种可能的结果。
判断/条件覆盖：同时满足判断覆盖和条件覆盖。
条件组合覆盖：使得每个判断中条件的各种可能组合都至少出现一次。
