[计]?后置条件

后置条件（Post-condition）主要是针对方法而言的，它规定了方法顺利执行完毕之后必须满足的条件。

?条件

测试工具很难依据这些语言来剖析出程序员所期看的条件条件(Pre-condition)和执行后的条件(Post-condition)。而使用注释(Annotation)，这个问题就可以轻而易举的解决。

?后置前提

一旦经由过程前置前提的校验，办法必须履行，并且必须确保履行成果合适契约，这称之为后置前提（Post-condition）。

?后条件

... pair programming - 结对编程 post-condition - 后条件 pre-condition - 前条件 ...