CTCS3级列车控制系统测试序列自动生成方法

Research on CTCS-3 Train Control System Test Sequence Auto-generation

重点研究CTCS3级列车控制系统的功能测试。首先介绍CTCS3级列控系统的组成,然后重点研究了对测试案例的一种形式化描述的方法,以及基于遗传算法的测试序列的实现,为后续的自动测试或者现场奠定基础,最后给出用遗传算法求解测试序列的具体实现。

This article focuses on the CTCS3-class train control system functional testing. First give the Introduction of the components the CTCS3 control system components, then focus on the test cases with a formal description, and give one implementation of test sequence based on genetic algorithm for the automatic Simulation testing or the following-up test with the foundation for the scene, and finally give genetic Algorithm for test sequence specific implementation.