软件测试(第三次作业)——图覆盖

(a)

(b)

对于测试用例t1=(n=3)和t2=(n=5),MAXPRIMES = 4时,t1不能检查出错误,而t2则会发生数组越界错。

(c)

对于测试用例t3=(n=1),测试路径不经过while的循环体。

(d)

节点覆盖:TR={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18}

边覆盖:TR={(1,2), (2,3), (2,4), (3,5), (4,14), (5,6), (5,7), (6,8), (7,11), (7,12), (8,9), (8,10), (9,10), (10,2), (11,5), (12,13), (13,8),(14,15),(15,16),(15,17),(16,18),(18,15)}

主路径覆盖:TR={

(1,2,3,5,6,8,9,10)

(1,2,3,5,7,11)

(1,2,3,5,7,12,13,8,9,10)

(1,2,3,5,7,12,13,8,10)

(1,2,4,14,15,16,18)

(1,2,4,14,15,17)

(8,10,2)

(7,11,5)

(16,18,15)

}

原文地址:https://www.cnblogs.com/tjufengye/p/5343411.html