根据程序结构和处理逻辑设计测试用例，对程序的路径和过程进行测试，检查是否满足设计需求的测试方法是（　）。