接口 A 的函數(shù)原型

輸入 / 動作

期望的輸出 / 相應(yīng)

實際情況

典型值 …

邊界值 …

接口 B 的函數(shù)原型

輸入 / 動作

期望的輸出 / 相應(yīng)

實際情況

典型值 …

邊界值 …

異常值 …

檢查項

結(jié)論

數(shù)據(jù)類型問題

（１）變量的數(shù)據(jù)類型有錯誤嗎？

（２）存在不同數(shù)據(jù)類型的賦值嗎？

（３）存在不同數(shù)據(jù)類型的比較嗎？

變量值問題

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

（２）變量發(fā)生上溢或下溢嗎？

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

邏輯判斷問題

（１）由于精度原因?qū)е卤容^無效嗎？

（２）表達式中的優(yōu)先級有誤嗎？

（３）邏輯判斷結(jié)果顛倒嗎？

循環(huán)問題

（１）循環(huán)終止條件不正確嗎？

（２）無法正常終止（死循環(huán)）嗎？

（３）錯誤地修改循環(huán)變量嗎？

（４）存在誤差累積嗎？

內(nèi)存問題

（１）內(nèi)存沒有被正確地初始化卻被使用嗎？

（２）內(nèi)存被釋放后卻繼續(xù)被使用嗎？

（３）內(nèi)存泄漏嗎？

（４）內(nèi)存越界嗎？

（５）出現(xiàn)野指針嗎？

文件I/O問題

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

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

（３）文件結(jié)束判斷不正確嗎？

（４）沒有正確地關(guān)閉文件嗎？

錯誤處理問題

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

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

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

（４）錯誤處理程序塊是“馬后炮”嗎？如在被它被調(diào)用之前軟件已經(jīng)出錯。

…