基于有色Petri网的测试案例生成方法及其在CTCS-3车地通信中的应用

• 作者: 赵天时
• 来源期刊: 北京交通大学学报
• 学科: 交通运输
• 关键词: CTCS-3级列控系统 有色Petri网 车地通信 状态空间 路径
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 机械与电子控制工程
• 页码范围: 97-103
• 页数: 7页
• 分类号: U231
• 字数: 5052字
• 语种: 中文
• DOI: 10.11860/j.issn.1673-0291.2018.06.014

摘要

CTCS-3级列控系统作为高速铁路的中枢神经系统,是典型的安全苛求系统.对安全苛求系统进行有效测试是提高系统安全性的重要手段.鉴于车地通信在列控系统中的重要性,提出一套基于有色Petri网的车地通信测试案例的生成方法.参考CTCS-3级列控系统技术规范,构建车地通信流程的有色Petri网模型,生成状态空间并搜索到达目标状态的路径,在路径的基础上自动生成测试案例.通过对比使用有色Petri网自动生成和现有的测试案例,验证了测试案例生成方法的正确性,提高了测试案例生成方法的自动化程度,为基于模型的系统测试提供了参考.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵天时	中国铁道科学研究院集团有限公司标准计量研究所	4	9	2.0	3.0