在白盒测试法中，（）是最弱覆盖准则。
白盒测试常用技术是逻辑覆盖，即考查用测试数据运行被测程序时对程序逻辑覆盖程度。主要覆盖标准有六种：语句覆盖、判定覆盖、条件覆盖、判定 / 条件覆盖、组合条件覆盖和路径覆盖。 （ 1 ）语句覆盖 语句覆盖是指选择足够多测试用例，使得运行这些测试用例时，被测程序每个语句至少执行一次。很显然，语句覆盖是一种很弱覆盖标准。 （ 2 ）判定覆盖 判定覆盖又称分支覆盖，它含义是，不仅每个语句至少执行一次，而且每个判定每种可能结果（分支）都至少执行一次。判定覆盖比语句覆盖强，但对程序逻辑覆盖程度仍然不高。 （ 3 ）条件覆盖 条件覆盖含义是，不仅每个语句至少执行一次，而且使判定表达式中每个条件都取到各种可能结果。条件覆盖不一定包含判定覆盖，判定覆盖也不一定包含条件覆盖。 （ 4 ）判定/条件覆盖 同时满足判定覆盖和条件覆盖逻辑覆盖称为判定 / 条件覆盖。它含义是，选取足够测试用例，使得判定表达式中每个条件所有可能结果至少出现一次，而且每个判定本身所有可能结果也至少出现一次。 （ 5 ）条件组合覆盖 条件组合覆盖含义是，选取足够测试用例，使得每个判定表达式中条件结果所有可能组合至少出现一次。显然，满足条件组合覆盖测试用例，也一定满足判定 / 条件覆盖。因此，条件组合覆盖是上述五种覆盖标准中最强一种。然而，条件组合覆盖还不能保证程序中所有可能路径都至少经过一次。 （ 6 ）路径覆盖 路径覆盖含义是，选取足够测试用例，使得程序每条可能执行到路径都至少经过一次（如果程序中有环路，则要求每条环路径至少经过一次）。路径覆盖实际上考虑了程序中各种判定结果所有可能组合，因此是一种较强覆盖标准。 本题第二问比较复杂，关键是我们要清楚程序流程图中有几条路径，然后为每条路径设置一个测试用例。 在本题给出程序流程图中，如果我们将判定 “x
