invariants

0热度

1回答

很简单，当设计一个新班级时，我该如何弄清楚不变量应该是什么？什么定义了不变量？我听说它与有效性有关，但这仍然不明确。是什么让一个给定的实例有效或无效是有争议的。我应该用我的“直觉”去感受吗？是否有指导方法来确定不变量是什么？

6热度

3回答

我目前正在使用OpenGL编程科学图像应用程序。我想知道如果我的代码（C++/OpenGL和简单的GLSL）在不同的硬件上执行（ATI vs NVidia，各种NVidia），OpenGL渲染（根据FBO检索的像素）应该是完全确定的世代和各种操作系统）？更确切地说，我需要的确切相同的像素缓冲区，每次我在任何硬件上运行我的代码（可以运行基本GLSL和OpenGL 3.0）... 这可能吗？我应该

0热度

2回答

二进制排序：如果列表[中] ==关键案例

我正在修改算法为我的考试，我试图解决这个练习，但我不能想出一个解决方案。这是伪代码。 1. int search (int [] a, int x) { 2. // Pre: ∃i:Nat (0≤i<a.length ∧ a[i]=x) ∧ a is in ascending order 3. // Post: 0≤ r≤ a.length ∧ 4. // ∀i:int.(0 ≤ i <

1热度

1回答

在调用例程之前和之后评估不变量？

在合同设计中，必须满足两类不变式：在创建对象之后并在调用例程之后。有没有任何例子或条件，我也必须在打电话给例行公事之前做评估？

1热度

1回答

DDD和工厂

嗨我有几个关于域驱动设计和使用工厂/工厂方法的问题。％的领域驱动设计蓝皮书（埃里克·埃文斯书）就指出，复杂的构造函数应该内工厂/工厂方法/建设者封装所以，你检查所有的不变量一致的地方，所以我的问题是关于这个：比方说，我开发一个神奇的组织程序，您可以进行CRUD像魔法效果的操作（比如在博客+几个属性般的效果持续时间，使用的材料后的字符串（列表）与魔法效果有关，行话）一些不变式是魔法效果必须始终有

4热度

2回答

抛出一个私人异常是否有意义？

我想抛出一个运行时异常，以防我的类不变量失效。由于这是一个编程错误（类似于NullPointerException），客户端不应该捕获该异常。应该将异常类声明为private还是public（或其他）？ class Foo { // ... private static class InvariantsViolated { // ... }

8热度

3回答

Hoare逻辑循环不变式

我在看Hoare Logic，并且在理解找到循环不变的方法时遇到了问题。有人可以解释用于计算循环不变的方法吗？什么循环不变应该包含一个“有用”的？我只处理简单的例子，发现不变量并证明部分和完全校正的例子，如： { i ≥ 0 } while i > 0 do i := i−1 { i = 0 }

4热度

3回答

如何在C＃中使用前/后置条件和不变量实现Stack类？

有没有人有任何关于如何/什么是在C＃中实现堆栈类的最佳方式的任何示例或想法？我知道已经有一个Stack类，但我需要了解如何实际实现一个Stack类。我还需要关于如何在C＃中使用合同来指定该类的前提条件，后置条件和不变量的建议。我想我在ASP.NET MVC架构中创建模型时曾经使用过类似的东西，但我不完全确定它是否是相同的并且工作方式相同。（我有点失去了前提条件/后置/不变量，如果你不能说已经

1热度

2回答

在Ada中查找数组的最大值

我正在做一个Ada程序，其中有许多不同的函数与数组混合，我得到了所有排序函数，我现在坚持使用循环不变来检索数组中的最大值设计该功能的循环。任何帮助？

1热度

4回答

Java循环不变

int logarithmCeiling(int x) { int power = 1; int count = 0; while (power < x) { power = 2 *power; count = count +1; } return count; } 上面的代码是为了使用while循环计算并返回给定正