postcondition
美英 [pəʊstkən'dɪʃ(ə)n]
- n.〔计〕后置条件
- 网络后条件；后续条件；后验条件
postconditionpostcondition
后置条件
软件测试中英文对照 - 老茅的日志 - 网易博客 ... 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） …
1
3
4
5