商的工作更简单。DbC同时也定义了软件模块的正确性条件：因为契约条件在程序运行中不应被违反，它们可以只作为调试代码，或者在发布版本中被移除从而得到更好的性能。DbC也能帮助代码重用，因为每段代码的契约都被很好的文档化了。模块的契约可以被当做软件文档来描述模块的行为。
语言支持.
原生支持语言.贯彻契约式设计特征最多的语言包含：