联锁软件进路控制功能自动测试方法研究

来源 :北京交通大学 | 被引量 : 2次 | 上传用户:pooh__5210
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
计算机联锁系统是铁路运输中安全性、可靠性要求极高的关键系统。在硬件实现安全可靠的前提下,提高软件质量是至关重要的一项任务。所以,如何有效地对联锁软件进行全面严格的测试成为了值得研究的课题。传统的测试方法多依靠人工编写测试案例和手动执行测试,这种方法不仅费时费力而且使测试效果受到了人为因素的影响,容易出现缺漏。而组合测试因其高效可靠的特性成为了黑盒测试中的热门研究领域。但是普通的组合测试算法都是致力于如何减小测试案例集的规模,而并未考虑到联锁系统的接口设备可能需要被赋予权值的实际要求。针对以上情况,本文吸收了传统测试案例的优点,同时利用组合测试的效率优势,提出一种将二者结合起来运用的自动测试方法,主要内容包括:(1)分析了联锁软件的测试需求,将传统测试使用的测试案例重新整理成11个适用于自动测试的项目。通过分析进路建立和设备状态变化这两项测试的不同目标,阐述了应用组合测试方法的策略分别是增加测试覆盖度和提高测试效率。(2)提出了一种基于改进的IPO(In-Parameter-Order)算法的联锁软件测试案例自动生成方法,主要思想有两点:其一是在原算法过程中引入权值参数,它们将影响测试案例的生成次序以及组合情况,从而使对当前测试场景更为重要的参数在测试案例中出现频率更高;其二是分析测试结果得到的出错原因,将反馈到各参数权值的变化上,从而使下一次生成的测试案例可以更高效地发现错误。(3)详细设计了自动测试程序的执行流程,涵盖了进路建立、设备单操、信号关闭重开、进路解锁等功能以及其中的安全防护要求,并通过组织测试序列将重复性操作减少至原来的一半以下。(4)构建了自动测试环境,使用UDP通信完成联锁机、仿真机和测试程序之间的数据交互。对一个具体站场进行测试的结果表明,该自动测试方法相较于传统测试能发现更多的错误,测试花费时间减少了 37%以上,部分测试案例的检错能力和检错速度也有所改进。本文的研究结果表明,面向联锁软件的自动测试方法不仅增加了测试覆盖度,而且提高了测试效率,还让部分测试案例的质量得到了优化,相对于传统的人工测试方法做出了明显的改进。
其他文献
背景:白内障、角膜炎是致盲的主要因素,重视防护,早期治疗是关键.目的:探讨角膜炎、白内障、青光眼、视网膜脱离和眼创伤常见眼病的康复治疗效果.
2004年5月11日,沈阳市苏家屯区,黑林台村田某某,饲养野猪31头.其中母猪3头,公猪1头.3月25日开始,3头母猪相继产仔,共产仔27头.4月25日,仔猪出现死亡,到5月11日,35日龄至40日
一、背景在去年调入职高之前,笔者一直从事普通高中的英语教学工作。深切地体会到运用多样的、新颖的、合适的、实用性强的课堂教学模式的好处及效果。并在平常的教学活动中能
静脉输液是护理操作中最普通的一项技术,但在儿科由于病人的特殊性,往往会出现静脉输液时多次穿刺失败的情况,给患儿造成再次损伤的痛苦.作为一名儿科护士,应勤学苦练基本功,在实践
'履中蹈和'思想在祖国医学的运用中与'治病求本'十分契合。'中'可理解为中正平和状态下,正常生长发育的人体,'和'可看做一种治疗理念,此&#3
商务部市场运行司日前发布的监测报告称,近期国内市场煤炭价格呈现小幅回落走势。据悉,这是煤炭价格白2000年持续上涨以来出现的首次明显下降。有些专家据此判断,煤炭价格的拐点
随着我国高等教育教学的逐步发展,高等院校的声乐教学水平得了大幅度提高。然而,学生单一演唱素质和能力的培养已经成为了摆在高校声乐教学面前的发展瓶颈。本文将从何为跨界
通过对饮食调整治愈抽动秽语综合征的个案分析,推测脑过敏是导致抽动秽语综合征的原因之一.当某种食物代谢途径不通畅,中间的代谢产物堆积,就会影响到某种神经递质的代谢,打
智能计算机辅助语言研究催生了自动写作评价系统,如句酷批改网通过多维度分析对学生习作评分并帮助教师做出基于习作的诊断和反馈,给英语写作教学带来了改变。句酷批改网在批
笔者在临床上反复实践,采用"中西结合,医护并举",治疗马骡破伤风9例,治愈7例.