是否必须始终检查先决条件？
Closed. This question is opinion-based. It is not currently accepting answers. 想要改进这个问题？更新问题，以便可以通过编辑这篇文章用事实和…
代码契约：如何在后置条件中声明字段/属性的值未更改？
我最好用代码示例来展示我想完成什么？ class SomeClass { public int SomeProperty; public void SomeOperation() { Contract.Ensures( "SomePropert…
按契约和类不变式设计
我正在阅读有关 dbc 的内容 (http://en.wikipedia.org/wiki/Design_by_contract ） 有人可以给我一个使用与继承相关的类不变量的简单例子吗？…
您如何在 Clojure 或一般的函数式语言中实现契约设计？
我更喜欢 Lisp 变体中的示例（Clojure 或 Scheme 的加分），因为这是我最熟悉的，但任何有关函数式语言中的 DBC 的反馈当然对更大的社区很有价值。 这…
Microsoft.Contracts 命名空间
为什么在 asp.net 中需要 Microsoft.Contracts 命名空间？ 我的意思是，在什么情况下我可以使用 Microsoft.Contracts; 编写？…
需要什么来证明本合同的要求？
我有一个在锦标赛中运行的应用程序，并且我收到了有关此简化代码结构的合同警告： public static void LoadState(IList stuff) { for(int i = 0; i < …
按契约设计：你能有一个协议接口吗？
我对契约设计的概念还很陌生，但到目前为止，我很喜欢它让发现潜在错误变得多么容易。 然而，我一直在使用 Microsoft.Contracts 库（这非常棒），但我…
如果按契约进行设计，除了成员函数的不变量之外，还需要前置条件和后置条件吗？
据我所知，在 DbC 方法中，前置条件和后置条件附加到函数上。 我想知道这是否也适用于成员函数。 例如，假设我在每个公共函数的开头和结尾处使用不变…
图书馆以促进“合同设计”的使用 原则
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
