以下哪一项是基于程序逻辑结构的测试用例设计方法？

分支覆盖属于基于程序逻辑结构的测试设计方法，关注的是程序每个分支的执行情况。