单选题：白盒测试是结构测试，被测对象基本上是源程序，以程序的（）为基础设计测试用例