| 摘要 | 第4-6页 |
| ABSTRACT | 第6-7页 |
| 第一章 绪论 | 第11-23页 |
| 1.1 协议测试理论概述 | 第11-14页 |
| 1.2 协议健壮性测试平台关键技术的研究现状 | 第14-17页 |
| 1.2.1 协议健壮性测试的难点 | 第14-16页 |
| 1.2.2 协议健壮性测试平台研究现状和前景 | 第16-17页 |
| 1.3 本文的主要创新点和章节安排 | 第17-20页 |
| 1.4 参考文献 | 第20-23页 |
| 第二章 协议的缺陷发现模型与协议测试平台框架 | 第23-33页 |
| 2.1 协议缺陷发现模型 | 第23-24页 |
| 2.2 协议测试中缺陷发掘流程 | 第24-27页 |
| 2.3 协议测试平台的框架 | 第27-30页 |
| 2.4 本章小结 | 第30页 |
| 2.5 参考文献 | 第30-33页 |
| 第三章 自动化协议分析技术 | 第33-59页 |
| 3.1 协议逆向工程理论基础 | 第33-36页 |
| 3.1.1 协议及其分类 | 第33-35页 |
| 3.1.2 协议逆向工程及其应用 | 第35-36页 |
| 3.2 文本挖掘相关概念 | 第36页 |
| 3.3 文本挖掘相关技术 | 第36-40页 |
| 3.3.1 分词技术 | 第37页 |
| 3.3.2 特征项提取 | 第37-38页 |
| 3.3.3 文本特征模型描述 | 第38-40页 |
| 3.4 文本挖掘在协议逆向解析中的应用 | 第40-56页 |
| 3.4.1 协议逆向解析方案流程 | 第40-41页 |
| 3.4.2 数据提取 | 第41-43页 |
| 3.4.3 数据预处理 | 第43-47页 |
| 3.4.4 数据分析 | 第47-56页 |
| 3.5 本章小结 | 第56-57页 |
| 3.6 参考文献 | 第57-59页 |
| 第四章 基于扩展Petri网的测试例生成技术 | 第59-70页 |
| 4.1 相关研究 | 第59-60页 |
| 4.2 Petri网理论简介 | 第60-61页 |
| 4.2.1 Petri网与系统 | 第60-61页 |
| 4.2.2 Petri网的动态特性 | 第61页 |
| 4.2.3 Petri网分析方法 | 第61页 |
| 4.3 面向可靠性测试的扩展Petri网 | 第61-68页 |
| 4.3.1 协议语义分析测试及其扩展 | 第63页 |
| 4.3.2 面向可靠性测试的Petri网的建模步骤 | 第63-66页 |
| 4.3.3 HTTP协议的测试 | 第66-68页 |
| 4.4 本章总结 | 第68页 |
| 4.5 参考文献 | 第68-70页 |
| 第五章 基于矩阵扰动的测试数据生成技术 | 第70-86页 |
| 5.1 错误测试数据生成 | 第70-73页 |
| 5.1.1 消息错误预定义 | 第70-71页 |
| 5.1.2 错误位置预标记 | 第71-72页 |
| 5.1.3 漏洞启发式 | 第72-73页 |
| 5.2 测试数据生成技术 | 第73-75页 |
| 5.2.1 数据生成 | 第73页 |
| 5.2.2 数据变异 | 第73-75页 |
| 5.2.3 信任边界和过程深度问题 | 第75页 |
| 5.2.4 数字签名和数据完整问题 | 第75页 |
| 5.3 消息矩阵变换 | 第75-77页 |
| 5.3.1 ASCII映射 | 第76页 |
| 5.3.2 消息矩阵 | 第76页 |
| 5.3.3 标记矩阵 | 第76-77页 |
| 5.4 元扰动定义 | 第77-84页 |
| 5.4.1 语法结构扰动 | 第77-79页 |
| 5.4.2 域值内容扰动 | 第79-83页 |
| 5.4.3 复杂扰动组合 | 第83-84页 |
| 5.5 本章小结 | 第84页 |
| 5.6 参考文献 | 第84-86页 |
| 第六章 测试例执行中的自动化技术 | 第86-99页 |
| 6.1 TTCN-3语言 | 第86-87页 |
| 6.1.1 TTCN-3语言简介 | 第86页 |
| 6.1.2 TTCN-3语言元素 | 第86-87页 |
| 6.2 TTCN-3系统框架 | 第87-88页 |
| 6.2.1 TTCN-3系统框架基本结构 | 第87页 |
| 6.2.2 TTCN-3系统框架里的模块 | 第87-88页 |
| 6.3 TTCN-3编解码模块方案改进 | 第88-90页 |
| 6.3.1 现有编解码模块的现状 | 第88-89页 |
| 6.3.2 通用编解码模块的设计 | 第89-90页 |
| 6.4 通用编解码器的结构 | 第90-93页 |
| 6.5 格式定义文件的研究 | 第93-96页 |
| 6.5.1 格式定义文件声明 | 第94页 |
| 6.5.2 格式定义文件协议分类 | 第94-95页 |
| 6.5.3 基于ASCII格式协议的格式定义文件 | 第95-96页 |
| 6.5.4 通用编解码模块的应用 | 第96页 |
| 6.6 本章小结 | 第96-97页 |
| 6.7 参考文献 | 第97-99页 |
| 第七章 实验性协议缺陷发掘与结果分析 | 第99-122页 |
| 7.1 用TF-IDF算法进行统计关键词抽取 | 第99-102页 |
| 7.1.1 超文本传输协议 | 第99页 |
| 7.1.2 会话初始协议 | 第99-100页 |
| 7.1.3 部分抓取实验过程 | 第100-102页 |
| 7.2 关键词提取的分析验证 | 第102-106页 |
| 7.2.1 结果分析 | 第104-106页 |
| 7.3 采用VOPN模型对协议进行分析 | 第106-109页 |
| 7.4 协议测试例的生成 | 第109-113页 |
| 7.5 设备环境搭建和测试系统实施 | 第113-114页 |
| 7.6 实际测试实验结果 | 第114-117页 |
| 7.7 结果进一步分析和优化改进 | 第117-120页 |
| 7.7.1 关键词抽取正确率 | 第117-118页 |
| 7.7.2 测试用例产生发送速度 | 第118-119页 |
| 7.7.3 问题讨论和下一步优化 | 第119-120页 |
| 7.8 本章小节 | 第120页 |
| 7.9 参考文献 | 第120-122页 |
| 结束语 | 第122-125页 |
| 致谢 | 第125-126页 |
| 攻读学位期间发表的论文 | 第126-127页 |
| 攻读学位期间主持和参与的科研工作 | 第127页 |