分支覆盖

分支覆盖，又称判定覆盖，是指使得程序中每个判断的取真分支和取假分支至少经历一次，即判断的真假均曾被满足。