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