Design by contract is an important approach to design for testability of software.

• 合约式设计是一种重要的软件易测试性设计方法。