postconditions

  • 网络后置条件;后条件;后验条件

postconditionspostconditions

postconditions

后置条件

后置条件postconditions):方法运行之后将会有哪些状态发生。程序的返回结构必须检查,伴随产生的副作用也必须检查。

后条件

...经被调用者满足了,那么该例程必须确保当它完成时所有后条件(postconditions)(以及任何不变式)皆为真."

后验条件

良好的规约定义了用于强制对象状态的不变约束(invariants)以及描述操作影响的后验条件postconditions)。通常我们不会 …

后置状态

 C) 检查前置状态(Preconditions)、后置状态(Postconditions)、类别不变量(Class Invariants)   前置状态--进入 method 前该达到的 …

堆栈不变

... Output: 栈顶元素的数据值 \ Postconditions: 堆栈不变 Data 数据项 ...

队列为空

... Output: 返回被删除元素 Postconditions: 队列为空 Preconditions: 堆栈非空 ...

后状况

...时代,文化需要被不断重新发现。我们这个时代是一个“后状况postconditions)”的时代,是“后现代的”,“后殖民主义的”、 …

后处理

1. 使用assert来检查private和protected函数中的参数预处理(preconditions)和后处理postconditions)。2. 使用assert来检 …

热词推荐