Automated Quality Assurance of Non-Functional Requirements for Testability