（)是将程序看成一个透明的白盒子,按照程序的内部结构和处理逻辑来选定测试用例，对程序的逻辑路径及过程进行测试,检查程序中的每条通路是否都能按预定的要求正确工作。