軟體測試之我所見（三）

書接上文

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其他檢查

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