契约式设计 契约式设计英語Design by Contract縮寫為 DbC一种设计计算机软件的方法这种方法要求软件设计者为软件组件定义正式的精确的并且可验证的接口这样为传统的抽象数据类型又增加了先验条件后验条件和不变式这种方法的名字里用到的契约或者说契约是一种比喻因为它和商业契约的情况有点类似 因为Design by Contract是属于Eiffel Software的注册商标很多开发人员用契約式編程Programming by Contract契約編程Contract Programming或者契約優先式開發ContractFirst development来指代这种方法微軟也採用這種設計方法稱為程式碼合約Code Contracts