單元測試
,測試獨立的最小單元
.部件能正常工作時,整體就能正常工作.
沒有單元測試的代碼
是有病
的代碼.
爲什麼有些代碼只提供儘可能少的接口
,就是爲了方便更新
.有的時候接口
越少越好.裏面的代碼就可以自由更新
/重構
.因爲根本就沒用到這些函數.所以最好,一開始就構造到最好.
最強大的工具就是單元測試
.
-unittest
,就可以了.
合約編程.
in/out/invariant
,body
塊->do
,body塊現在爲do塊了.
out (result) {
assert((result == 28) || (result == 29));
} do {
return isLeapYear(year) ? 29 : 28;//檢查這裏
}
檢查返回的值,測試是必不可少的.過去通過了.未來也必然會通過.會讓你輕鬆的.
發佈版本-release
禁用了合約編程.這三塊in, out, 和 invariant
+斷定
都被禁用了.