CodeContracts .Net 编程工具

程序名称：CodeContracts

授权协议: MIT

操作系统: 跨平台

开发语言: C#

CodeContracts 介绍

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

CodeContracts 官网

https://github.com/Microsoft/CodeContracts