| 释义 |
1. | 后置条件 软件测试中英文对照 - 老茅的日志 - 网易博客 ... Positive testing: 正向测试 Postcondition: 后置条件 Precondition: 前提条件 ... tonymao777.blog.163.com | 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 | 3. | 后续条件 ...的方法声明为先决条件(precondition)和后续条件(postcondition). 为了让方法得以执行,先决条件必须为真. 完成后,方法保证后 … danci.911cha.com |
4. | 后验条件 ...中至少应包括先验条件（precondition）和后验条件(postcondition)，分别指代码执行前后必须满足的条件。对于函数gcd而言… www.kuqin.com | 5. | 后置断言 DBC使用了多种责任断言：后置断言（postcondition）、前置断言（precondition）、不变式（invariant）、变式、状态接受条 … blog.csdn.net | 6. | | 7. | 后置状态 Web服务的功能描述为：前置 状态（precondition）、假设条件（assumption）、后置状态（ postcondition）和效果（effect） … www.docin.com |
|