Designing for Testability