"DBC"（Design by Contract）是一种软件开发方法论，由Bertrand Meyer提出，核心思想是通过契约明确模块间的责任与义务。它基于前置条件（Preconditions）、后置条件（Postconditions）和不变式（Invariants）来定义软件组件的行为规范：前置条件规定调用方必须满足的要求；后置条件确保被调用方执行后的结果；不变式则维护对象的内部一致性。DBC通过断言机制在运行时检查契约，有助于提升代码可靠性、减少调试成本，并增强文档化。典型应用场景包括Eiffel语言（原生支持）及其他通过库实现的语言（如Java的JML）。其本质是“责任分离”，促进模块化设计与清晰接口定义。