OO第四階段總結

一、測試與正確性論證的區別 　　從哲學的角度來說，正確性論證與測試的關係就像理論與實踐的關係一樣。 　　使用測試的方法檢驗程序正確性確實是一個非常方便可行且廣泛運用的方法。可以通過幾個簡單或複雜的測試樣例，迅速地校驗程序主要邏輯是否正確，運行結果是否符合預期。但是對於較爲複雜的問題來說，測試樣例很可能並不能覆蓋所有的情況，因此我們曾經引入代碼覆蓋率和分支覆蓋率的概念。但是在操作過程中我發現，即使某

>>阅读原文<<