按軟件生存期階段分類
Good enough-Gerhart分類方法把軟件的邏輯錯誤按生存期不同階段分為4類。
�、� 問題定義(需求分析)錯誤
它們是在軟件定義階段，分析員研究用戶的要求后所編寫的文檔中出現的錯誤。換句話說，這類錯誤是由于問題定義不滿足用戶的要求而導致的錯誤。
�、� 規格說明錯誤
這類錯誤是指規格說明與問題定義不一致所產生的錯誤。它們又可以細分成：
不一致性錯誤：規格說明中功能說明與問題定義發生矛盾。
冗余性錯誤：規格說明中某些功能說明與問題定義相比是多余的。
不完整性錯誤：規格說明中缺少某些必要的功能說明。
不可行錯誤：規格說明中有些功能要求是不可行的。
不可測試錯誤：有些功能的測試要求是不現實的。
�、� 設計錯誤
這是在設計階段產生的錯誤，它使系統的設計與需求規格說明中的功能說明不相符。它們又可以細分為：
設計不完全錯誤：某些功能沒有被設計，或設計得不完全。
算法錯誤：算法選擇不合適。主要表現為算法的基本功能不滿足功能要求、算法不可行或者算法的效率不符合要求。
模塊接口錯誤：模塊結構不合理; 模塊與外部數據庫的界面不一致，模塊之間的界面不一致。
控制邏輯錯誤：控制流程與規格說明不一致；控制結構不合理。
數據結構錯誤：數據設計不合理；與算法不匹配；數據結構不滿足規格說明要求。
�、� 編碼錯誤
編碼過程中的錯誤是多種多樣的，大體可歸為以下幾種：數據說明錯、數據使用錯、計算錯、比較錯、控制流錯、界面錯、輸入/輸出錯，及其它的錯誤。
在不同的開發階段，錯誤的類型和表現形式是不同的，故應當采用不同的方法和策略來進行檢測。
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/