开始 T ADAND B=O XEXA (A=2)OR(X>1)T X=X+1 (返回
开始 (A>1) AND (B=0) (A=2) OR (X>1) 返回 X=X/A X=X+1 F F T T a b d c e
语勾覆盖(开始 使程序中每个语句至少 执行一次 a A>IAND (B=0) XEXA (A=2)OR(X>1) T e X=X+1 输入数据: A=2,B=0, (返回) 语句覆盖是最弱的逻辑覆盖 X=4
语句覆盖 开始 (A>1) AND (B=0) (A=2) OR (X>1) 返回 X=X/A X=X+1 F F T T a b d c e 输入数据: A=2,B=0, X=4 语句覆盖是最弱的逻辑覆盖 使程序中每个语句至少 执行一次
判定覆盖(开始 使每个判定的真 假分支都至少执 a 行一次 (A>1)AND(B=0) C XEXA (A=2)OR(X>1) T e X=X+1 (返回 A=3,B=0,X=3可覆盖c、d分支 A=2,B=1,X=1可覆盖b、e分支
判定覆盖 开始 (A>1) AND (B=0) (A=2) OR (X>1) 返回 X=X/A X=X+1 F F T T a b d c e 使每个判定的真 假分支都至少执 行一次 A=3,B=0 ,X=3 可覆盖c、d分支 A=2,B=1 ,X=1 可覆盖b、e分支
(3)条件覆盖 使每个判定的每个条件的可 能取值至少执行一次
(3)条件覆盖 使每个判定的每个条件的可 能取值至少执行一次
第一判定表达式 设条件A>1取真记为T1 假 T1 条件B=1取真记为T2 假 T2 第二判定表达式 设条件A=2取真记为T3 假真假 T3 条件X>1取真 记为T4 T4
第一判定表达式: 设条件 A>1 取真 记为 T1 假 T1 条件 B=1 取真 记为 T2 假 T2 第二判定表达式: 设条件 A=2 取真 记为 T3 假 T3 条件 X>1 取真 记为 T4 假 T4