白盒测试是结构测试，被测对象是源程序，以程序的（）为基础设计测试用例。