A System for Evaluating On-Line Testability at the RT-level