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

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

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

To generate the complete test case of route establishment process, the route establishment statemachine model is constructed by analyzing the influence of environment and human factors in combinationwith the corresponding logical process. The modelis parsed to define the relationship between thestate and the edge, and the relationship betweenthe state and the edge is abstracted to thatbetween 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 ofdepth-prioritization search algorithm traversing the entire model, the abstract test cases are obtained. WithJava reflection mechanism to reverse the abstract cases, 8 types of test fragments are generated, and eachtype of fragment is combined to generate test case. Finally, the influence resulted from the input casesrequired for normal route setup and from the introduced fault cases on the route establishment process is analyzed.