1回答
刚刚接触了微软代码契约，用于检查代码中的前置、后置条件和对象不变量(https://docs.microsoft.com/en-us/dotnet/framework/debug-trace-profile我想确认一个关于可靠性和完整性的问题，假设检查器没有输出任何错误消息，假设不变量是不变的，这是否意味着不变量确实是(可证明的)真的，或者它仍然可能是假阳性。
浏览 16提问于2019-04-21得票数 1
回答已采纳
据我所知，该特性只允许通过方面检查输入和输出参数。但是我没有找到任何关于类不变量和后置条件的东西。在我尝试使用C#代码契约之前，.Net核心不支持它。现在，我想尝试使用来自PostSharp的来检查不变量、先决条件和后置条件。如果我使用PostSharp，那么最好的方法是什么？是否存在其他用于合同编程的工具？使用工具的主要原因是我不希望将主代码绑定到合同检查中。
浏览 2提问于2019-11-25得票数 1
回答已采纳
当我看到错误时，我看到：
无法加载文件或程序集“Microsoft.Contracts、Version=1.0.0.0、Culture=neutral、PublicKeyToken=736440c9b414ea16
浏览 4提问于2010-11-22得票数 6
回答已采纳
2回答
我有以下软件：
它警告我，chapter可能是空的，尽管契约要求它不为空。另外：契约不变方法被标记为never used。在技术上是正确的，但是它不应该告诉我，因为代码<e
浏览 3提问于2014-07-19得票数 7
回答已采纳
1回答
从表面上看，对象初始化器似乎给.net 4.0的“代码契约”带来了一个问题，通常情况下，不变量应该在对象构造函数完成时建立。但是，假设对象初始化器需要在构造完成后设置属性。我的问题是，“代码契约”的不变量是否能够处理对象初始化器，“就好像”属性是在构造函数完成之前设置的？那真是太好了！
浏览 0提问于2010-05-02得票数 14
回答已采纳
1回答
我正在努力掌握code Contracts，因为我认为这个概念在生成更健壮的代码方面有很好的前景，但到目前为止，有相当多的事情对我来说仍然不清楚或看起来很麻烦。在静态检查选项中选择了“隐式非空义务”后，我会收到一条消息，建议为我访问的当前表单中的每个控件推荐一个Contract.Requires([control] !我知道静态检查器不能知道这一点，但必须有一种方法来摆脱这些消息(如果只是因为它们弄乱了列表)-至少我希望是这样-除了显而易见的添加所有这些推荐的检查(或者更确切地说，Contract.Assume()调用)，
浏览 0提问于2011-04-26得票数 1
回答已采纳
为什么可以为后置条件和对象不变量添加和删除代码契约，而不能为C#中的先决条件添加和删除代码契约呢？对于后置条件和对象不变量，可以随意添加和删除契约，因为在虚拟/抽象/接口成员中表示的条件和在覆盖成员中表示的条件只是逻辑上的结合，并且是。这让我非常困惑，因为的后置条件和对象不变量、契约可以在will中添加和删除。我希望有一个建议，即后置条件和对象不变量只能变得更严格以及前提条件也更严格。我为什么要等
浏览 8提问于2020-02-20得票数 0
回答已采纳
在关于smart合同安全的建议中，我读到以下内容：这是否意味着回退函数不能执行revert()，还是意味着如果以太以这种方式发送
浏览 0提问于2018-11-28得票数 0
2回答
如何将防御性编程技术结合在一起？
、、、、
好吧，我想增加我生成的代码的级别。现在我主要使用TDD和静态代码分析来确保我的代码是正确的。最近，我听了迪诺·埃斯波西托关于代码契约的演讲，现在我想将它与其他技术结合使用。具体而言，我要问几个问题：
如何编写契约和单元测试以相互补充？应该在每个方法中还是仅在公共方法中使用代码契约？应该阻止Debug.Assert()的使用吗？什么时候可以用呢？(例如，请注意，.net中的不
浏览 5提问于2011-09-04得票数 21
回答已采纳
在这个问题中，和都指出，如果对象必须始终保持状态正确性，则应该将与其状态正确性有关的检查放在该对象中。然而，我在实现它时遇到了一个问题:在将检查实现为代码契约的不变量之后，我不再能够使用对象初始化( AutoMapper或EntityFramework )。问题的出现是因为它们首先使用默认的空构造函数创建一个新对象，然后填充各种属性，这会触发Contracts的不变量，在运行时生成异常。问题的出现是因为它们首先使用默认的空构造函数创建
浏览 1提问于2013-11-15得票数 4
3回答
我正在做几个C项目，我想使用自动定理证明来验证代码。理想情况下，我只想使用ATP来验证函数契约。在C/gcc或外部软件/包/等中是否有任何功能可以启用契约式设计风格的编码？
浏览 7提问于2009-05-07得票数 5
回答已采纳
2回答
可能重复：
考虑到另一个问题，似乎契约应该防止对象的无效状态，但话又说回来，我为什么要禁用它们！这样做，难道我不会为一大堆问题打开大门吗？它们是否应该被用作业务验证，比如确保一个startDate <= endDa
浏览 3提问于2012-11-07得票数 0
如何在启用合同检查的情况下生成最终的可执行文件？保持check语句完整是可能的，但是我们能保留所有的前后条件和类不变量吗？我需要这个来测试一个计算成本很高的应用程序，在我的例子中，用契约可执行文件冻结是有点太慢了。
浏览 2提问于2021-09-27得票数 1
回答已采纳
1回答
我在代码契约中使用不变量时遇到了一个问题。我想在我的抽象类中定义一个不变的，但是它被忽略了。下面的代码显示了我的接口和抽象类。class Program static void Main(string[] args) Point p = new Point(1, 2);}
当我将不变量移到点类时在抽象类中不可能有不变量，还是我做错了？
浏览 7提问于2015-03-18得票数 9
回答已采纳
2回答
值类型的代码约定
、、、
我刚刚开始使用代码契约，虽然很有希望，但它们在值类型方面似乎有一些限制。此示例编译和检查4个断言，但这些断言在运行时显然会失败。其中一些断言是多余的，我插入了它们，只是要确保验证器在指定的点检查这些属性。
浏览 2提问于2013-04-16得票数 1
回答已采纳
4回答
在.NET中检查前提条件
、、、
我是“提前失败”策略的粉丝，例如，我想检查方法参数是否有正确的值。在Java语言中，我会使用像这样的东西.NET也有类似的东西吗？
浏览 0提问于2011-03-07得票数 12
回答已采纳
4回答
我正在研究在我们的Perl项目中使用DbC，并试图找到在源代码中验证契约的最佳方法(例如，检查前/后条件、不变量等)。有人在用Perl做DbC吗？
浏览 2提问于2009-01-13得票数 12
回答已采纳
5回答
我有相对常见的方法，其中我只想要填充的参数作为输入。如果有人调用该方法，而参数不正确，则应抛出错误。对于泛型，有一些类似于"where“子句的限制(它不会到目前为止才有值)。private static void DoSomething(string string_in, object object_in,... ) if (null == object_in) throw new NullReferenceException("Input parameter of obj
浏览 0提问于2012-11-16得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
