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

• 作者: 刘伯鸿 周科 宋爽 陈跃东
• 来源期刊: 铁道标准设计
• 学科: 交通运输
• 关键词: 区域控制器 时间自动机模型 文件解析 深度优先搜索 测试序列
• 年，卷（期）: 2018,（8）
• 所属期刊栏目: 通信/信号
• 页码范围: 168-173
• 页数: 6页
• 分类号: U284.91
• 字数: 3996字
• 语种: 中文
• DOI: 10.13238/j.issn.1004-2954.201709270004

摘要

轨道交通区域控制器对行车安全至关重要,设备投入使用前需进行严格的测试,针对目前区域控制器测试序列人工生成,测试效率低的问题,提出一种基于时间自动机模型的测试序列自动生成方法.首先分析区域控制器的功能建立时间自动机模型,用UPPAAL对模型的正确性进行验证;编写MFC应用程序,利用TinyXML解析库解析模型文件,提取状态信息和变迁条件,生成测试案例集;由测试功能划分测试序列的初始状态和结束状态,并根据测试案例的串接条件,利用深度优先搜索设计最小重复度算法将测试案例串接成测试序列;最后,利用该方法生成了区域控制器切换功能的测试序列,通过分析可知生成的测试序列符合区域控制器的工作流程和测试环境,结果证明该方法能有效提高测试序列的生成效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘伯鸿	兰州交通大学自动化与电气工程学院	38	172	8.0	11.0
2	陈跃东		2	1	1.0	1.0
3	宋爽	兰州交通大学自动化与电气工程学院	3	12	1.0	3.0
4	周科	兰州交通大学自动化与电气工程学院	3	8	2.0	2.0