postcondition英文翻译_含义_读音_postcondition例句

词性释义

后置条件

例句

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

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

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

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

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

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

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

1·This way you can add precondition / postcondition check for both input and output, making it robust against human errors.

这样你可以添加前提/后置条件检查输入和输出，使其健壮的人为错误。

2·Specifies a postcondition contract for the enclosing method or property.

为封闭方法或属性指定一个后置条件协定。

网络释义

后置条件

软件测试中英文对照 - 老茅的日志 - 网易博客 ... 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） …