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