Testability Analysis Based on the Identification of Testable Blocks with Predefined Properties