-
题名基于SCADE模型的车载ATP测试用例生成方法
被引量：10
- 1
-
-
作者
李兰心
王海峰
齐志华
汤圣杰
张启鹤
-
机构
北京交通大学电子信息工程学院
北京交通大学轨道交通运行控制系统国家工程研究中心
中国铁道科学研究院集团有限公司通信信号研究所
广州铁科智控有限公司
-
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2020年第9期102-110,共9页
-
基金
国家重点研发计划(2018YFB1201501)
中国铁路总公司科技研发计划(N2018G064)
+2 种基金
北京市自然基金“轨道交通联合”(L181005)
国家自然科学基金(61473029)
国家重点基础研究发展计划(973计划)(2014CB340703)。
-
文摘
车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用例的方法。首先,利用SCADE对车载ATP系统进行建模,并针对安全状态机模型生成满足全迁移覆盖准则的测试用例;再根据MC/DC覆盖准则生成测试数据,将抽象的测试用例转化为可直接用于测试的具体测试用例集;最后,通过变异分析对生成的测试用例进行评估。结果表明,测试用例具有良好的覆盖度,优于传统人工方法。
-
关键词
车载ATP系统
SCADE模型
测试用例
基于模型的测试
MC/DC覆盖准则
-
Keywords
onboard ATP system
SCADE model
test case
model-based testing
MC/DC coverage criteria
-
分类号
U283.2
[交通运输工程—交通信息工程及控制]
-
-
题名基于动态故障树的地铁自动监控系统可靠性分析
被引量：1
- 2
-
-
作者
汤圣杰
刘广泽
林保罗
-
机构
广州铁科智控有限公司
广州地铁集团有限公司
-
出处
《铁道通信信号》
2020年第12期81-88,共8页
-
文摘
自动监控系统是地铁系统安全运行的重要保障,具有可修性、容错性及冗余性等特点。本文基于动态故障树对广州地铁4号线自动监控系统进行可靠性分析。首先,对系统动态故障树进行模块化;然后,对各个子树模块采用马尔科夫矩阵迭代法计算其稳态可靠性参数;最后,通过参数传递计算系统的稳态可靠性参数。研究分析结果表明,本文采用的可靠性计算方法能够更好地描述系统的冗余性和容错性,提高了可靠性指标的精度,避免了由于系统复杂而造成的状态爆炸问题,提高了可靠性分析的实时性和有效性。
-
关键词
地铁
自动监控系统
可靠性
动态故障树
马尔科夫矩阵
-
Keywords
Metro
ATS
Reliability
Dynamic fault tree
Markov matrix
-
分类号
U231
[交通运输工程—道路与铁道工程]
-
