契约式设计

• 要求软件设计者为软件组件定义正式的，精确的并且可验证的接口
• 为传统的抽象数据类型又增加了先验条件 (preconditions)、后验条件 (postconditions) 和不变式 (invariants)
• 契约/契约 是一种比喻，因为它和商业契约的情况有点类似