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

作     者：穆建成 辛未 马连川 曹源 MU Jiancheng;XIN Wei;MA Lianchuan;CAO Yuan

作者机构：国家铁路局科技与法制司北京100891 北京交通大学电子信息工程学院北京100044 北京交通大学轨道交通运行控制系统国家工程研究中心北京100044 

基　　金：国家自然科学基金资助项目(51305021 U1334211) 国家"八六三"计划项目(2012AA112001) "十二五"国家科技支撑计划重大项目(2013BAG19B00-03-01) 中国铁路总公司科技研究开发计划项目(2014X003-B) 

出 版 物：《中国铁道科学》 (China Railway Science)

年 卷 期：2016年第37卷第1期

页      码：124-131页

摘      要：通过建立CTCS-3级列控系统需求规范(SRS)因果图,并利用改进的遍历式回溯算法生成符合验证需求的SRS判定表;根据SRS判定表内的事件建立列控系统测试案例因果图,生成测试案例判定表,实现测试案例与SRS描述方式的统一;设计基于SRS判定表的测试充分性准则,并据此导出测试覆盖域;通过测试案例判定表内的事件组合与测试覆盖域元素的对比,验证列控系统测试案例的完备性。以CTCS-3级列控系统车载设备待机模式下的模式转换功能为例,运用该验证方法对现有相关测试案例进行完备性验证和结果分析。结果表明:应用该验证方法可以验证测试案例对于SRS的完备性,并能有效发现测试案例中可能存在的不足。

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

学科分类：08[工学] 082302[082302] 0823[工学-农业工程类] 

核心收录：

D　O　I：10.3969/j.issn.1001-4632.2016.01.17

馆 藏 号：203107448...