基于模型的进路建立过程测试用例自动生成  

Model-based Automatic Generation of Test Case of Route Establishment Process

作　　者：谢林[1] 杨扬[1] 

机构地区：[1]西南交通大学信息科学与技术学院,成都611756

出　　处：《铁道标准设计》2017年第2期109-116,共8页Railway Standard Design

基　　金：中国铁路总公司科技研究计划(2015X007-J;2015X009-D;2014X008-A)

摘　　要：为了生成进路建立过程完备的测试案例,分析设备故障和人环因素的影响并结合对应的逻辑过程,建立了进路建立过程的状态机模型,并对模型解析得到状态与边的关系,将状态和边的关系抽象成图论中边和节点的关系进行存储。通过讨论3种覆盖准则的优劣,设计深度优先搜索算法遍历模型,得到抽象测试案例,采用Java反射机制对抽象案例进行反推,结果生成8种类型的测试片段,每种类型的片段进行组合生成所有的测试案例。最后分析进路正常建立所需的输入案例和引入的故障案例对建立过程的影响。To generate the complete test case of route establishment process, the route establishment state machine model is constructed by analyzing the influence of environment and human factors in combinationwith the corresponding logical process. The model is parsed to define the relationship between the state and the edge, and the relationship between the state and the edge is abstracted to that between edges and nodes in the graph theory forstorage. With the discussion of the pros and cons of the three kinds of coverage criteria, and the model of depth-prioritization search algorithm traversing the entire model, the abstract test cases are obtained. With Java reflection mechanism to reverse the abstract cases, 8 types of test fragments are generated, and each type of fragment is combined to generate test case. Finally, the influence resulted from the input cases required for normal route setup and from the introduced fault cases on the route establishment process is analyzed.

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

分 类 号：U284[交通运输工程—交通信息工程及控制]