逻辑看盖 逻辑覆盖是以程序内部的逻辑结构为 基础的设计测试用例的技术。它属自 盒测试。 a语句雅盖a判应-条件看盖 a定盖a条件组合盖 0条件理盖a路径盖
逻辑覆盖 语句覆盖 判定覆盖 条件覆盖 判定－条件覆盖 条件组合覆盖 路径覆盖。 逻辑覆盖是以程序内部的逻辑结构为 基础的设计测试用例的技术。它属白 盒测试
a (A>1)and(B=0)7c XEXA d (A=2)orx>1) T e X-X+1-
(A>1) and (B=0) (A=2) or (X>1) X=X/A X=X+1 T T F F a b d c e
LI(a>c>e ((A>)and B=0)) and {(A=2)0r(XA>1) (A>I)and(=0)and(a-2)or (A>l)and(B=0)and (XA>l) (A2)and (B=0)or (Anand(B=0)and (XAn
L1 ( a → c → e ) = {(A>1) and (B=0)} and {(A=2) or (X/A>1)} = (A>1) and (B=0) and (A=2) or (A>1) and (B=0) and (X/A>1) = (A=2) and (B=0) or (A>1) and (B=0) and (X/A>1)
L2(a→b+d) not(A>I)and( B=0)) and not((A=2)or(X>1)) d not(A>l)or not B=0)) and d not(A-2)and not(X>1)) -not(A>1) and not(A=2) and not (X 1 or not(B=0)and not (a 2)and not (X1
L2 ( a→ b → d ) = not{(A>1) and (B=0)} and not{(A=2) or (X>1)} = { not (A>1) or not (B=0) } and { not (A=2) and not (X>1) } = not (A>1) and not (A=2) and not (X>1) or not (B=0) and not (A=2) and not (X>1)
L3(a→be) not ((A>l)and B=0)) and {(A=2)0r(X>1) d not(a>l)or not(B=0)) and {(A=2)or(X>1) not (A>l and(A=2)or not(A>1 and (X>nor not B=0)and(A=2)or not(B=0) and (>n
L3 ( a→ b→ e) = not {(A>1) and (B=0)} and {(A=2) or (X>1)} = { not (A>1) or not (B=0)} and {(A=2) or (X>1)} = not (A>1) and (A=2) or not (A>1) and (X>1) or not (B=0) and (A=2) or not (B=0) and (X>1)