【摘 要】
：
通过建立CTCS-3级列控系统需求规范(SRS)因果图,并利用改进的遍历式回溯算法生成符合验证需求的SRS判定表;根据SRS判定表内的事件建立列控系统测试案例因果图,生成测试案例判
【机 构】
：
国家铁路局科技与法制司,北京交通大学电子信息工程学院,北京交通大学轨道交通运行控制系统国家工程研究中心
论文部分内容阅读
通过建立CTCS-3级列控系统需求规范(SRS)因果图,并利用改进的遍历式回溯算法生成符合验证需求的SRS判定表;根据SRS判定表内的事件建立列控系统测试案例因果图,生成测试案例判定表,实现测试案例与SRS描述方式的统一;设计基于SRS判定表的测试充分性准则,并据此导出测试覆盖域;通过测试案例判定表内的事件组合与测试覆盖域元素的对比,验证列控系统测试案例的完备性。以CTCS-3级列控系统车载设备待机模式下的模式转换功能为例,运用该验证方法对现有相关测试案例进行完备性验证和结果分析。结果表明:应用该验证方法可以验证测试案例对于SRS的完备性,并能有效发现测试案例中可能存在的不足。
其他文献
防治信用卡犯罪需要全社会的高度配合与通力协作。要加强技术防范措施,堵住不法分子利用高科技手段犯罪;还要加强信用卡相关知识教育,提高持卡人自身防范意识来综合治理。
目的探讨总结2型糖尿病合并心脑血管疾病的相关危险因素及相关治疗方案。方法分析68例2型糖尿病患者的临床资料,根据其是否合并心脑血管疾病,将其分为病例组（32例）和非病例组（36
目的探讨小剂量多巴胺联合多巴酚丁胺辅助治疗小儿重症肺炎的效果及血清细胞因子水平影响。方法收集2007年1月～2010年1月收治的小儿重症肺炎患者110例,将其随机分为2组,各55例
采用自编问卷调查武汉市J区10239名初中生和6483名高中生发现:中学生品德发展主流积极向上,性别、年级、是否独生子女、是否担任班干部、父母学历等人口学变量的差异均达到显
目的探讨超声弹性应变率比值（SR）在甲状腺实性结节中的鉴别诊断价值，并寻找其鉴别良恶性的最佳临界点。方法与病理结果对照，对88例（118个病灶）甲状腺实性结节患者进行回顾性分析，术
乳腺癌的靶向治疗作为一种有效的治疗方案,大量的临床试验证实,靶向药物和抑制剂类药物能够改善乳腺癌的治疗效果,延长晚期乳腺癌的无进展生存时间及总生存时间,提高患者的生
目的评价复发性流产的临床诊断和治疗效果。方法对240例各种原因导致的复发性流产患者资料进行回顾性分析，探究各种原因引起复发性流产的治疗情况。结果引起复发性流产的原因
目的探讨改良式剖官产术与传统剖宫产术对再次剖宫产的影响观察改良式剖宫产与传统剖宫产的利弊。方法选择208例具有剖宫产史但是需再次进行剖宫手术的患者，其中102例患者前次
军品协作中知识产权被侵犯可以分为无心侵犯、跟踪模仿和强势获取三种类型。知识产权维权尊权意识不强,保护环境有待完善,国防知识产权保护调查取证难,维权救济的有效途径缺
研究了不同施氮量对冬小麦分蘖到抽穗期叶片硝酸还原酶(NR)活性、一氧化氮(NO)含量、气体交换参数和籽粒产量的影响.结果表明:叶片光合速率(Pn)、蒸腾速率(Tr)、瞬时水分利用