.Net编程工具CodeContracts.zip

CodeContracts 是用于 .Net 程序中的开源工具。它可以作为你内部或者外部 API 的检查文档,并且可以通过实时监测、静态合同验证和文档生成来改善测试。CodeContracts 将基于合同设计(design-by-contract)的编程方式的优点全部带给了 .Net 编程语言。