oo作業總結(四)

測試與正確性論證 　　測試是通過構造一系列測試數據，通過對比程序的實際運行結果和預期輸出結果來判斷程序是否有bug的一種手段。同時，在測試的時候是默認看不到程序的具體實現的，即進行黑盒測試，例如每次OO作業的互測階段。測試的具體方法是將輸入進行劃分，通過構造一個錯誤分支樹，然後每個分支構造一個或多個測試樣例來對程序進行測試。其手段簡單，易於實現，通常情況下可以覆蓋大多數情況。但也可以看到通過測試的

>>阅读原文<<