中国铁道科学2016,Vol.37Issue(1):124-131,8.DOI:10.3969/j.issn.1001-4632.2016.01.17
基于因果图法的CTCS-3级列控系统测试案例完备性验证方法
Verification Method for Completeness of CTCS-3 Test Case Based on Cause-Effect Graph
摘要
关键词
列车运行控制系统/系统测试/测试案例/完备性验证/因果图/判定表Key words
Train operation control system/System testing/Test case/Completeness verification/Causeeffect graph/Decision table分类
交通工程引用本文复制引用
穆建成,辛未,马连川,曹源..基于因果图法的CTCS-3级列控系统测试案例完备性验证方法[J].中国铁道科学,2016,37(1):124-131,8.基金项目
国家自然科学基金资助项目(51305021,U1334211) (51305021,U1334211)
国家"八六三"计划项目(2012AA112001) (2012AA112001)
"十二五"国家科技支撑计划重大项目(2013BAG19B00-03-01) (2013BAG19B00-03-01)
中国铁路总公司科技研究开发计划项目(2014X003-B) (2014X003-B)