postcondition

后置条件
常用释义
后置条件

扩展信息

后置条件
软件测试中英文对照 - 老茅的日志 - 网易博客 ... Positive testing: 正向测试 Postcondition: 后置条件 Precondition: 前提条件 ...
后条件
6.5.2 后条件（Postcondition） 766.5.3 结论 776.6 重用 776.6.1 机会主义的重用 776.6.2 有计划的重用 786.6.3 合并VI（Merg…
后续条件
...的方法声明为先决条件(precondition)和后续条件(postcondition). 为了让方法得以执行,先决条件必须为真. 完成后,方法保证后 …
后验条件
...中至少应包括先验条件（precondition）和后验条件(postcondition)，分别指代码执行前后必须满足的条件。对于函数gcd而言…
后置断言
DBC使用了多种责任断言：后置断言（postcondition）、前置断言（precondition）、不变式（invariant）、变式、状态接受条 …
后件
溯因 是使用后件(postcondition)和规则来假定可以解释后件的前件(β ∧ R1 ⇒ α)。 以上仅供基础概念，并非深入探讨两者逻辑式。
后置状态
Web服务的功能描述为：前置 状态（precondition）、假设条件（assumption）、后置状态（ postcondition）和效果（effect） …

例句

petri网中两个事件间的矛盾现象，指的是多个事件共享一个事前条件或共享一个事后条件。

同样，后置条件测试大致与after建议对应。

显式的合同是在类方法中，如前提条件后，置条件或不变声明任何合同。

后置条件示例：新的余额就是老的余额扣除取款金额。

Then, I filled in the Desired outcome section, and skipped down and added a postcondition, and around and around I went.

然后，我填写期望的结果部分，添加后置条件，就这样一轮一轮的进行下去。

You must use the binary rewriter for run-time enforcement of this postcondition.

您必须使用二进制重写工具在运行时执行此后置条件。