能够全面了解程序内部逻辑结构,对所有逻辑路径进行测试的方法是