软件简介

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