---
id: dbc
requestedLanguage: zh
descriptionLanguage: zh
---

# 契约式设计 · Design by Contract

- 类型: 设计方法
- 分组: 设计
- 位置: 设计 / 质量属性与决策
- [来源](<https://www.eiffel.com/values/design-by-contract/>)

[HTML](https://dpm.cnonim.name/zh/practices/dbc/)

通过前置条件、后置条件和不变量，明确代码必须履行的约定。

## 关系

- 可通过其验证: [基于属性的测试 · Property-based Testing](/practices/property/zh.md) (verification)

[在地图上显示](https://dpm.cnonim.name/#practice=dbc&lang=zh)