| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-10页 |
| 图表目录 | 第10-11页 |
| 第一章 绪论 | 第11-14页 |
| ·选题背景 | 第11-12页 |
| ·国内外研究现状 | 第12-13页 |
| ·论文结构 | 第13-14页 |
| 第二章 协议一致性测试技术 | 第14-20页 |
| ·协议测试的类型 | 第14-15页 |
| ·协议一致性测试过程 | 第15-16页 |
| ·协议测试套 | 第16-17页 |
| ·一致性测试体系结构 | 第17-20页 |
| 第三章 研究基础 | 第20-29页 |
| ·形式描述技术 | 第20-21页 |
| ·形式化描述语言E-LOTOS | 第21-25页 |
| ·E-LOTOS的基础语言 | 第22-24页 |
| ·E-LOTOS的模块语言 | 第24-25页 |
| ·可扩展标记语言XML简介 | 第25-29页 |
| ·XML语言的优点 | 第25-26页 |
| ·XML的相关技术 | 第26-27页 |
| ·DOM API核心接口介绍 | 第27-29页 |
| 第四章 测试套自动生成工具的设计与实现 | 第29-48页 |
| ·测试套自动生成工具框架 | 第29-30页 |
| ·FSM简介 | 第30页 |
| ·FSM的存储结构 | 第30-32页 |
| ·E-LOTOS文本的解析 | 第32-34页 |
| ·生成FSM | 第34-39页 |
| ·绘制FSM中的状态 | 第34-37页 |
| ·得到变迁弧坐标值 | 第37-38页 |
| ·绘制FSM中的变迁弧 | 第38-39页 |
| ·测试序列的生成 | 第39-41页 |
| ·前导序列的生成 | 第39页 |
| ·测试变迁的生成 | 第39页 |
| ·UIO序列的生成 | 第39-41页 |
| ·XML保存测试套 | 第41-48页 |
| ·测试套在XML文档中的结构 | 第41-43页 |
| ·测试序列转化为DOM模型 | 第43-44页 |
| ·DOM模型转化为XML文档 | 第44-48页 |
| 第五章 BGP-4协议的测试套生成 | 第48-56页 |
| ·BGP-4协议 | 第48-49页 |
| ·BGP-4的E-LOTOS描述 | 第49-51页 |
| ·BGP-4协议FSM生成 | 第51-53页 |
| ·BGP-4协议的XML测试套 | 第53-54页 |
| ·生成测试套的分析与比较 | 第54-56页 |
| 第六章 总结与展望 | 第56-57页 |
| ·本文主要工作 | 第56页 |
| ·对未来的展望 | 第56-57页 |
| 参考文献 | 第57-59页 |
| 附录 BGP-4 FSM在OPENSENT状态下的XML测试例 | 第59-64页 |
| 致谢 | 第64-65页 |
| 攻读学位期间发表的学术论文 | 第65页 |