基于IECP的CTCS-3列控车载TSM曲线完备性测试用例集生成方法研究

• 作者: 吕继东 唐涛 郑伟 魏国栋
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: CTCS-3列控车载 目标速度监控 输入等价类划分 完备性 测试用例
• 年，卷（期）: 2020,（5）
• 所属期刊栏目: 铁道通信信号、信息化
• 页码范围: 72-83
• 页数: 12页
• 分类号: U284
• 字数: 9576字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2020.05.010

摘要

作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难.提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控曲线完备性测试用例生成方法.首先,结合CTCS-3级列控系统需求规范,建立了满足司机制动优先和设备制动优先两种不同制动优先级情况下的TSM有限状态机模型,并利用反应式状态迁移系统的形式化语义,描述了不同输入情况下模型的内部状态迁移过程.其次,利用I/O等价原理和等价类划分理论,得到了两种不同制动优先情况下的输入等价类划分.在此基础上,通过引入了被测系统的故障模型和故障域范围,采用W-method测试用例集生成方法,在满足模型故障域的条件下,最终得到两种不同制动优先的目标速度监控曲线模型完备测试集.设备制动优先情况生成的测试用例数量高于司机制动优先约33.3％,且所需测试时间和内存消耗更多.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
2	吕继东	北京交通大学轨道交通运行控制系统国家工程研究中心	25	310	9.0	17.0
3	魏国栋	北京交通大学轨道交通运行控制系统国家工程研究中心	8	10	2.0	2.0
4	郑伟		1	0	0.0	0.0