为全面了解程序内部逻辑结构，需要对所有逻辑路径进行测试，应选用()