目前能想到的是：
1 单元测试
2 DBC-Design by Contract
单元测试已经广泛采用了。DBC似乎应用还不行，今天搜索了下，微软提供了一个spec#,看上去还不错，我安装后VS崩溃了，网上资料也很少，看来还不成熟。不知道是否有替代方案。
DBC能够在编译阶段检查出代码调用参数的错误，可以高效率地避免很多错误。
目前只能是自己产生ArgumentException的方式来检查了。我个人觉得每个方法都应该检查参数，好像有个尽早出错原则，尽管显得有些繁琐。
希望能早日用上DBC。