| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-8页 |
| 1 绪论 | 第8-11页 |
| ·研究背景与意义 | 第8-9页 |
| ·国内外研究现状 | 第9-10页 |
| ·论文的组织结构 | 第10-11页 |
| 2 基于FSM 的测试序列生成 | 第11-21页 |
| ·有限状态机模型 | 第11-13页 |
| ·基于FSM 的测试序列生成算法 | 第13-21页 |
| 3 TCP/IP 协议鲁棒性测试研究 | 第21-41页 |
| ·问题的引入 | 第21-22页 |
| ·鲁棒性测试的必要性 | 第22-23页 |
| ·TCP/IP 协议鲁棒性测试内容与技术 | 第23-32页 |
| ·鲁棒性测试例的优化 | 第32-41页 |
| 4 鲁棒性测试中的时间约束问题 | 第41-56页 |
| ·协议中的时间约束 | 第41-42页 |
| ·带有时间约束的FSM 模型 | 第42-44页 |
| ·实例分析 | 第44-56页 |
| 5 总结与展望 | 第56-58页 |
| ·论文的主要工作 | 第56页 |
| ·展望 | 第56-58页 |
| 致谢 | 第58-59页 |
| 参考文献 | 第59-61页 |