我在一个简单的函数上尝试，该函数计算方阵中一个(行，列)位置的“邻居”。例如，对于下面给出的4x4矩阵，单元(1,1)的邻域应该是：(0,1)，(1,0)，(1,2)，(2,1)。不在矩阵范围内的单元格(4,3)的邻域应为(3,3)等。函数的输入是矩阵的大小和感兴趣位置的(row，col)。输出是邻居(row，col)的集合。如果没有邻居，则此集合可以
浏览 7提问于2019-08-04得票数 1
回答已采纳
5回答
函数/方法的后置条件
、、、、
你们中有没有人记录过带有前置和后置条件的函数或方法？(我之所以问，是因为我的老师说这是官方/正确的做法)：E-是的成员(如在集合中)--> -暗示int FirstOccurence(String s, Char c)
precondit
浏览 2提问于2011-03-16得票数 5
回答已采纳
3回答
我正在尝试将一些契约式设计技术融入到我的编码风格中。对我来说，后置条件看起来很像嵌入式单元测试，我想知道我在这里的想法是正确的还是离谱的。维基百科将后置条件定义为“在执行某段代码后或在正式规范中的操作之后必须始终为真的条件或谓词。后置条件有时使用代码本身中的断言进行测试”。2)使用后置条件应该改变我的<
浏览 2提问于2011-02-20得票数 8
回答已采纳
2回答
我正在阅读关于使用关键字验证方法、先决条件和后置条件的assert。文档说，使用assert关键字来验证public方法的后置条件是可以的，但是您应该只使用assert关键字来验证private方法的先决条件。
为什么会这样呢？
浏览 12提问于2017-11-12得票数 3
回答已采纳
在“思考Python:如何像计算机科学家一样思考”中，作者将后置条件定义为：
相反，函数末尾的条件是后置条件。后置条件包括功能的预期效果(如绘制线段)和任何副作用(比如移动海龟或进行其他更改)。假设我们有一个叫做阶乘的函数，它有一个必需的参数叫n，不是它的预期后条
浏览 8提问于2017-04-20得票数 1
1回答
计算阶乘的函数的循环不变量
、、、、
我很难正确地识别以下函数的循环不变量： X <-- 1 do x <-- x * y这似乎并不适用于每一次迭代，例如，如果y= 3，那么在循环的第一次迭代中，x=1*3，这等于3而不是3！这相当于6。我想这才是我真正困惑的地方。一些书籍文章指出，循环不
浏览 0提问于2011-12-06得票数 3
回答已采纳
公共方法的前提条件和后条件构成了该方法与其客户之间的契约。
让我们回顾平方根函数sqrt的先决条件和后条件，如程序49.2所示。调用sqrt的函数负责向函数传递一个非负数.如果一个负数被传递，平方根函数不应该做任何事情来处理它。另一方面，如果
浏览 1提问于2013-05-01得票数 3
回答已采纳
我的老师告诉我下列陈述是有效的：{x > 3}，true (x := 3) {x = 3}则这将是有效的：{x > 3}而true (x := 3) {x = 0}
浏览 3提问于2018-11-03得票数 1
回答已采纳
1回答
对不起，我是非常新的AWS和寻找正确的解决方案，以实现以下。我需要构建一个作业(最好是C#，因为其余的代码是用c#开发的)，它将在夜间运行(希望24小时运行一次)，以便从一个后置数据库表中获取一些记录，并根据预定义的条件更新状态。在AWS中用后置实现这一点的最佳方法是什么。
浏览 0提问于2019-08-23得票数 0
回答已采纳
1回答
什么是谓词检查？
、、、
我已经搜索了一段时间，但是没有找到关于“谓词检查”的简明定义。什么时候可以应用谓词检查？它与Hoare的三倍数相比如何？我认为如果我们将Hoare的三重数正确地应用到每一行代码中，我们就可以保证软件的正确性。(如果我错了，请纠正我。)谓词检查能给出相同的属性吗？如果问题本身是错误的，我深表歉意。我真的不知道谓词检查是做什么的。
浏览 1提问于2012-02-26得票数 1
回答已采纳
我一直在阅读design-by contract的帖子和示例，有些东西我似乎无法理解。在我见过的所有示例中，DbC都用在一个简单的类上，测试它在post条件中的状态(例如，许多银行账户)。在我看来，大多数时候，当你调用一个类的方法时，它会做更多的工作，将方法调用委托给它的外部依赖项。我知道如何在单元测试中使用依赖关系反转和关注方法外部行为的模拟对象在特定场景中检查这一点，但这如何与DbC和后置<em
浏览 0提问于2009-12-30得票数 2
1回答
单元测试的最佳方法是什么?这是一种相对复杂的方法，在这种方法中，每个后条件的测试非常类似于其他后置条件的测试？预条件很容易进行隔离测试，但是很多设置都要确保它们都保持不变，这样就可以测试后置条件。我想出的三种方法是：
创建一个通用函数，它可以同时测试所有内容，但默认为最简单的方案。此函数将接受标志参数，指示偏离最简单场景的偏
浏览 2提问于2012-07-06得票数 0
回答已采纳
1回答
public int get() { return value;}}
下面是我提出的后置条件：get()返回的值等于set()或0设置的值。很容易看出，上述后置条件并不总是正确的。以两个线程A和B为例。假设A将value设置为5，B将其设置为8。在线程A中执行get()将返回8。它应该返回5。这是一个简单的
浏览 0提问于2018-12-13得票数 3
回答已采纳
5回答
我真的很难理解前置条件和后置条件是如何工作的，而不会违反替换原则。那么让我们假设我们有一个类Rectangle和Square-how来关联它们？哪一个必须是子类？所以我理解到Subtype的前置条件可以更弱，这意味着我们可以在out子类中获取主要的“集合”，另一方面，后置条件可以更强，所以我们可以返回次要的“集合”。如何在我的示例中应用这些规则？我读到基类必须比子类‘做’得少，所以
浏览 31提问于2015-10-27得票数 3
我试着使用dafny来验证我的qsort函数的正确性，但是我想知道为什么我的代码已经被验证失败了。这是我的代码： requires a.Length > 0 {不变左<= storeIndex <右+1
(a，左，storeIndex)；
浏览 4提问于2018-04-11得票数 2
回答已采纳
作为测试的一部分，我可能需要为任何给定的测试添加前置条件或后置条件检查，但不一定为所有测试添加前置条件或后置条件检查。到目前为止，我得到的结果是这样的：print $@ if $@;
不幸的是，这将输出“未定义的子例程&verify_precondition_TEST1调用
浏览 2提问于2009-01-11得票数 25
回答已采纳
下面的函数seqToSet接受一个元素序列，并返回一个包含给定序列中所有(且仅包含)元素的集合。它通过使用相同的序列和空集调用递归助手函数addSeqToSet来实现这一点。helper函数将序列中的每个元素添加到给定的集合中，并返回结果。它通过对序列的头/尾结构进行递归来实现这一点。它在序列为空时完成，否则将使用序列的尾部和集合与包含序列头部的单例集合的并集递归地调用自身。
Dafny不
浏览 12提问于2018-02-16得票数 1
回答已采纳
1回答
我通过确保继承层次结构中的类实现虚拟读写函数来实现序列化：{};
SERIALISE(base)其中宏“串行化”实现“串行化”和“反串行化”函数的重载，以允许经由基类指针的简单i/o：void deserialise( boost::shared_ptr<TYPE>
浏览 1提问于2012-10-22得票数 3
1回答
我有一个包含许多方法的类，并且希望检查前/后条件，例如is mMember == null，如果不是，则调用函数x()。我知道我可以在每个函数条目上手动添加相同的前置条件/后置<
浏览 0提问于2010-08-06得票数 1
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
