改进程序质量的技术手段：Test，DBC

目前能想到的是：

1 单元测试
2 DBC-Design by Contract

单元测试已经广泛采用了。DBC似乎应用还不行，今天搜索了下，微软提供了一个spec#,看上去还不错，我安装后VS崩溃了，网上资料也很少，看来还不成熟。不知道是否有替代方案。

DBC能够在编译阶段检查出代码调用参数的错误，可以高效率地避免很多错误。

目前只能是自己产生ArgumentException的方式来检查了。我个人觉得每个方法都应该检查参数，好像有个尽早出错原则，尽管显得有些繁琐。
希望能早日用上DBC。