使程序中的每个判定中每个条件的可能值至少满足一次