什么是DbC

什么是DbC?

Design by Contract（DbC，契约式设计）是面向对象软件大师Bertrand Meyer对软件构造方法的一个重大贡献，无论是在形式化的数学证明中，还是在实践运用中，都被证明是大幅改善软件工程质量的有效手段。该方法在Eiffel编程语言中获得直接支持，并且可以通过辅助工具在Java语言中运用。

《Design by Contract原则与实践》
Richard Mitchell  Jim Mckim 著  孟岩 编译
2003年10月出版
本书凝聚作者多年的实践和教学经验，通过Eiffel和Java的实例阐述了DBC的主要原则，并教读者如何实践这些原则，撰写优质高效的契约。译者孟岩还特别撰写了《契约式设计的理解及其在C/C++中的应用》作为本书的附录，讨论了DBC在C/C++语言中的应用。