实验4白盒测试（二）new (2)

1 2 3 4 13 5 14 R4 6 7 R2 R1 9 8 10 R3 11 12

（2）计算此程序段的McCabe 复杂性

若设P为控制流图中的判定节点数，则有V(G) = P + 1 如图中有3个判定节点，因此其环路复杂性为V(G)=P+1=3+1=4，所以该程序的环路复杂性为4。

（3）独立路径：

PATH1：1-2-3-4-13-14

PATH2：1-2-3-4-5-6-7-12-4-13-14 PATH3：1-2-3-4-5-6-8-9-12-4-13-14 PATH4：1-2-3-4-5-6-8-10-11-12-4-13-14 用例编号 1 2 3 4 路径 PATH1 PATH2 PATH3 PATH4 输入数据 array[0]={}; key = 1 array[3]={2,8,6}; key = 8 array[3]={2,4,6}; key = 2 array[4]={2,4,6,8}; key = 6 预期输出 -1 1 0 2

六、实验心得

通过本次实验，让我了解到白盒测试的方法有很多种，要根据不同的测试对

象，选择合适地方法。要对条件组合覆盖和条件判断覆盖进行区别。