一、測試與正確性論證
a) 程序測試是指對一個完成了全部或部分功能、模塊的計算機程序在正式使用前的檢測,以確保程序能按預定的方式正確運行。測試用例由測試數據和預期結果構成,高效的測試應用盡量少的測試用例發現軟件儘可能多的錯誤。但程序測試只能發現錯誤,測試用例全部通過仍不能證明程序的正確性,窮舉測試(窮舉所有情況)幾乎是不可能的,同時將耗費大量時間和精力。
b)
1、autoscan
autoscan是用來掃描源代碼目錄生成configure.scan文件的。autoscan可以用目錄名做為參數,但如果你不使用參數的話,那麼autoscan將認為使用的是當前目錄。autoscan將掃描你所指定目錄中的源文件,並創建configure.scan文件。
2、configure.scan
c