一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用

• 作者: 唐涛 赵显琼 郑伟
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: ETCS-2 有色Petri网 测试生成 形式化方法
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 70-80
• 分类号: TP301.1|U283.1
• 字数: 10034字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2012.05.012

摘要

随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注.本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中.首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生成的要求；然后,提出一种自动化的测试生成方法,包括测试案例自动生成算法和测试序列搜索算法.为提高整个测试过程的自动化程度,实现测试生成与测试执行的无缝结合,整个测试生成方法的输出是XML格式文件集.最后,以ETCS-2系统的车载子系统为例,运用CPN Tools工具完成建模,实现相应的算法,实现测试生成过程.结果表明,本文提出的基于CPN的测试方法能够在很大程度上提高测试过程的自动化程度,并且生成的测试案例集能够覆盖CPN模型反映的所有ETCS-2系统需求规范信息.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
2	赵显琼	北京交通大学轨道交通控制与安全国家重点实验室	4	57	4.0	4.0
3	郑伟	北京交通大学电子信息工程学院	26	230	7.0	14.0