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
3、条件覆盖 使得判定中的每个条件获 得各种可能的结果。 a 应满足以下覆盖情况: AND 判定一:A>1,A的1BB哪B0 B=0 判定二:A2X】X头1 =XA b 选择用例: A=2 [(2D,)A2,0, OR X>1 Y [(1,L,1)11, d x+1注意:[(1,03)(10,4)] [(211),(21,2)] 满足条件覆盖,但不满足判断 覆盖。 首页上页[下页末页片退出
3、条件覆盖 首页 上页 下页 末页 退出 A>1 AND B=0 X:=X/A A=2 OR X>1 X:=X+1 a b c d e 使得判定中的每个条件获 得各种可能的结果。 应满足以下覆盖情况： 判定一: A>1, A≤1, B=0, B≠0 判定二: A=2, A≠2, X>1, X≤1 选择用例： [(2,0,4),(2,0,3)] [(1,1,1),(1,1,1)] N N Y Y 2 A≤1 A≠2 0 B=0 4 X>1 1 A>1 A=2 1 B≠0 1 X≤1 注意:[(1,0,3),(1,0,4)] [(2,1,1),(2,1,2)] 满足条件覆盖，但不满足判断 覆盖
4、判定条件覆盖 同时满足判断覆盖和条 a 件覆盖。 A>1 应满足以下覆盖情况: AND B=0 条件:A>1,A≤1,B=0,B≠0 X = XA b A=2,A≠2,X>1,X≤1 应执行路径 OR X>1 ace∧abd或:acd∧abe x=X+1选择用例 [(20,4),(2,0,3)(ace) [(1,1,1)(1,11)](abd) 首页上页[下页末页片退出
4、判定/条件覆盖 同时满足判断覆盖和条 件覆盖。 首页 上页 下页 末页 退出 A>1 AND B=0 X:=X/A A=2 OR X>1 X:=X+1 a b c d e 应满足以下覆盖情况： 条件: A>1, A≤1, B=0, B≠0 A=2, A≠2, X>1, X≤1 应执行路径 ace ∧ abd 或： acd ∧ abe 选择用例： [(2,0,4),(2,0,3)]（ace) [(1,1,1),(1,1,1)] (abd) Y Y N N