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

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

P68

你可能感兴趣的:(前置条件,后置条件和副作用的概念)