CTCS-3级列控系统是保证高速铁路列车安全、稳定、高效运行的重要设备。在系统投入运营前必须对其功能进行全面测试,确保系统满足相关功能技术规范,保证列车能够安全可靠运行。测试案例针对列控系统需求规范中的各功能点给出了具体测试方法。实际测试中,需要将测试案例有序串联起来,形成测试序列,指导具体的测试工作。人工编制测试序列,任务繁重,专业性强,效率低下,种种因素导致其合理性难以保证,因此对测试序列合理性进行验证和评价成为亟须解决的问题。论文研究了基于仿真的CTCS-3级列控系统测试序列合理性验证和评价方法。论文完成的主要工作有：1.通过分析测试序列生成过程,总结了测试序列合理性验证内容,设计了测试序列合理性验证标准。2.建立了测试序列合理性规则库和评价体系。通过分析测试序列合理性标准,针对每种需要验证的内容分别设计合理性规则,并以一阶谓词的方法来进行规则表示,最终建立了规则库；通过分析测试序列的特点,明确了测试序列评价指标并为每个指标设置了权重,最终确定了评价体系。3.提出了基于多线程多队列的测试序列合理性验证方法,并提出了规则获取方法和评价方法。将测试结果数据入队形成一个待对比队列,规则获取线程根据待对比队列中的内容访问规则库获取相应规则入队形成一个规则队列,两个队列依次出队并由对比验证线程对两个队列出队内容进行一一对比验证,直到最后找到测试序列不符合合理性规则的地方,给出合理性验证结果。4.设计了基于仿真的测试序列合理性验证和评价系统。首先搭建了车载设备仿真测试环境。利用UML对车载设备进行建模分析,详细设计了仿真测试环境的总体结构各个模块,阐明了仿真测试环境的数据交互流程和工作流程。输出为测试结果数据,这是测试序列合理性验证和评价的数据基础。然后设计了测试序列合理性验证和评价模块,该模块实现对测试结果数据的分析,输出是测试序列合理性验证和评价结果。最后,通过Visual Studio 2010开发平台完成系统开发,最终实现了系统的基本功能。