每个判定(分支)的真假结果至少执行一次。
例:if ((n > 1000) && (n < 2000))
每个判定中的每个条件的真假至少执行一次
每个条件的所有可能取值至少执行一次,同时每个判断本身所有可能结果也至少执行一次。