基于路径优化算法的测试序列自动生成及验证

• 作者: 唐涛 李开成 梁茨 郑伟
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 有色Petri网 全路径覆盖优化算法 序列优选算法 自动化测试
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 53-58
• 页数: 6页
• 分类号: TP301.1|U284.48
• 字数: 3929字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2013.06.009

摘要

随着中国铁路运行控制系统的高速发展,列控系统行为功能的正确性与安全性成为业内关注的焦点,本文提出一套完整的测试案例与测试序列自动化生成的方法.制定与系统CPN模型、测试序列相关的定义；利用本文提出的全路径覆盖优化算法和序列优选算法生成XML测试序列；以CTCS-3级列控系统下RBC的切换为例,自动生成测试案例与测试序列,并在RBC测试平台上进行验证.结果表明:本文提出的测试生成方法可实现测试的自动化,针对RBC切换场景生成的测试序列重复度降低了75％,完全覆盖《CTCS-3级列控系统功能需求规范》中的相关内容.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
2	李开成	北京交通大学轨道交通运行控制系统国家工程研究中心	49	532	14.0	21.0
3	梁茨	北京交通大学轨道交通运行控制系统国家工程研究中心	1	16	1.0	1.0
4	郑伟	北京交通大学轨道交通运行控制系统国家工程研究中心	26	230	7.0	14.0