US10909013B2 - TTCN-Based Test System and Method for Testing Test-Cases, Non-Transitory Computer-Readable Recording Medium