工具介绍
用于 .NET 的 CodeContracts 工具的源代码
CodeContracts .NET 代码合约工具的源代码
- 运行时检查。我们的二进制重写器通过注入合约来修改程序，这些合约会在程序执行过程中进行检查。重写后的程序提高了可测试性：每个合约都起到一个神器的作用，为测试运行提供通过/失败的指示。自动测试工具，如 Pex，利用合约来过滤无意义的测试参数，从而生成更有意义的单元测试，这些参数不满足预先条件。 1. 静态检查。我们的静态检查器可以在不运行程序的情况下确定是否存在合约违规情况！它检查隐式合约，例如空指针引用和数组边界，以及显式合约。 1. 文档生成。我们的文档生成器会将合约信息添加到现有的 XML 文档文件中。还有一些新的样式表，可以与 Sandcastle 一起使用，从而生成的文档页面具有合约部分。
快速链接