白盒测试 逻辑覆盖习题.docVIP

流程图： EDBA语句块4语句块3a=-1语句块5a1IIb0入口 E D B A 语句块4 语句块3 a=-1 语句块5 a1IIb0 入口 否 否 否C 否 C 是 是 是 是 语句块1 语句覆盖： 测试用例：{a=2、b=1};{a=0,b=1};{a=-2,b=1}; 判定覆盖（分支覆盖）： 测试用例：{a=2、b=1};{a=0,b=1};{a=-2,b=1}; 条件覆盖： 对于第一个判定：a1 取真时为T1，取假时为F1； b0 取真时为T2，取假时为F2; 对于第二个判定：a=-1 取真时为T3，取假时为F3; 测试用例设计： 测试用例 通过路径 条件取值 覆盖分支 a=2,b=-1 AE T1,T2,F3 AE a=-2,B=1 ABD F1,f2,T3 BD 判定条件覆盖 测试用例 通过路径 条件取值 覆盖分支 a=2,b=-1 AE T1,T2,F3 AE a=-2,B=1 ABD F1,f2,T3 BD a=0,b=1 ABC F1,F2,F3 BC 5、 编号 条件组合 组合标记 判定情况 1 a1,b0 T1,T2 第一判定取真分支 2 a1.b=0 T1,F2 第一判定取真分支 3 a=1,b0 F1，T2 第一判定取真分支 4 a=1,b=0 F1，F2 第一判定取假分支 5 a-1 F3 第二判定取假分支 6 a=-1 T3 第二判定取真分支 测试用例 通过路径 条件取值 覆盖分支 a=2,b=-1 AE T1,T2,F3 AE a=-2,B=1 ABD F1,f2,T3 BD a=2,b=1 AE T1,F2,F3 AE A=-2,b=-1 F1,T2,T3 ABD 6、路径覆盖： 可以取语句覆盖的用例，只要覆盖所有路径即可