post-condition

1.	后置条件软件测试中英文对照 - 老茅的日志 - 网易博客 ... Positive testing: 正向测试 Postcondition: 后置条件 Precondition: 前提条件 ... tonymao777.blog.163.com\|基于358个网页
2.	后条件 6.5.2 后条件（Postcondition） 766.5.3 结论 776.6 重用 776.6.1 机会主义的重用 776.6.2 有计划的重用 786.6.3 合并VI（Merg… www1.huachu.com.cn\|基于33个网页
3.	后续条件 ...的方法声明为先决条件(precondition)和后续条件(postcondition). 为了让方法得以执行,先决条件必须为真. 完成后,方法保证后 … danci.911cha.com\|基于28个网页

4.	后验条件 ...中至少应包括先验条件（precondition）和后验条件(postcondition)，分别指代码执行前后必须满足的条件。对于函数gcd而言… www.kuqin.com\|基于21个网页
5.	后置断言 DBC使用了多种责任断言：后置断言（postcondition）、前置断言（precondition）、不变式（invariant）、变式、状态接受条 … blog.csdn.net\|基于10个网页
6.	后件溯因是使用后件(postcondition)和规则来假定可以解释后件的前件(β ∧ R1 ⇒ α)。以上仅供基础概念，并非深入探讨两者逻辑式。 tw.knowledge.yahoo.com\|基于8个网页
7.	后置状态 Web服务的功能描述为：前置状态（precondition）、假设条件（assumption）、后置状态（ postcondition）和效果（effect） … www.docin.com\|基于4个网页