实验4

开始 题目二 （1）程序的流程图 T return mid

F mid=(high+low)/2 T low=0 high=arrry.length-1 low<=high F return -1 Key==array[mid] 结束 key

程序控制流图 R1

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

(2)程序的环路复杂性即McCabe复杂性度量，简单的定义为控制流图的区域数。从程序的环路复杂性可以导出程序基本路径集合中的独立路径条数，可以确保程序中每个可执行语句至少执行一次所必需的最少测试用例数。

方法一：通过控制流图的边数和节点数计算。E为控制流图的边数，N为控制流图节点数。 V(G)=E-N+2 E=16,N=14 V(G)=4 程序的环路复杂性为4

方法二：通过控制流图中判定节点数计算。P为控制流图中判定节点数。

V(G)=P+1 P=3 V(G)=4 程序的环路复杂性为4

方法三：将环路复杂性定义为控制流图中的区域数。该控制流图中有4个区域：R1，R2，R3，R4,因此程序的环路复杂性为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

路径 1 2 3 4 13 14 1 2 3 4 5 6 7 12 4 13 14 输入数据 Array[0]={};key=1 array[3]={2,4,6}; key=4 0 2 预期结果 -1 1 1 2 3 4 5 6 8 9 12 4 13 array[4]={2,4,6,8} 14 key=2 1 2 3 4 5 6 8 10 11 12 4 13 14 array[4]={2,4,6,8} key=6 六． 实验心得

通过本次实验，理解了白盒测试的基本方法。掌握了语句覆盖、判定覆盖、条件覆

盖、判定/条件覆盖、条件组合覆盖和路径覆盖等代码覆盖测试策略，学会了运用相应的方法设计测试用例。