Design by Contract(DBC) is a technique in object-oriented software design whose goal is to ensure software quality,reliability,and reusability.

• 契约式设计DBC是面向对象程序设计的一项技术,其目的在于提高软件的质量、可靠性与可复用性。