Reply To: DbC和TDD

[hui]

二者既有互补之处，也有重叠之处。另外，好的DbC框架可以自动生成一些测试用例。