Designing for testability