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

Verification Method for Completeness of CTCS-3 Test Case Based on Cause-Effect Graph

作　　者：穆建成 辛未 马连川[2,3] 曹源[2,3] 

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

出　　处：《中国铁道科学》2016年第1期124-131,共8页China Railway Science

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

摘　　要：通过建立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.

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

分 类 号：U284.482[交通运输工程—交通信息工程及控制]