实践白盒测试之逻辑覆盖案例PPT教案

1、实践白盒测试之逻辑覆盖案例实践白盒测试之逻辑覆盖案例第1页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc第2页/共36页用例ABX执行路径Case1aceCase2abe语句覆盖第3页/共36页用例ABX执行路径Case1203aceCase2213abe语句覆盖第4页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc语句覆盖第5页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc此语句未覆盖此语句未覆盖语句覆盖第6页/共36页(A1)

2、 AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc错写成错写成OR错写成错写成AND语句覆盖是最弱的覆盖语句覆盖是最弱的覆盖语句覆盖第7页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc第8页/共36页用例ABX执行路径Case1aceCase3abd第9页/共36页用例ABX执行路径Case1203aceCase3101abd第10页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc判定覆盖第11页/共36页(A1) AND (B=0)(A=2) OR

3、(X1)aX=X/AX=X+1eFFTTbdc判定覆盖第12页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc错写成错写成X1) AND (B=0)(A=2) OR (X1)X=X/AX=X+1eFFTTbdc错写成错写成X1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc第15页/共36页 X1 T4 X1 T4 F4F4取真表为取真表为取假表为取假表为第16页/共36页A B X路径覆盖分支覆盖条件Case6T1 F2 T3 F4Case7F1 T2 F3 T43.3.条件覆盖条件覆盖条件覆盖第17

4、页/共36页A B X路径覆盖分支覆盖条件Case6 2 1 1a b eb eT1 F2 T3 F4Case7 1 0 3a b eb eF1 T2 F3 T43.3.条件覆盖条件覆盖条件覆盖第18页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc条件覆盖第19页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc第20页/共36页第21页/共36页A B X路径覆盖分支覆盖条件Case1c eT1 T2 T3 T4Case8b dF1 F2 F3 F4第22页/共36页A B X路径覆盖

5、分支覆盖条件Case12 0 3a c ec eT1 T2 T3 T4Case81 1 1a b db dF1 F2 F3 F4第23页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc第24页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc第25页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc第26页/共36页第27页/共36页n上例中需考虑4个条件的8种组合 A 1, B = 0 T1 T2 判定一为真 A 1, B0 T1 F2

6、 A1, B = 0 F1 T2 判定一为假 A1, B0 F1 F2 A = 2，X 1 T3 T4 A = 2，X1 T3 F4 判定二为真 A2，X1 F3 T4 A2，X1 F3 F4 判定二为假第28页/共36页A B X路径 覆盖组号 覆盖条件Case1T1 T2 T3 T4Case8T1 F2 T3 F4Case9F1 T2 F3 T4Case10F1 F2 F3 F4第29页/共36页A B X路径 覆盖组号 覆盖条件Case12 0 3a c eT1 T2 T3 T4Case82 1 1a b e T1 F2 T3 F4Case91 0 3a b e F1 T2 F3 T4Case101 1 1a b d F1 F2 F3 F4第30页/共36页(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc第31页/共36页第32页/共36页用例用例ABX执行路径执行路径Case1aceCase7abdCase8abeCase11acd第33页/共36