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