1、正式審查
1）確定問題：找出軟件出錯的項目、遺漏的項目
2）遵守股則
3）準備
4）編寫報告
2、夥伴審查
3、公開陳述
4、檢驗（最正式的審查類型，資料和文檔學習，陳述，記錄）
5、編碼規範和準則
標題、標準（允許&不允許項）、解釋說明、示例
6、通用代碼審查清單
1）數據引用錯誤
指使用未經正確初始化用法和引用方式的變量，常量，數組，字符串或記錄而導致的軟件缺陷
2）數據聲明錯誤
正確地類型、長度、存儲類，聲明並初始化、相似的名稱、聲明過但未被引用的變量
3）計算錯誤
不同數據類型，數據類型長度不同的轉換規則，賦值變量小於賦值表達式的值，溢出，除數爲0，丟失精度，數值的有意義的範圍，運算優先級
4）比較錯誤
小於，大於，等於，不等於，真，假
5）控制流程錯誤
6）子程序參數錯誤
參數類型性，順序，常量當做形參，子程序是否更改了僅作爲輸入值的參數、局部變量與全局變量相似
7）輸入輸出錯誤
文件讀取、鍵盤輸入、鼠標輸入、打印機輸出、屏幕輸出
讀寫格式規範性、異常處理，提示信息正確性
8）可移植性、兼容性、警告
動態白盒測試/結構測試
直接測試底層功能、過程、子程序、庫
1、動態白盒測試&調試相似
2、分段測試
1）單元測試和集成測試
3、數據範圍
1）輸入、輸出、中間值
2）次邊界
3）公式和等式
4）錯誤強制
4、代碼範圍
1）語句/代碼行範圍
2）分支範圍
3）條件範圍（條件會增加待測路徑）