.NET 4.0 代码契约 - 它们将如何影响单元测试？
例如，这篇文章介绍了它们。 有什么好处？ 静态分析看起来很酷，但同时它会阻止在单元测试中将 null 作为参数传递的能力。 （如果您遵循本文中的示例…
代码契约静态检查器是否应该能够检查算术界限？
（也发布在 MSDN 论坛上 - 但据我所知，这并没有获得太多流量。） 我一直在尝试提供 Assert 和 Assume 的示例。 这是我得到的代码：（ public static …
.NET 代码契约：还有比这更基础的吗？
我只是在 Stack Overflow 上胡乱回答某人的问题，这时我注意到 Visual Studio (2008) 内部出现了静态验证警告： string[] source = { "1", "A", "B" }…
为什么 ccrewrite.exe 不从命令行执行任何操作？
我的代码契约在 Visual Studio 2010 中运行良好，但我无法让 ccrewrite.exe 从命令行执行任何有用的操作。 这是一个示例应用程序： using System.Diag…
CodeContracts：如何使用 this() 调用来满足 Ctor 中的 Require？
我正在使用 Microsoft 的 CodeContracts 并遇到了无法解决的问题。 我有一个带有两个构造函数的类： public Foo (public float f) { Contracts.Requir…
Microsoft 代码合同可以与 ASP.NET 网站一起使用吗？
我目前正在 ASP.NET MVC 应用程序中使用 Microsoft 代码合约，但没有任何问题，但我似乎无法让它在基本的 ASP.NET 网站上正常运行。 我不完全确定它是…
代码契约迭代器中的错误？
以下代码在前提条件下失败。 这是代码合约中的错误吗？ static class Program { static void Main() { foreach (var s in Test(3)) { Console.WriteLi…
Microsoft Contracts：程序集加载导致元数据导入警告
我正在尝试学习 Microsoft Code Contracts 库，我有以下简单的功能： internal static Engine CreateBuildEngine(Microsoft.Build.Framework.ILogger …
ReSharper - 使用 Microsoft.Contracts 时可能出现空分配
有没有什么方法可以向 ReSharper 表明由于 Design-by-Contract 需要检查而不会发生空引用？ 例如，以下代码将在 ReSharper 的第 7 行和第 8 行中引发…
您使用什么工具进行合同设计？
我曾经使用 Microsoft CodeContracts 三周，现在一半的代码只是合同。 我有几十个未经证实的地方，我无法使用运行时检查，因为 IL 重写会阻止覆盖工具…
如何使用代码契约指示方法永远不会返回 null？
如何指示一个方法永远不会返回 null？ 目前这是我的代码。 第 19 行收到 Ensures notproved 消息，即使 CreateFunction 假设结果不是空的。 1 Public …
