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

关键词：铁路信号 联锁系统 测试案例 状态机 图论 

单位：西南交通大学信息科学与技术学院; 成都611756