白盒测试

。Р 当然,我们也可以选用另外两组测试用例:Р博为峰软件制作 BWF SOFTWAREР白盒测试方法Р A = 3Р B = 0 ………………CASE4Р X = 3Р A = 2Р B = 1 ………………CASE5Р X = 1Р 分别路径acd及abe,同样也可覆盖4个分支。Р 我们注意到,上述两组测试用例不仅满足了判定覆盖,同时还做到语句覆盖。从Р这一点看似乎判定覆盖比语句覆盖更强一些,但让我们设想,在此程序段中的第2个判Р断条件X>1如果错写成X<1,使用上述测试用例CASE5,照样能按原路径执行(abeР),而不影响结果。这个事实说明,只作到判定覆盖仍无法确定判断内部条件的错Р误。因此,需要有更强的逻辑覆盖准则去检验判断内的条件。Р 以上仅考虑了两出口的判断,我们还应把判定覆盖准则扩充到多出口判断(如Р CASE语句)的情况。Р 三、条件覆盖Р 条件覆盖是指,设计若干测试用例,执行被测程序以后,要使每个判断中每个条Р件的可能取值至少满足一次。Р 在上述程序段中,第一个判断应考虑到:Р A>1,取真值,记为T1Р A >1,取假值,即A≤1,记为F1Р B = 0,取真值,记为T2Р B = 0,取假值,即B≠0,记为F2Р 第2个判断应考虑到:Р A = 2,取真值,记为T3Р A = 2,取假值,即A≠2,记为F3Р X>1,取真值,记为T4Р X>1,取假值,即X≤1,记为F4Р 我们给出3个测试用例:CASE6,CASE7,CASE8,执行该程序段所走路径及覆Р盖条件是:Р 测试用例 ABX 所走路径覆盖条件Р CASE 6 2 0 3 a c e T1, T2, T3, T4Р CASE 7 1 0 1 a b d F1, T2, F3, F4Р CASE 8 2 1 1 a b e T1, F2, T3, F4Р博为峰软件制作 BWF SOFTWARE