Functional Design for Testability of Control-Dominated Architectures