文档介绍：北京交通大学
硕士学位论文
基于EFSM的CBTC通信协议一致性测试的研究
姓名:滕竹
申请学位级别:硕士
专业:交通信息工程及控制
指导教师:李开成
20080601
中文摘要摘要:在基于通信的列车运行控铝进行协议一致性测试,因而针对系统通信协议的一致性测试也成为通信协本文在研究系统通信协议的相关文档和规范基础上,深入研究了当前一致性测试技术的不同理论方法,结合通信协议的特点,采用扩展有限状算法对系统通信协议的一致性测试进行了研究。外部接口、相关安全防护措施,以及通信协议的基本原理等;根据的建模详细分析了隕P鸵恢滦圆馐缘男蛄猩伤惴ǎ萃ㄐ判榈奶氐及需求,提出了基于模型和算法的通信协议测试序列生成算法,测试序列,构建了仿真测试平台,对通信协议被测实现进行一致性测试,关键词:通信协议;协议一致性测试;被测协议实现;扩展有限状态机;分类号:珻系统中,安全通信协议是各子系统间可靠的数据通信的保证,也是整个系统安全的基础。自主开发的通信协议已通过安全分析及验证,能够满足系统的要求。为了保证网络中各实体间能够正确、可靠地进行通信,必须根据协议规范议测试的研究重点。态机珽建模方法和本文首先详细介绍了系统通信协议的规范,其中包括协议的需求分析、方法及系统通信协议的特点,建立了基于的通信协议模型;并生成系统通信协议的一致性测试序列;最后按照生成的通信协议一致性并对测试结果进行了分析,一致性判决表明协议实现的被测部分达到了协议规范的需求。序列;疧
瓵琤’.,琣琣,,瑀,:;籈籙. .甌甌,疘’疘’:..,..,。:
图索引图协议一致性测试平台⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图系统组成框图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图7趴占湮尴逤档赝ㄐ畔低彻钩伞低辰峁埂图橐恢滦圆馐怨獭图7趴占浯湎低场图⑺停邮沾怼安全通信协议所在层次结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。通信协议外部接口⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图涌的信息帧格式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图通信链路建立过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯ㄐ帕绰分罩构獭挠邢蛲肌图正常建链过程中序列号的产生和变化⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图发起方没有收到跟随方发来的数据时序列号的变化情况⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图建立链路连接阶段超时⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图链路保持阶段的超时⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图发起方模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图跟随方模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图发起方的部分疉树⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图跟随方的部分疉树⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.下的测试结果周期下的测试结果芷⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯碌牟馐越峁第芷⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯碌牟馐越峁第芷凇⒌芷⋯⋯⋯⋯⋯⋯⋯⋯⋯.
表索引表涌功能⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表涌功能⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。表ㄐ欧⑵鸱阶刺ㄒ濉表ㄐ鸥娣阶刺ㄒ濉表录ㄒ濉表疃ㄒ濉表ㄐ欧⑵鸱阶刺;槐怼表ㄐ鸥娣阶刺;槐怼表亩椤母鞲鲎刺腢序列⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表发起方不可区分变迁集⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表跟随方不可区分变迁集⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表发起方的序列及转换序列⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..表跟随方的序列及转换序列⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表发起方单条变迁测试清单⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表跟随方单条变迁测试清单⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯
一名:如弋⋯⋯弛精丫签字日期:≥鲫黔鲁学位论文版权使用授权书签字日期:年∥月H本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索,并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有关部门或机构送交论文的复印件和磁盘。C艿难宦畚脑诮饷芎笫视帽臼谌ㄋ得
学位做储躲月新签期期:渺孑年慈独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作和取得的研究成果,除了文中特别加以标注和致谢之处外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得北京交通大学或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。
致谢本文是