2.2 程序環境復雜性：McCabe復雜性度量。從程序的環路復雜性可導出程序基本路徑集合中的獨立路徑條數，這是確定程序中每個可執行語句至少執行依次所必須的測試用例數目的上界。
2.3 導出測試用例
2.4 準備測試用例，確�；韭窂郊械拿恳粭l路徑的執行
2.5 圖形矩陣：是在基本路徑測試中起輔助作用的軟件工具，利用它可以實現自動地確定一個基本路徑集。
程序的靜態分析方法：
1 生成各種引用表、靜態錯誤分析
2 人工測試：桌前檢查、代碼評審等
3 軟件測試工具：包括靜態分析工具、動態測試工具、測試數據自動化生成工具、模塊測試臺、測試合成環境
3.1 靜態分析工具：語言程序的預處理器、數據庫工具、錯誤分析器和報告生成器。直接掃描所測試的正文，對程序的數據流和控制流進行分析，然后送出測試報告。
3.2 動態測試工具：通過選擇適當的測試用例，實際運行所測程序，比較實際運行結果和預期結果，發現錯誤。
3.3 測試數據自動化生成工具：包括路徑測試數據生成程序、隨機測試數據生成程序以及根據數據規格說明生成測試數據
3.4 模塊測試臺是一種專門的測試用例描述語言，負責將輸入數據傳送到所測試模塊中，然后將實際輸出結果與在描述測試用例的語言中所表述的期望結果進行比較，發現錯誤。另外，也包括其它的功能：語句跟蹤、動態斷句、覆蓋度量、用戶自定義符號表、內容表和輸出格式。
3.5 測試合成環境：包括環境模擬程序，代碼檢查程序，測試文檔生成程序，測試執行嚴整程序，輸出比較程序，程序正確性證明程序等，以及各種調試工具。而且還有集成系統，集成了多種工具，如SADAT、Microsoft Test for Windows和PureArtria等。
***********************************************************
文章來源于領測軟件測試網 http://www.kjueaiud.com/
