以程序的内部结构为基础的测试用例技术属于（）