Microsoft Contracts：程序集加载导致元数据导入警告
我正在尝试学习 Microsoft Code Contracts 库，我有以下简单的功能： internal static Engine CreateBuildEngine(Microsoft.Build.Framework.ILogger …
将nosetests 与Python 合约相结合
我使用 Python 合约 来指定前置条件/后置条件/不变量。 我还使用 doctests 进行单元测试。 我希望在启用合同的情况下运行所有 doctest 单元测…
我如何知道Python的contract.py哪个合约失败了？
我正在使用 contract.py，Terrence Way 的 Python 按合同设计的参考实现。 当违反契约（前置条件/后置条件/不变式）时，实现会引发异常，但如果有…
.NET 4.0 的契约设计与 Eiffel 相比如何？
我很“高兴”在大学里由 Bertrand Meyer 本人教授 Eiffel，并且刚刚读到 .NET 4.0 将包括合同设计。 任何有洞察力的人都可以详细说明与 Eiffel 现有的…
ReSharper - 使用 Microsoft.Contracts 时可能出现空分配
有没有什么方法可以向 ReSharper 表明由于 Design-by-Contract 需要检查而不会发生空引用？ 例如，以下代码将在 ReSharper 的第 7 行和第 8 行中引发…
java 中的参数检查或契约设计 (GWT)。 从哪儿开始？
我正在玩GWT。 我正在寻找基本的论证检查。 我不需要不变量或结果保证。 我对此主题的最佳实践感兴趣。 例如，在 c# 中，我使用以下选项之一： if (ar…
用 C 语言进行契约设计，用于自动定理证明
我正在开发几个 C 项目，我想使用自动定理证明来验证代码。 理想情况下，我只想使用 ATP 来验证函数契约。 C/gcc 或外部软件/软件包/等中是否有任何功…
您使用什么工具进行合同设计？
我曾经使用 Microsoft CodeContracts 三周，现在一半的代码只是合同。 我有几十个未经证实的地方，我无法使用运行时检查，因为 IL 重写会阻止覆盖工具…
契约设计可以像静态类型语言一样轻松地应用于动态语言吗？
标题几乎概括了要点。 我感兴趣的是，在使用动态语言时是否可以启用/禁用合同执行，而不会面临严重/未诊断故障的风险？ 如果不是，那么（对我来说）关…
按合同库（界面）设计的想法？
我正在研究一个 Java 库的契约设计，这是我迄今为止在界面方面提出的想法。 用户可以调用executeContract，并且executeContract在调用'require'之后调…
如何在 C# 中表明方法永远不会返回 null（按合同设计）
我有一个永远不会返回空对象的方法。 我想澄清一下，这样我的 API 的用户就不必编写这样的代码： if(Getxyz() != null) { // do stuff } 我怎样才能表…
您对托管合同工具库有何看法
我最近看到这个视频 http://channel9.msdn.com/pdc2008/TL51/ 有关托管合同工具的信息图书馆看起来确实很有趣。 遗憾的是，他们似乎不会将其包含到语…
在 Web 开发中编写 CSS 使用合同的最佳方法是什么？
我们的开发团队在两年多前就一直在开发企业网页。 我们很想知道编写 CSS 使用合同的最佳方式是什么。 例如，如果我们有一个 COMP，我们如何就合同达成…
不可为 null 的对象有什么问题？
我最近一直在研究 DbC 和 Spec#，它们似乎支持不可为 null 的对象。 不幸的是 Spec# 似乎已被放弃。 Spec# 似乎内置了很多不错的语言功能，那么为什么…
