现代基础设施如同复杂机器，依赖不可靠代码。设计合约（DbC）为基础设施设定预条件、后条件和不变性，确保代码在部署前后满足合同要求，防止无效状态的部署，并提供可验证文档，提升可靠性。