为了生成进路建立过程完备的测试案例，分析设备故障和人环因素的影响并结合对应的逻辑过程，建立了进路建立过程的状态机模型，并对模型解析得到状态与边的关系，将状态和边的关系抽象成图论中边和节点的关系进行存储。通过讨论3种覆盖准则的优劣，设计深度优先搜索算法遍历模型，得到抽象测试案例，采用Java反射机制对抽象案例进行反推，结果生成8种类型的测试片段，每种类型的片段进行组合生成所有的测试案例。最后分析进路正常建立所需的输入案例和引入的故障案例对建立过程的影响。
铁路信号 联锁系统 测试案例 状态机 图论 反射机制