逻辑覆盖 逻辑覆盖是以程序内部的逻辑结构为 基础的设计测试用例的技术。它属白 盒测试。 ◆语句覆盖◆判定一条件覆盖 ◆判定覆盖◆条件组合覆盖 ◆条件覆盖◆路径覆盖
b (A>1 and(B=0 X=X/A d A 32)0r1)re x=x+1
(A>1) and (B=0) (A=2) or (X>1) X=X/A X=X+1
L1(a→c÷e) R(A>Dand (B=0)) and {(A=2)0r(X/A>1) (A>l)and (B=0)and(a=2)or (A>D and (B=0) and (X/A>l =(A=2)and(B=0)0r (A>D and (B=0 and (XA>D
L2(a→b→d) not((A>l) and(B=0)) and not((A=2)or (X>D)) i not(A>D)or not B=0)) and d not(A-2)and not (X1)) = not(A>D) and not(A=2) and not (X>1 or not(B=0) and not(A=2)and not (X>1
L3(a+b→e) not ((A>l)and (B=0) and {(A=2)0r(X>1) ¬A>l)or not B=0)) and {(A=2)0r(>1) not(A>Dand (a-2)or not(A>D) and (X>Dor not(=0) and(A=2)or not B=0) and (X>D