基于形式化方法的实时传输协议一致性测试和性能测试
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景 | 第7-9页 |
| ·国内外的研究现状 | 第7-8页 |
| ·论文研究目的 | 第8-9页 |
| ·本文内容安排 | 第9-10页 |
| ·本章小结 | 第10-11页 |
| 第二章 协议的形式化描述和测试技术概述 | 第11-23页 |
| ·协议工程 | 第11-13页 |
| ·协议形式化描述技术 | 第13-17页 |
| ·形式描述技术介绍 | 第13-16页 |
| ·形式化描述技术的比较 | 第16-17页 |
| ·形式化的协议测试技术 | 第17-21页 |
| ·一致性测试 | 第18-20页 |
| ·性能测试 | 第20-21页 |
| ·本章小结 | 第21-23页 |
| 第三章 协议测试方法设计与实现 | 第23-43页 |
| ·抽象状态自动机 | 第23-24页 |
| ·基于ASM的一致性测试技术 | 第24-27页 |
| ·接口自动机定义 | 第24-25页 |
| ·测试执行 | 第25-27页 |
| ·基于ASM的简单文件传输协议一致性测试 | 第27-33页 |
| ·简单文件传输协议介绍 | 第27-28页 |
| ·基于ASM的TFTP协议测试 | 第28-31页 |
| ·测试结果 | 第31-33页 |
| ·Petri网及引用网 | 第33-37页 |
| ·Petri网及其应用简介 | 第33-36页 |
| ·引用网 | 第36-37页 |
| ·基于引用网的性能测试 | 第37-38页 |
| ·基于引用网的TFTP性能测试的设计与实现 | 第38-41页 |
| ·本章小结 | 第41-43页 |
| 第四章 实时传输协议及其测试 | 第43-61页 |
| ·实时传输协议介绍 | 第43-45页 |
| ·远程测试系统 | 第45-46页 |
| ·RTP的一致性测试 | 第46-53页 |
| ·RTP协议的被测实现 | 第47-49页 |
| ·基于抽象状态机语言的RTP协议的描述 | 第49-53页 |
| ·RTP模型建立 | 第53-56页 |
| ·性能测试 | 第56-59页 |
| ·RTP时延分析 | 第56-58页 |
| ·RTP差错控制 | 第58-59页 |
| ·本章小结 | 第59-61页 |
| 第五章 RTP协议测试结果及其分析 | 第61-69页 |
| ·一致性测试结果及其分析 | 第61-64页 |
| ·性能测试及其分析 | 第64-67页 |
| ·本章小结 | 第67-69页 |
| 第六章 结束语 | 第69-71页 |
| ·本文所作的工作 | 第69页 |
| ·问题与展望 | 第69-71页 |
| 致谢 | 第71-73页 |
| 参考文献 | 第73-77页 |
| 在读期间的研究成果 | 第77页 |
