一种全覆盖的列控车载系统测试用例自动生成算法研究

• 作者: 刘雨 吕继东 李辰岭 袁磊 赵伟慧
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 列控系统 基于模型的测试 测试准则 测试用例生成 UPPAAL CoVer
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 55-62,69
• 页数: 9页
• 分类号: U284.48
• 字数: 4772字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2014.08.010

摘要

列控车载系统是保证列车行车安全的重要装备，是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点，本文利用时间自动机建模工具UPPAAL ，对车载系统模式转换的规范建立DRB-T E自动机网络模型，并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法，利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套，从而实现自动生成覆盖全部车载模式转换规范的测试用例，同时提高了测试用例的生成效率和重用性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁磊	北京交通大学轨道交通控制与安全国家重点实验室	22	164	7.0	12.0
2	吕继东	北京交通大学轨道交通运行控制系统国家工程研究中心	25	310	9.0	17.0
3	赵伟慧	北京交通大学轨道交通控制与安全国家重点实验室	2	30	2.0	2.0
4	李辰岭	北京交通大学轨道交通控制与安全国家重点实验室	4	63	3.0	4.0
5	刘雨	北京交通大学轨道交通运行控制系统国家工程研究中心	8	74	4.0	8.0