论文部分内容阅读
本文研究了基于故障注入的ATP系统测试方法.通过对ATP系统进行安全性分析寻找系统的故障来源;结合抽象描述的方式对故障进行建模,并提取测试案例;在特定事件触发点将案例注入到ATP系统中,实现测试的自动执行,从而达到对运行环境中故障状态的系统反馈实现监测、分析、及定位的目的.
基于故障注入的ATP系统测试设计
【摘 要】
：
本文研究了基于故障注入的ATP系统测试方法.通过对ATP系统进行安全性分析寻找系统的故障来源;结合抽象描述的方式对故障进行建模,并提取测试案例;在特定事件触发点将案例注入
【机 构】
：
西南交通大学信息科学与技术学院
【出 处】
：
铁路计算机应用
【发表日期】
：
2013年11期
其他文献
建立了婴幼儿配方奶粉中左旋肉碱含量的高效液相色谱-质谱联用测定方法。采用C4色谱柱(4.6mm×250 mm,5μm)进行分离,以甲醇-水(10∶90)为流动相,柱温25℃,流速1.0 mL.min-1,
白居易的讽喻诗与杜甫的写实主义诗歌有着气质上的接近,其文学思想具有继承性。然而为何在后人眼中白诗却没有完成对杜诗的超越?本文从分析其作品面貌入手,认为白诗"主题先行
高中语文教材中的许多古诗文篇目就蕴藏着丰富的民族传统文化,而这种文化是中华民族历经数千年的耕耘、创造,才得以形成的闪烁着文明古国的光辉和智慧的厚重积淀。本文以现行
路基沉降监测及预报可以有效地提高道路维修效率,具有重要的现实意义。修正指数函数模型可用于对路基沉降监测数据进行分析与预报,且具有一定的精度。文中在修正指数函数模型
目的探讨重型颅脑损伤所导致的乃积水的诊断和治疗方法。方法回顾性分析诸城市人民医院2007年5月至2009年2月收治的78例重型颅脑损伤后形成脑积水患者的资料,并选取正确的治
教师需要培养学生的核心素养具体包括:本核心概念的了解,建立科学的生命理念,思维的梯度提升,创造理性思维,学习的热情被充分激发,进行科学探究,针对社会问题,培养社会责任感
文章分析了项目教学法在高职动态网站建设教学中的应用现状,并结合笔者在教学实践中的项目选取、项目分析、项目实施、项目考核,详细介绍了项目教学法在“动态网站开发”课程
研究了某高压比离心压缩机无叶扩压器的性能,提出在无叶扩压器轮盘侧加装一定高度机翼型导叶的改进方法。结果表明,这种扩压器可以改善其内部流动,提高自身的压力恢复系数和
分别介绍了水蒸气直接蒸氨工艺、导热油加热间接蒸氨工艺、管式炉加热间接蒸氨工艺以及水蒸气加热间接蒸氨工艺的工艺流程和特点。国内大多采用水蒸气直接蒸氨工艺,该工艺成
<正>近20年以来,我国得益于加入WTO的红利及国内改革开放的不断深入,对外贸易飞速发展。2019年我国出口占全球的份额达到11.7%,进口份额达9.6%,并且已经形成了众多以我国为核