-3的CTCS-3级车地通信协议一致性测试研究.pdf

北京交通大学
硕士学位论文
-3的CTCS-3级车地通信协议一致性测试研究
姓名:李雁
申请学位级别:硕士
专业:交通信息工程及控制
指导教师:唐涛
20090601
中文摘要地面之间连续、双向的信息传输,是基于无线通信的列车运行控制系统。在该系证协议实现正常工作的前提。而协议的一致性测试是各类协议测试工作的基础。行三个阶段。测试生成即测试序列的生成,通过对车地通信协议的分析,建立有规范化的测试描述语言的发展、特性和优点、,测试系统的配置,内部结构的设计,测试用例的描述,编解码器的分类号::摘要:.读谐翟诵锌刂葡低呈侵泄妨谐悼刂葡低,闹匾W槌刹糠种唬捎梦尴咄ㄐ畔低猂迪至谐涤统中,车地通信协议是车载设备和地面设备之间进行可靠的数据通信的保证,也是这个系统安全运行的基础。.冻档赝ㄐ判槭且訣标准中定义的踩槲2考,与国内的实际相结合,加以改善设计出来的。为了保证车地之间氯贰⒖煽的通信,必须对通信协议进行测试。协议测试是协议工程的一个重要分支,∩希钊胙芯苛艘恢忠恢滦圆试的测试方法。对于一致性测试来说,其过程分为测试生成、测试实现和测试执限状态机現P停刹馐孕蛄校徊馐允迪只诓馐描述语言.,采用测试工具罱ú馐韵低常蛔詈笸ü馐韵低车脑诵校圆馐越峁蟹治觥本文首先详细介绍了协议一致性测试理论、基于有限状态机的测试序列生成、的应用方向,进行了简要介绍;∩希榉治7⑵鸱胶透方,建立了基于型;,,,协议适配器的设计及实现;,得到测试判决,并给出了测试过程中出现问题的分析及解决办法。关键词:.冻档赝ㄐ判椋籘;协议一致性测试;有限状态机;序列;
⑽鰐..,、,騦瓼甀甌一,甀’甌:瑆,.瑃一猤疘’:.,,.·.甈.,,琣琣
,:.鬞;籙籘瑃瓵·;;篣籘
图索引诵薪峁!3晒Α运行结果——超时⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯邢蛲肌惴鞒獭腉’图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.腉’图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。踩唇邮毙蛲肌图数据传输时序图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图安全链接释放时序图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图发起方的P汀图跟随方的P汀图分解后的发起方图伪图的对称扩展图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图分解后的跟随方图四种端系统抽象测试方法的结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图车地通信协议一致性测试抽象测试方法的结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图实际设备连接图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一嗉缑妗畆原语类型定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..蚑畆原语模板定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图测试系统端口定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图定时器定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯ㄊ逼鞑僮鳌图发起方测试序列部分肌图测试主程序流程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图测试判决操作⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯函数流程图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..函数流程图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.
表索引表亩椤母鞲鲎刺腢序列⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⑵⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表图的髯刺腢序列⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯
学位论文作者签名:夸雁澳月日独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作和取得的研撰写过的研究成果,也不包含为获得北京交通大学或其他教育机构的学位或证书究成果,除了文中特别加