一种高速列车运行控制系统功能的动态测试方法

摘要

本发明涉及一种高速列车运行控制系统功能的动态测试方法，属于高速列车运行控制系统技术领域。本方法首先根据高速列车运行控制系统功能规范基于参数化自动机模型构造被测高速列车运行控制系统的动态测试模型；然后依据该模型对被测高速列车运行控制系统执行动态测试过程。动态测试方法是一个由“生成待测转移的测试序列”、“执行测试序列”、“测试结果分析”、“动态测试模型参数更新”四个步骤组成的循环过程。本发明方法避免了在高速列车运行控制系统测试执行之前生成一个固定测试序列集，解决了传统静态测试方法测试覆盖率低和测试结果准确率低以及传统动态测试方法测试序列生成代价和执行代价大的问题。