1.列车运行控制系统安全关键软件自动测试平台，其特征在于，包括建模子系统、测试路径生成子系统、组合覆盖子系统、测试结果分析子系统、通信接口子系统和数据管理子系统；
所述建模子系统完成列车运行控制系统安全关键软件功能需求建模，具有列车运行控制系统的标准化的功能模型库，针对具体功能进行测试时可通过功能模型库的模型单元快速建立软件系统的功能模型；
所述测试路径生成子系统将建模子系统生成的状态图模型转换为有向图模型，通过广度优先搜索、前缀图匹配等算法，生成符合覆盖准则的测试路径；
所述组合覆盖子系统采用组合测试思想，分析每条路径的边的可能的测试场景集，根据路径中边之间的顺序关系进行组合覆盖，得到测试用例，并将测试用例转化为XML测试脚本文件，存储到数据管理子系统；
所述通信接口子系统是平台与待测系统交互的关键，该子系统集成测试过程中需要与待测对象进行通信的设备，并通过统一的接口设备实现各个接口数据的发送和采集，将测试数据存储到数据管理子系统；
所述测试结果分析子系统比较测试过程中通信接口子系统发送的测试用例和接收到的被测设备的测试用例执行结果，自动分析测试结果，生成测试结果报告；
所述数据管理子系统包含数据库和文件管理系统。其中数据库存储测试用例、环境数据以及实测过程中与待测系统交互的数据。文件管理系统存储列车运行控制系统基础信号组件的基础功能模型、测试路径XML文件、测试用例序列XML脚本文件和测试结果报告文件。
2.根据权利要求1所述的列车运行控制系统安全关键软件自动测试平台，其特征在于，所述的测试路径生成子系统与组合覆盖子系统，组合覆盖子系统与通信接口子系统，通信接口子系统与测试结果分析子系统之间均存在单向通信，前一子系统工作完成后向后续子系统发送信号，触发后续子系统工作，从而使得从测试路径生成至测试结果分析的整个流程可自动进行。
3.根据权利要求1所述的列车运行控制系统安全关键软件自动测试平台，其特征在于，建模子系统采用SCADE(Safety Critical Application Development Environment)对待测对象进行模型构建。
4.根据权利要求1所述的列车运行控制系统安全关键软件自动测试平台，其特征在于，测试路径生成子系统、组合覆盖子系统、通信接口子系统可在数据管理子系统的支持下独立运行，通过从数据管理子系统获取历史数据，上述子系统可针对特定数据生成相应的子系统运算结果。