白盒测试是以仔细检查程序的细节为基础，通过提供一组指定条件和循环的（），对软件中的逻辑路径进行测试，可以在不同的检查点检查程序的状态，以确定实际运行状态与预期状态是否一致。