（ ）要求每个判定中所有条件的可能取值至少执行一次，而且每个判定的可能结果也至少执行一次