面向对象的契约式程序设计

作者：林佳一; 刘进; 何克清

来源：计算机应用, 2005, (04): 796-798.

• 行为子类型
• 契约
• 前置条件
• 后置条件
• 不变式 behavior subtyping
• contract
• precondition
• postcondition
• invariant

运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向 对象的契约式程序设计中如何撰写契约,以保持面向对象的单个继承和多重继承的特性问题,并证明 了这一方法的有效性。最后探讨了动态环境下违反契约时的责任归咎,展望了契约思想在软件开发 中的运用前景。

• 单位
  武汉大学; 软件工程国家重点实验室