设计的可测试性

以前，我也讲过可测试性，那时候讲的，是怎么设计模块，让测试人员更容易测试验证模块的功能、性能、稳定性，等等。重点强调该怎么设计相关机制，让测试工作更容易，容易到自己来做都行(比如单元/接口测试)。 今天，我讲的将不仅仅是让模块更容易测试，我想更深入的讲讲我对设计的可测试性的理解。即，在代码都还没有的阶段，我们怎么验证我们的设计是合理的，能更好的指导后续的编码、测试、发布、运维、复用/扩展？