白盒測試之基本路徑測試法[6]

　　白盒測試之基本路徑測試法[6]   軟件測試

　　5)路徑5的測試用例：

　　score[i]=有效分數， 當i<50;

　　score[k]>100， k< i ;

　　期望結果：根據輸入的有效分數算出正確的分數個數n1、總分sum和平均分average。

　　6)路徑6(1-2-3-4-5-6-7-8-2…)的測試用例：

　　score[i]=有效分數， 當i<50;

　　期望結果：根據輸入的有效分數算出正確的分數個數n1、總分sum和平均分average。

　　注意事項：

　　必須注意，一些獨立的路徑，往往不是完全孤立的，有時它是程序正常的控制流的一部分，這時，這些路徑的測試可以是另一條路徑測試的一部分。

　　方法工具：圖形矩陣

　　o 導出控制流圖和決定基本測試路徑的過程均需要機械化，為了開發輔助基本路徑測試的軟件工具，稱為圖形矩陣(graph matrix)的數據結構很有用。

　　利用圖形矩陣可以實現自動地確定一個基本路徑集。一個圖形矩陣是一個方陣，其行/列數控制流圖中的結點數，每行和每列依次對應到一個被標識的結點，矩陣元素對應到結點間的連接(即邊)。在圖中，控制流圖的每一個結點都用數字加以標識，每一條邊都用字母加以標識。如果在控制流圖中第i個結點到第j個結點有一個名為x的邊相連接，則在對應的圖形矩陣中第i行/第j列有一個非空的元素x。

　　對每個矩陣項加入連接權值(link weight)，圖矩陣就可以用于在測試中評估程序的控制結構，連接權值為控制流提供了另外的信息。最簡單情況下，連接權值是 1(存在連接)或0(不存在連接)，但是，連接權值可以賦予更有趣的屬性：

　　執行連接(邊)的概率。

　　穿越連接的處理時間。

　　穿越連接時所需的內存。

　　穿越連接時所需的資源。

　　根據上面的方法對例4畫出圖形矩陣如下：

　　連接權為“1”表示存在一個連接，在圖中如果一行有兩個或更多的元素“1”，則這行所代表的結點一定是一個判定結點，通過連接矩陣中有兩個以上(包括兩個)元素為“1”的個數，就可以得到確定該圖圈復雜度的另一種算法。

原文轉自：http://www.kjueaiud.com