下列软件测试技术中，依据程序逻辑结构的是（）。