设计测试用例，使得程序中每个判定至少为真和为假值各一次，则称满足了白盒测试中 的____________覆盖。