@測試大語言模型編程能力的問題 - DEFAULT 標籤詳情

一、測試與正確性論證　　a) 程序測試是指對一個完成了全部或部分功能、模塊的計算機程序在正式使用前的檢測，以確保程序能按預定的方式正確運行。測試用例由測試數據和預期結果構成，高效的測試應用盡量少的測試用例發現軟件儘可能多的錯誤。但程序測試只能發現錯誤，測試用例全部通過仍不能證明程序的正確性，窮舉測試（窮舉所有情況）幾乎是不可能的，同時將耗費大量時間和精力。　　b)