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

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