某模塊的源程序如下：


對程序進(jìn)行邏輯覆蓋的測試

對程序進(jìn)行基本路徑的測試

下面是一段求最大值的程序，其中datalist是數(shù)據(jù)表，n是datalist的長度。

（1） 畫出該程序的控制流圖，并計(jì)算其McCabe環(huán)路復(fù)雜性。

（2） 用基本路徑覆蓋法給出測試路徑。 
Pathl：①→③ 
Path2：①→②→④→⑥→„
Path3：①→②→⑤→⑥→„ 
（3） 為各測試路徑設(shè)計(jì)測試用例。 
Path1：取n=1，datalist[0]=1，預(yù)期結(jié)果：k=0 
Path2：取：n=2，datalist[0]=1，datalist[1]=0，預(yù)期結(jié)果：k=0
Path3：?。簄=2，datalist[0]=0，datalist[1]=1，預(yù)期結(jié)果：k=1