基于脚本技术的高速铁路列控中心系统安全性自动化测试研究

来源 :铁道学报 | 被引量 : 0次 | 上传用户:disk_
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。
其他文献
禁令是指法院作出的带有强制性的禁止当事人实施某种特定行为或要求当事人作出特定行为的命令。 在当代的英国诉讼制度中,禁令作为一项古老而又行之有效的衡平法救济形式被沿
旅游景区空间结构处在不断演化和发展中,具有等级性、层次性,是一个复杂的系统。以武汉市2002年和2011年的国家A级旅游景区为研究对象,运用最邻近指数、Moran’s/指数和集聚
随着教学评价的改革,成长档案袋评价应运而生。作为评价载体,成长档案袋有计划、有目的地收集儿童成长历程的点滴,为儿童发展水平的评估提供了全面、丰富的信息。成长档案袋
网络异常检测对于保证网络的可靠运行具有重要意义,而现有的异常检测方法仅仅单独利用流量的时间相关性或空间相关性.针对这一不足,同时考虑流量矩阵的时空相关性,提出了一种
20世纪90年代以来,我国资本市场得到了迅猛发展,在促进经济增长、优化资源配置等方面发挥了重要作用。而且,资本市场的发展引致中国金融结构发生了深刻变革,相应地,货币政策实施的
加强对工程分包项目的管理,有利于降低分包成本,提高工程施工项目的经济效益。工程分包管理中存在的一些主要问题包括:分包量过大、分包队伍选择不规范、分包结算程序不严格
作为大学生群体中重要组成部分的高职生,由于承受更大的社会竞争压力,身上具有更多特殊性,其心理健康问题更为重要。对于高职院校的心理教师,正确认识和分析高职学生心理状况
本文扼要评介了计算机化英语水平考试(Computerized English Proficiency Test- CEPT)的理论基础与物质基础,并概述了它所具有的几大优点。最后,文章对于计算机化英语水平考试的研究开发及其具体实施进行了思考和探讨,指
<正> 隆冬时节,南方深圳、宁波,细雨潇潇,微风和煦;北国青岛、大连,白雪皑皑,寒风凛冽。 从南到北,深圳、宁波、青岛、大连四个城市,象一串晶莹剔透的明珠,在祖国的东部黄金
<正>一直以来,人们的生活离不开硬件,从PC到智能手机、平板电脑和可穿戴设备,技术浪潮不断革新,其中物联网发展迅猛。有数据统计,2020年全球联网设备总量将达到500亿。在英特