基于形式化描述的协议鲁棒性测试研究

摘要	第1-5页
Abstract	第5-8页
1 绪论	第8-11页
·课题研究背景	第8页
·协议测试的研究现状	第8-9页
·论文组织结构	第9-11页
2 基于形式化描述的协议测试理论	第11-18页
·协议测试概述	第11-12页
·协议形式化描述技术	第12-15页
·基于形式化描述的协议鲁棒性测试技术	第15-17页
·本章小结	第17-18页
3 鲁棒性测试序列生成技术	第18-35页
·鲁棒性测试序列结构	第18-19页
·常见测试序列生成方法的引入	第19-21页
·基于UIO 的鲁棒性测试序列生成算法	第21-29页
·基于UIO 的鲁棒性测试序列生成的改进算法	第29-33页
·本章小结	第33-35页
4 基于语法错误注入的TCP 协议鲁棒性测试实现	第35-55页
·TCP 协议	第35-37页
·TCP 协议鲁棒性测试内容分析	第37-39页
·TCP 协议的RFSM 模型建立	第39-44页
·测试集的产生	第44页
·语法错误注入技术	第44-48页
·测试系统实现	第48-54页
·本章小结	第54-55页
5 总结与展望	第55-57页
·全文总结	第55-56页
·后续工作的展望	第56-57页
致谢	第57-58页
参考文献	第58-61页