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

• 作者: 曹源 穆建成 辛未 马连川
• 来源期刊: 中国铁道科学
• 学科: 交通运输
• 关键词: 列车运行控制系统 系统测试 测试案例 完备性验证 因果图 判定表
• 年，卷（期）: 2016,（1）
• 页码范围: 124-131
• 页数: 8页
• 分类号: U284.482
• 字数: 6518字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4632.2016.01.17

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马连川	北京交通大学电子信息工程学院	41	300	10.0	16.0
5	曹源	北京交通大学电子信息工程学院	62	405	10.0	18.0
9	辛未	北京交通大学电子信息工程学院	2	9	1.0	2.0