声明
致谢
摘要
1 引言
1.1 研究背景与意义
1.2 研究现状
1.2.1 传输协议
1.2.2 差错控制
1.2.3 协议一致性测试
1.3 论文主要工作和结构
2 新型互联网传输协议
2.1 工作方式
2.2 报文格式
2.3 连接建立
2.4 数据收发
2.5 多流传输
2.6 多路径传输
2.7 拥塞控制
2.7.1 拥塞窗口的增加
2.7.2 拥塞窗口的减小
2.8 连接释放
2.9 协议优势
2.10 小结
3 差错控制机制的设计与实现
3.1 设计原理
3.2 报文格式
3.2.1 KEEPALIVE块
3.2.2 KEEPALIVE ACK块
3.3 保活测试设计
3.3.1 保活测试流程
3.3.2 保活测试设置
3.4 连接差错检测设计
3.5 路径差错检测设计
3.6 多连接多路径带宽分配设计
3.6.1 连接的优先级
3.6.2 路径的可达性估计
3.6.3 带宽的剥夺幅度
3.6.4 带宽的减少
3.6.5 带宽的增加
3.7 发送端验证设计
3.7.1 验证标签的一般处理规则
3.7.2 验证标签的特殊处理规则
3.8 处理无匹配连接报文设计
3.9 差错控制模块实现
3.9.1 保活测试子模块实现
3.9.2 连接差错检测子模块实现
3.9.3 路径差错检测子模块实现
3.9.4 多连接多路径带宽分配子模块实现
3.9.5 发送端验证子模块实现
3.9.6 处理无匹配连接报文子模块实现
3.10 小结
4 新型互联网传输协议的一致性测试
4.1 一致性测试流程
4.2 一致性测试集
4.2.1 测试集组织结构
4.2.2 测试集文本描述
4.2.3 测试集形式化描述
4.3 一致性测试系统
4.3.1 测试例管理模块
4.3.2 测试例解析模块
4.3.4 测试结果模块
4.4 一致性测试环境
4.5 一致性测试执行
4.5.1 连接建立的一致性测试
4.5.2 数据传输的一致性测试
4.5.3 拥塞控制的一致性测试
4.5.4 差错控制的一致性测试
4.5.5 连接释放的一致性测试
4.6 一致性测试校验
4.6.1 报文解析工具
4.6.2 校验过程与结果
4.7 一致性测试结论
4.8 小结
5.1 总结
5.2 展望
参考文献
作者简历及攻读硕士学位期间取得的研究成果
学位论文数据集