单元测试
,测试独立的最小单元
.部件能正常工作时,整体就能正常工作.
没有单元测试的代码
是有病
的代码.
为什么有些代码只提供尽可能少的接口
,就是为了方便更新
.有的时候接口
越少越好.里面的代码就可以自由更新
/重构
.因为根本就没用到这些函数.所以最好,一开始就构造到最好.
最强大的工具就是单元测试
.
-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
+断定
都被禁用了.