【摘 要】
:
由于具有速度快、安全性好、运量大、污染小等优势,高速铁路在我国进入了飞速发展的阶段。目前,我国高速铁路使用的CTCS-3(China Train Control System level3)列车运行控制
论文部分内容阅读
由于具有速度快、安全性好、运量大、污染小等优势,高速铁路在我国进入了飞速发展的阶段。目前,我国高速铁路使用的CTCS-3(China Train Control System level3)列车运行控制系统,属于安全苛求系统,依赖于高容量的传输系统进行数据传输。铁路信号安全协议-Ⅰ(以下简称RSSP-I)为铁道部制订的用于高速列控系统的安全数据传输协议,是保证铁路信号安全设备之间信息安全实时传递的有效手段,对保证整个列车运行控制系统的安全起着至关重要的作用,这就迫切需要对RSSP-I进行协议测试。协议测试中的互操作性测试,就是检查同一协议或者同一类协议的不同被测实现之间是否可以进行正确的交互,以提供期望的服务。由于自然语言描述的协议说明可能具有二义性,或者存在可选选项,同时一致性测试无法做到穷尽测试,故对协议实现进行互操作性测试具有重要的意义。所以,本文以RSSP-I为例,对列控系统安全通信协议的互操作性测试进行研究。对于互操作性测试,其过程分为测试生成、测试实现和测试执行三个阶段。测试生成即互操作性测试序列的生成,本文通过对RSSP-I状态和输入输出事件的分析,分别建立了其发送方和接收方的有限状态机模型,并基于SDL对其进行了描述和仿真验证,然后应用互操作性测试中的形式化技术生成了互操作性测试序列;测试实现,本文引入标准测试语言TTCN-3,搭建了RSSP-I的互操作性测试系统,并对测试系统的各个组成部分进行了配置和实现,然后进行了互操作性测试序列的描述;最后通过运行该测试系统,执行测试序列,得到了测试执行过程中的消息序列图和日志记录,并对测试结果进行了分析。本文搭建的基于TTCN-3的互操作性测试系统,具有良好的测试配置功能和测试描述能力,可以使整个测试过程清晰有序地进行,并且测试过程可以实时地反映于消息序列图和日志记录中,这就使得测试过程可视化,有助于我们理解所描述的测试行为,同时也为测试平台的调试和测试提供了详尽的数据支持,使得测试结果具有可分析性,所以整个测试活动取得了良好的效果,实现了预期的测试目标。
其他文献
随着国民物质生活水平的提高,越来越多的人开始重视口腔健康,对于口腔修复的需求日益增加。传统的义齿制备技术由于其测量过程繁琐,测量精度低,已无法满足临床需要。因此基于
番茄黄化曲叶病毒病(Toamto yellow leaf curl virus,TYLCV)是目前番茄生产中最具毁灭性的病害,发病严重时可造成绝产。和田地区于2012年初在墨玉县首次发现,番茄黄化曲叶病
非旋转对称光学非球面元件,如柱面元件等,具有独特的光学特性,在天文、强激光等先进光学系统中得到了广泛应用。但因其非旋转对称的特点,尚未有高精度的绝对检测方法。计算全息元件(Computer-Generated Hologram,CGH)可以产生任意形状的波前,可实现复杂光学元件的零位干涉检测,但系统误差及参考误差的存在限制了计算全息法的检测精度。为了进一步提高检测精度,本文在计算全息零位检测技术的
合作学习有助于历史课教学取得更好的效果,有利于学生探索、创新以及实践精神的培养,合作学习已受到越来越多教育者的重视。
采用问卷法对501名自闭症儿童父母进行调查研究,考察自闭症儿童父母歧视知觉和群际关系的特点,并重点考察歧视知觉对群际关系的影响及自尊的调节作用.结果 表明:(1)自闭症儿
基于通信的列车控制系统(Communication Based Train Control, CBTC)采用基于IEEE802.11协议族的无线局域网技术来实现车地双向通信。由于城市轨道交通的特殊性,其线路主要分
为探讨城区流动儿童亲子依恋、家庭功能与社会适应的发展特征及其影响路径,采用青少年依恋问卷、总体家庭功能量表和社会适应量表对1152名五至九年级儿童进行测试,最终获得城
摘要:磁浮列车是一种运行时速为400-500km/h的高效运输陆地交通工具。列车高速运行中需要采用性能优越,安全可靠的列车运行控制系统来保证列车的安全、高效运行。分区切换是高
运动目标识别与跟踪是智能视频处理的重要内容,在安防监控、工业生产、军事应用等领域中都有着极为重要的应用价值。摄像头端前置的嵌入式视频处理系统以其体积小、性价比高
发光二极管(LED)以其体积小、寿命长、节能、环保等一系列优点,成为全世界的研究热点之一。但是现有LED的能量有70~80%是以热量的形式释放的,如果这些热量不能很好的释放,会使LED