| 注册
首页|期刊导航|中国铁道科学|基于因果图法的CTCS-3级列控系统测试案例完备性验证方法

基于因果图法的CTCS-3级列控系统测试案例完备性验证方法

穆建成 辛未 马连川 曹源

中国铁道科学2016,Vol.37Issue(1):124-131,8.
中国铁道科学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

穆建成 1辛未 2马连川 2曹源3

作者信息

  • 1. 国家铁路局科技与法制司,北京100891
  • 2. 北京交通大学电子信息工程学院,北京100044
  • 3. 北京交通大学轨道交通运行控制系统国家工程研究中心,北京100044
  • 折叠

摘要

关键词

列车运行控制系统/系统测试/测试案例/完备性验证/因果图/判定表

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)

中国铁道科学

OA北大核心CSCDCSTPCD

1001-4632

访问量0
|
下载量0
段落导航相关论文