学步园

一 RTDriver类（主控类）：

(1)main函数：里面循环的调用被测程序。

(2)channel.getObjectBasedController->msgTracingAndReplay.getInstance->start()->run()。

*msgTracingAndReplay类的run方法：根据竞争变体执行可达性测试，很重要。