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

ZHAO Tianshi

首页> 中文期刊> 《北京交通大学学报》 >基于有色Petri网的测试案例生成方法及其在CTCS-3车地通信中的应用

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《北京交通大学学报》 |2018年第6期|97-103|共7页
作者
ZHAO Tianshi;
展开▼
作者单位

展开▼
原文格式 PDF
正文语种 chi
中图分类地下铁路;
关键词
CTCS-3级列控系统; 有色Petri网; 车地通信; 状态空间; 路径;

相似文献

中文文献
外文文献
专利

1. 基于TAIO变异的CTCS-3列控系统测试案例生成方法 [J] . 魏柏全 ,吕继东 ,陈柯行 . 西南交通大学学报 . 2020,第005期
2. 基于模型的CTCS-3级列控系统测试案例自动生成方法 [J] . 吕继东 ,朱晓琳 ,李开成 . 西南交通大学学报 . 2015,第005期
3. UML建模技术在轨道交通CTCS-3级列车控利系统测试案例生成中的应用 [J] . 王倩倩 ,张勇 . 城市轨道交通研究 . 2012,第003期
4. CTCS-3级列控系统测试案例生成方法的研究 [J] . 季学胜 ,李开成 ,张勇 . 铁道通信信号 . 2009,第010期
5. 基于因果图法的CTCS-3级列控系统测试案例完备性验证方法 [J] . 穆建成 ,辛未 ,马连川 . 中国铁道科学 . 2016,第001期
6. 基于分支概率引导的回归测试案例生成方法 [C] . YU Lechen ,俞乐晨 ,WANG Haijun . 2013年中国智能自动化会议 . 2013
7. CTCs-3级列控系统测试案例本体半自动生成方法研究 [A] . 尹征 . 2013

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

摘要

著录项

相似文献

相关主题

期刊订阅