§6.3白盒测试的测试用例设计 6.3.1逻辑覆盖法 (1)语句覆盖 (2)判定覆盖 (3)条件覆盖 (4)判定/条件覆盖 (5)条件组合覆盖 (6)路径覆盖 (7)点覆盖 (8)边覆盖
§6.3白盒测试的测试用例设计 6.3.1 逻辑覆盖法 (1)语句覆盖 (2)判定覆盖 (3)条件覆盖 (4)判定/条件覆盖 (5)条件组合覆盖 (6)路径覆盖 (7)点覆盖 (8)边覆盖
例: PROCEDURE SAMPAL (A, B: REAL; VAR X: REAL; BEGIN IF(A>DAND B=O THEN X = XA IF(A=2)OR(X>1) THENⅩ:=X+1 END
例:PROCEDURE SAMPAL (A，B：REAL； VAR X：REAL); BEGIN IF (A>1) AND (B=0) THEN X:=X/A IF (A=2) OR (X>1) THEN X:=X+1 END;
开始 a T (A>1)AND(B=0) XEX/A (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
(1)语句覆盖 使程序中每个语句至少执行一次
(1)语句覆盖 使程序中每个语句至少执行一次
语勾覆盖开始 (A>1)AND(B=0) XEX/A (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