的測(cè)試方法有代碼檢查法、靜態(tài)結(jié)構(gòu)分析法、靜態(tài)質(zhì)量度量法、邏輯覆蓋法、基本路徑測(cè)試法、域測(cè)試、符號(hào)測(cè)試、Z路徑覆蓋、程序變異。
其中運(yùn)用為廣泛的是基本路徑測(cè)試法。
基本路徑測(cè)試法是在程序控制流圖的基礎(chǔ)上，通過分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)的方法。
設(shè)計(jì)出的測(cè)試用例要保證在測(cè)試中程序的語句覆蓋基本路徑測(cè)試法題目，條件覆蓋。
在程序控制流圖的基礎(chǔ)上，通過分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測(cè)試用例。包括以下4個(gè)步驟和一個(gè)工具方法：
1. 程序的控制流圖：描述程序控制流的一種圖示方法。
2. 程序圈復(fù)雜度：復(fù)雜性度量。從程序的環(huán)路復(fù)雜性可導(dǎo)出程序基本路徑集合中的獨(dú)立路徑條數(shù)，這是確定程序中每個(gè)可執(zhí)行語句至少執(zhí)行一次所必須的測(cè)試用例數(shù)目的上界。
3. 導(dǎo)出測(cè)試用例：根據(jù)圈復(fù)雜度和程序結(jié)構(gòu)設(shè)計(jì)用例數(shù)據(jù)輸入和預(yù)期結(jié)果。
4. 準(zhǔn)備測(cè)試用例：確保基本路徑集中的每一條路徑的執(zhí)行。
工具方法：
圖形矩陣：是在基本路徑測(cè)試中起輔助作用的軟件工具，利用它可以實(shí)現(xiàn)自動(dòng)地確定一個(gè)基本路徑集。
程序的控制流圖：描述程序控制流的一種圖示方法。
圓圈稱為控制流圖的一個(gè)結(jié)點(diǎn)，表示一個(gè)或多個(gè)無分支的語句或源程序語句
流圖只有二種圖形符號(hào)：
圖中的每一個(gè)圓稱為流圖的結(jié)點(diǎn)，代表一條或多條語句。
流圖中的箭頭稱為邊或連接基本路徑測(cè)試法題目，代表控制流
任何過程設(shè)計(jì)都要被翻譯成控制流圖。
如何根據(jù)程序流程圖畫出控制流程圖?
在將程序流程圖簡(jiǎn)化成控制流圖時(shí)，應(yīng)注意：
1)在選擇或多分支結(jié)構(gòu)中，分支的匯聚處應(yīng)有一個(gè)匯聚結(jié)點(diǎn)。
2) 邊和結(jié)點(diǎn)圈定的范圍叫做區(qū)域，當(dāng)對(duì)區(qū)域計(jì)數(shù)時(shí)，圖形外的區(qū)域也應(yīng)記為一個(gè)區(qū)域。