CodeContracts.Net 编程工具

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