Design by contract also makes explicit the contract definition that is more implicit in unit tests.
契约式设计也做了显式的合约定义,而在单元测试中这些更隐式。
2
Certain forms of rules are implicit in the definition of the business types in the model, and manifest in UML and entity relationship (er) models of the business types of the modeled domain.