2、判定覆盖 使得程序中每个判定至少 a 为TRUE或 FALSE各一 次 AND B=0 覆盖情况:应执行路径 b X XA ace∧abd或:acd∧abe 选择用例(其一): OR (1)[(204),(20,3)]ace X:=X+1 [(1,1,1),(1,11)]abd (2)[(21,1)(212)]abe [(3,0,3),(3,1,1)]acd 首页上页[下页末页片退出2、判定覆盖 使得程序中每个判定至少 为TRUE 或FALSE各一 次。 首页 上页 下页 末页 退出 A>1 AND B=0 X:=X/A A=2 OR X>1 X:=X+1 a b c d e 覆盖情况：应执行路径 ace ∧ abd 或： acd ∧ abe 选择用例(其一）： ⑴ [(2,0,4),(2,0,3)] ace [(1,1,1),(1,1,1)] abd ⑵ [(2,1,1),(2,1,2)] abe [(3,0,3),(3,1,1)] acd Y Y N N