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