白盒测试技术，典型的是_____技术，它依据的是程序的_____。