oo第四次博客

測試與正確性論證   測試   所謂測試，簡單地說，就是構造測試樣例來檢測自己的程序是否存在bug。 優點 自主性、針對性強； 結果明朗，有說服力。 缺點 無法全面保證程序沒有任何問題。 正確性論證   從代碼出發，一句一句地從正面一步步論證自己程序的正確性。 優點 能覆蓋到每一條代碼，覆蓋面廣 且正確的情況下能保證程序已實現功能的正確性。 缺點 論證者論證時邏輯可能不嚴密，且當方法過長時對論證邏

>>阅读原文<<