2013-07-14 11:46:35
通過對二分搜尋法的例項分析，展示了程式驗證的的諸多優勢：問題很重要，需要認真地編寫**；程式的開發需要遵循驗證思想；可以使用一般性的工具進行程式的正確性分析。
感覺本章的內容有比較多的術語不是很好理解，看了兩遍，大致有點概念。
本章討論的程式驗證的含義指的是驗證程式**的正確性，具體指輸入是否合法、**中的迴圈是否能夠終止、**的邏輯是否正確。書中給出了正規的程式驗證步驟，在實際的過程中，對於小型的**，感覺使用這種方法很繁瑣，像是數學中的證明題，而且對於一些顯而易見的東西也要花費很大的時間去證明。可能是習慣的原因，覺得不是很好接受。
程式設計珠璣 第四章 編寫正確的程式
1 對下標限定界限 加條件 0 l u n 1 2 這個函式可以寫成如下形式 include using namespace std int bs int a,int begin,int end,int v if e a end e v return e a return 1 int main co...
程式設計珠璣 第四章 編寫正確的程式
1 對下標限定界限 加條件 0 l u n 1 2 這個函式可以寫成如下形式 include using namespace std int bs int a,int begin,int end,int v if e a end e v return e a return 1 int main co...
程式設計珠璣 第四章 編寫正確的程式
1 對下標限定界限 加條件 0 l u n 1 2 這個函式可以寫成如下形式 include using namespace std int bs int a,int begin,int end,int v if e a end e v return e a return 1 int main co...