前置条件，后置条件和副作用的概念

• 前置条件（ precondition）：用例在调用某个方法时必须满足的条件。
• 后置条件（postcondition）：实现在方法返回时必须达到的要求。
• 副作用（side effects）：方法可能对对象产生的任何其他变更。

P68