基于时间自动机模型的区域控制器测试序列自动生成方法

摘要：针对目前区域控制器测试序列人工生成,测试效率低的问题,提出了一种基于模型的测试序列自动生成方法。首先,对区域控制器的功能进行分析,基于时间自动机理论建立区域控制器的时间自动机模型,并利用UPPAAL对模型的正确性进行验证分析;然后,解析时间自动机模型文件,提取状态信息和变迁条件,生成测试案例集;最后,根据测试案例的串接条件,利用改进的深度优先搜索算法将测试案例串接成测试序列。对比区域控制器控制列车在其管辖范围内正常运行功能人工生成的测试序列和自动生成的测试序列,结果证明,该测试序列生成方法可行,且能够有效提高测试序列生成效率。
Abstract： In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.