摘要
通过建立CTCS-3级列控系统需求规范(SRS)因果图,并利用改进的遍历式回溯算法生成符合验证需求的SRS判定表;根据SRS判定表内的事件建立列控系统测试案例因果图,生成测试案例判定表,实现测试案例与SRS描述方式的统一;设计基于SRS判定表的测试充分性准则,并据此导出测试覆盖域;通过测试案例判定表内的事件组合与测试覆盖域元素的对比,验证列控系统测试案例的完备性。以CTCS-3级列控系统车载设备待机模式下的模式转换功能为例,运用该验证方法对现有相关测试案例进行完备性验证和结果分析。结果表明:应用该验证方法可以验证测试案例对于SRS的完备性,并能有效发现测试案例中可能存在的不足。
The cause-effect graph of CTCS-3 System Requirement Specification （SRS） was established and transformed into SRS decision table, which met the requirements of verification, with improved traversal backtracking algorithm. Based on the events in SRS decision table, the cause-effect graph of CTCS-3 test cases was established and then transformed into decision table to unify the expressions of SRS and test cases. A test adequacy criterion was designed to acquire test coverage domain according to SRS decision table. The completeness of CTCS-3 test cases was verified by the comparison between the elements of test coverage domain and the events combinations in test case decision table. Taking the mode transition func- tions of CTCS-3 onboard equipment under standby mode as an example, the method was applied to the completeness verification of relevant test cases and result analysis. The results show that the proposed method is suitable for SRS completeness verification of CTCS-3 test cases and finding out the potential problems in test cases.
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
2016年第1期124-131,共8页
China Railway Science
基金
国家自然科学基金资助项目(51305021
U1334211)
国家"八六三"计划项目(2012AA112001)
"十二五"国家科技支撑计划重大项目(2013BAG19B00-03-01)
中国铁路总公司科技研究开发计划项目(2014X003-B)
关键词
列车运行控制系统
系统测试
测试案例
完备性验证
因果图
判定表
Train operation control system
System testing
Test case
Completeness verification
Cause- effect graph
Decision table
作者简介
穆建成（1957－），男，浙江宁波人，教授。E-mail：jchmu@bjtu．edu．cn
