書接上文

6.檢查程式碼

6.1靜態白盒測試

靜態測試是指測試非執行部分---檢驗和審查

靜態白盒測試實在不執行軟體的條件下有條理地仔細審查軟體設計、系統結構和程式碼，從而找出軟體缺陷的過程。

6.2正式審查

正式審查蔣介石進行靜態白盒測試的過程。正式審查的含義很廣，從兩個程式設計師之間的簡單交談，到軟體設和程式碼的詳細、嚴格檢查均屬於此過程。

正式審查4個就基本要素

1）確定問題

2）遵循規則

3）準備

4）編寫報告

6.2.1同事審查

召集小組成員進行初次正式審查最簡單的方法是通過同事審查的方式。

6.2.2走查

走查是比同事審查更正規化的下一步。走查中編寫程式碼的程式設計師像5人小組或者其他程式設計師和測試員組成小組做正式陳述。

6.2.3 檢驗

檢驗是最正式的審查方式，具有高度組織化，要求每一位參與者都要訓練。

6.3 編碼標準和規範

還有一些問題時程式碼雖然可以正常執行，但是編寫不符合某種標準或規範

6.4通用程式碼審查清單

這些清單是將程式碼與標準或規範比較，確保程式碼符合專案的設計要求。

6.4.1資料引用錯誤

資料引用錯誤是指使用未經正確宣告和初始化的變數、常量、陣列、字串或記錄而導致的軟體缺陷

6.4.2資料宣告錯誤

資料宣告缺陷產生的原因是不正確的宣告或使用變數和常量

6.4.3計算錯誤

6.4.4比較錯誤

小於，大於，等於，不等於，真，假。比較和判斷錯誤很可能是由於邊界條件問題

6.4.5控制流程錯誤

控制流程錯誤的原因是程式語言中迴圈等控制結構未按預期方式工作。

6.4.6子程式引數錯誤

子程式引數錯誤的來源是軟體子程式不正確傳遞資料

6.4.7輸入輸出錯誤

輸入輸出錯誤包括檔案讀取、接收鍵盤和滑鼠輸入以及向印表機或者螢幕燈輸出裝置寫入錯誤。

6.4.8其他檢查

這個壓軸清單定義了一些不合適放在類別的條目。