单向主动测量协议的设计,验证,实现与测试
| 文献类型 | 学位 |
| 作者 | 潘红莲[1] |
| 机构 | 北京航空航天大学 ↓ |
| 授予学位 | 硕士 |
| 年度 | 2004 |
| 学位授予单位 | 北京航空航天大学 |
| 语言 | 中文 |
| 关键词 | 网络测量;网络性能;测量协议;协议验证;一致性测试 |
| 摘要 | 为了认识和理解现代互连网路的行为特征和性能表现,以保证和提高现有网络服务质量、推动互连网络和信息基础结构的正确发展,有必要用一套完善的测量机制对网络性能进行测量.该文在项目完成的网络性能测量框架NPMI的基础上,设计并实现了单向主动测量协议OWAMP(One-Way Active Measurement Protocol).该文内容主要分两大部分:第一部分首先研究并分析了现有的网络测量理论和测量方法,然后介绍了该项目已完成的网络性能测量框架NPMI.在此基础上,给出了一种以主动方式网络发送数据包,对网络性能的单向度量指标进行测量的技术——单向主动测量协议OWAMP.最后介绍了保证该协议设计与实现正确性的协议工程理论,以及协议设计中使用的形式化描述方法.第二部分是该文的重点.该部分按照协议工程过程,设计并实现了单向主动测量协议,包括以下几个方面:1)设计;在Telelogic Tau4.3的环境下,该课题采用SDL形式化描述技术对OWAMP逐层设计,其中包括系统层、功能模块层、进程层和过程层.2)验证;在完成协议设计的基础上,给出和实现了OWAMP的随机仿真结构,并验证了该测量协议的设计符合逻辑性要求.3)实现;该课题利用C语言实现了OWAMP.4)一致性测试;该文利用Telelogic Tau 4.3的TTCN Suite,根据分布式测试法和远程测试法分别对测量协议OWAMP的发送端和接收端进行一致性测试. |
影响因子：
dc:title:单向主动测量协议的设计,验证,实现与测试
dc:creator:潘红莲
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media：北京航空航天大学
dc:identifier: LnterrelatedLiterature：北京航空航天大学.2004.
dc:identifier:DOI：
dc: identifier:ISBN:
