基于RSL及Fuzzing的协议测试工具的研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 引言 | 第11-16页 |
| ·研究背景及意义 | 第11-12页 |
| ·国内外研究现状 | 第12-14页 |
| ·软件测试形式化描述方法 | 第12-13页 |
| ·模糊测试技术 | 第13-14页 |
| ·研究目的和内容 | 第14页 |
| ·论文组织结构 | 第14-16页 |
| 2 相关技术知识 | 第16-39页 |
| ·网络协议测试技术 | 第16-23页 |
| ·一致性测试 | 第16-18页 |
| ·互操作性测试 | 第18-20页 |
| ·性能测试 | 第20-21页 |
| ·健壮性测试 | 第21-23页 |
| ·漏洞检测方法 | 第23-29页 |
| ·手工测试 | 第24页 |
| ·模糊测试 | 第24-27页 |
| ·进制比对技术 | 第27-28页 |
| ·静态分析技术 | 第28页 |
| ·动态分析技术 | 第28-29页 |
| ·软件测试形式化方法 | 第29-32页 |
| ·软件测试形式化定义 | 第29页 |
| ·形式化描述语言 | 第29-32页 |
| ·常见网络协议 | 第32-38页 |
| ·HTTP协议 | 第32-34页 |
| ·FTP协议 | 第34-36页 |
| ·SMTP协议 | 第36-38页 |
| ·本章小结 | 第38-39页 |
| 3 网络协议安全性模糊测试的研究 | 第39-55页 |
| ·网络协议模糊测试引擎设计 | 第39-52页 |
| ·RSL形式化描述语言语法规则 | 第39-45页 |
| ·网络协议的RSL语言描述 | 第45-48页 |
| ·网络协议测试用例生成方法 | 第48-52页 |
| ·网络协议模糊测试流程设计 | 第52页 |
| ·总体框架设计 | 第52-54页 |
| ·本章小结 | 第54-55页 |
| 4 网络协议安全性模糊测试工具的设计 | 第55-67页 |
| ·网络协议模糊测试工具 | 第55-56页 |
| ·模块的设计与实现 | 第56-66页 |
| ·集成管理模块 | 第56-59页 |
| ·模糊测试引擎模块 | 第59-62页 |
| ·测试执行模块 | 第62-63页 |
| ·监控模块 | 第63-64页 |
| ·结果分析模块 | 第64-65页 |
| ·异常处理模块 | 第65页 |
| ·各个模块间的交互 | 第65-66页 |
| ·本章小结 | 第66-67页 |
| 5 网络协议安全性模糊测试工具的实现与验证 | 第67-71页 |
| ·网络协议安全性模糊测试工具的实现 | 第67-68页 |
| ·网络协议安全性模糊测试工具的验证 | 第68-70页 |
| ·模糊测试验证方法 | 第68-69页 |
| ·测试结果 | 第69-70页 |
| ·本章小结 | 第70-71页 |
| 6 结论与展望 | 第71-73页 |
| ·论文总结 | 第71页 |
| ·研究展望 | 第71-73页 |
| 参考文献 | 第73-75页 |
| 作者简历 | 第75-77页 |
| 学位论文数据集 | 第77页 |
