在软件测试方法中，白盒测试法把程序看成是一个透明的盒子，以程序的（）和处理过程为依据，对程序的所有逻辑路径进行细致的检查。