(Testing and Testable System Design)