- · 新建铁路昆明至河口线玉溪至蒙自段突发环境事件应急预案[12/14]
- · 坪山云巴(胶轮有轨电车)1号线二期工程社会稳定风险分析公示[11/20]
- · 坪山云巴(胶轮有轨电车)1号线二期工程社会稳定风险分析公众参与公示[12/20]
- · 新建太原至焦作铁路(河南段)竣工环境保护验收公示[11/19]
- · 滨北线松花江公铁两用桥(市政工程)改建工程竣工环境保护验收公示[09/15]
- · 巡视公告[08/26]
- · “大干100天”劳动竞赛活动——中铁济南监理徐州轨道交通3号线盾构区间右线顺利贯通[08/21]
- · 新建南通至苏州至嘉兴至宁波铁路张家港(不含)至苏浙省界段社会稳定风险分析公众参与公示[08/18]
一种基于时间自动机模型的区域控制器测试序列生成方法
作者: 宋爽 [1] 刘伯鸿 [1] 周科 [1] 陈跃东 [2]
关键词: 区域控制器 时间自动机模型 文件解析 深度优先搜索 测试序列
摘要:轨道交通区域控制器对行车安全至关重要,设备投入使用前需进行严格的测试,针对目前区域控制器测试序列人工生成,测试效率低的问题,提出一种基于时间自动机模型的测试序列自动生成方法.首先分析区域控制器的功能建立时间自动机模型,用UPPAAL对模型的正确性进行验证;编写MFC应用程序,利用TinyXML解析库解析模型文件,提取状态信息和变迁条件,生成测试案例集;由测试功能划分测试序列的初始状态和结束状态,并根据测试案例的串接条件,利用深度优先搜索设计最小重复度算法将测试案例串接成测试序列;最后,利用该方法生成了区域控制器切换功能的测试序列,通过分析可知生成的测试序列符合区域控制器的工作流程和测试环境,结果证明该方法能有效提高测试序列的生成效率.