实践-白盒测试之逻辑覆盖的案例1.pptVIP

逻辑覆盖 语句覆盖 判定覆盖（分支覆盖） 条件覆盖 判定-条件覆盖 条件组合覆盖 路径覆盖 例子程序： if( (a1) (b==0)) x=x/a; if ((a==2) || (x1)) x=x+1; 程序框图（语句覆盖） 1.语句覆盖 1.语句覆盖 Case1：A=2, B=0, X=3 Case2：A=2, B=1, X=3 Case1：A=2, B=0, X=3 程序框图 (判定覆盖） 2. 判定覆盖（分支覆盖） 2. 判定覆盖（分支覆盖） 第一组：Case1：A=2, B=0, X=3 第二组：Case3：A=1, B=0, X=1 只作到判定覆盖将无法确定判定内部条件的错误。 Case4：A=3, B=0, X=3 Case5：A=2, B=1, X=1 程序框图（条件覆盖） 3.条件覆盖 设计若干测试用例，使程序的每个判定中的每个条件的可能取值至少满足一次 上例中设条件： A1 T1 F1 B=0 T2 F2 A=2 T3 F3 X1 T4 F4 满足条件覆盖的一组测