輸入/動作

期望的輸出/相應

實際情況

檢查項

結論

（1）變量的數據類型有錯誤嗎？

（2）存在不同數據類型的賦值嗎？

（3）存在不同數據類型的比較嗎？

（1）變量的初始化或缺省值有錯誤嗎？

（2）變量發生上溢或下溢嗎？

（3）變量的精度不夠嗎？

（1）由于精度原因導致比較無效嗎？

（2）表達式中的優先級有誤嗎？

（3）邏輯判斷結果顛倒嗎？

（1）循環終止條件不正確嗎？

（2）無法正常終止（死循環）嗎？

（3）錯誤地修改循環變量嗎？

（4）存在誤差累積嗎？

（1）內存沒有被正確地初始化卻被使用嗎？

（2）內存被釋放后卻繼續被使用嗎？

（3）內存泄漏嗎？

（4）內存越界嗎？

（5）出現野指針嗎？

（1）對不存在的或者錯誤的文件進行操作嗎？

（2）文件以不正確的方式打開嗎？

（3）文件結束判斷不正確嗎？

（4）沒有正確地關閉文件嗎？

（1）忘記進行錯誤處理嗎？

（2）錯誤處理程序塊一直沒有機會被運行？

（3）錯誤處理程序塊本身就有毛病嗎？如報告的錯誤與實際錯誤不一致，處理方式不正確等等。

（4）錯誤處理程序塊是“馬后炮”嗎？如在被它被調用之前軟件已經出錯。