对于图5.13(a)所给出的例子,如果选择路径L1和L2,就可得满足要求的测试用例:
����【(2, 0, 4),(2, 0, 3)】 覆盖 ace【L1】
����【(1, 1, 1),(1, 1, 1)】 覆盖 abd【L2】

��如果选择路径L3和L4,还可得另一组可用的测试用例:
����【(2, 1, 1),(2, 1, 2)】 覆盖 abe【L3】
����【(3, 0, 3),(3, 1, 1)】 覆盖 acd【L4】

��所以,测试用例的取法不唯一。
��注意有例外情形,例如,若把图例中第二个判断中的条件x>1错写成x<1,那么利用上面两组测试用例,仍能得到同样结果。这表明,只是判定覆盖,还不能保证一定能查出在判断的条件中存在的错误。因此,还需要更强的逻辑覆盖准则去检验判断内部条件。
��