在了解程序内部结构和流程后，通常采用(1)验证程序内部逻辑是否符合设计要求，此时可使用(2)技术设计测试案例。