契约式设计 或者 Design by Contract  ( DbC )是一种设计 计算机软件 的方法。这种方法要求 软件设计 者为软件组件定义正式的，精确的并且可验证的接口，这样，为传统的 抽象数据类型 又增加了先验条件、后验条件和不变式。