執行階段錯誤檢測

執行階段錯誤檢測是在軟件執行時進行分析，檢查是否有程式錯誤的軟件驗證方式。可以用在單元測試、模組測試、整合測試、系統測試（自動化測試或是人工測試）或是滲透測試。

執行階段錯誤檢測可以識別一些執行時才會發現的問題（例如檔案被覆寫），找到程式崩潰、運行變慢或是運作異常的根本原因，並且針對根本原因設法修正。執行時期常見的錯誤有以下這些：

• 競爭危害
• 資源泄漏
• 記憶體流失
• 漏洞（例如SQL注入）
• 空指標
• 記憶體損壞（英語：Memory corruption）
• 緩衝區溢位^[1]

執行階段錯誤檢測工具只能偵測應用程式執行控制流的錯誤^[2]。

相關條目

• 開發測試（英語：Development Testing）
• 軟件測試
• 記憶體除錯（英語：Memory debugger）
• BoundsChecker（英語：BoundsChecker）
• 執行時間驗證（英語：Runtime verification）