| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第一章 引言 | 第8-16页 |
| ·研究背景 | 第8-14页 |
| ·协议工程 | 第8-11页 |
| ·一致性测试 | 第11-14页 |
| ·研究的现状 | 第14页 |
| ·本文的工作和意义 | 第14-16页 |
| 第二章 有限状态机理论 | 第16-20页 |
| 第三章 基于FSM的控制流测试 | 第20-26页 |
| ·基于FSM的控制流测试模型 | 第20-22页 |
| ·对控制流测试中FSM的假设 | 第22-23页 |
| ·控制流测试序列的一些生成方法 | 第23-26页 |
| 第四章 数据流测试序列生成方法 | 第26-28页 |
| ·数据流测试 | 第26页 |
| ·数据流中的一些定义 | 第26-27页 |
| ·现有数据流测试序列生成方法 | 第27-28页 |
| 第五章 一种综合的测试序列生成方法 | 第28-46页 |
| ·序列生成方法总体框图 | 第28-29页 |
| ·协议的形式化描述 | 第29-32页 |
| ·控制流图的生成 | 第32-33页 |
| ·状态验证方法的选择 | 第33-37页 |
| ·控制流测试序列的生成 | 第37-40页 |
| ·数据流图的生成 | 第40-42页 |
| ·数据流测试序列的生成 | 第42-44页 |
| ·控制流与数据流测试序列的综合 | 第44-46页 |
| 第六章 生成方法的应用实例 | 第46-60页 |
| ·TP0协议的基本描述 | 第46-48页 |
| ·TP0协议的Estelle描述 | 第48页 |
| ·TP0协议的Estelle-NFS形式的描述 | 第48-49页 |
| ·控制流图及由此生成的测试序列 | 第49-52页 |
| ·数据流图及由此生成的测试序列 | 第52-57页 |
| ·序列优化及合并 | 第57-60页 |
| 第七章 结论及改进 | 第60-62页 |
| ·结论 | 第60页 |
| ·不足及改进 | 第60-62页 |
| 附录1 OSI／TP0的Estelle描述 | 第62-68页 |
| 附录2 OSI／TP0协议的Estelle-NFS描述 | 第68-76页 |
| 参考文献 | 第76-78页 |
| 攻读学位期间所做的其它工作 | 第78-90页 |
| 学术论文列表 | 第90页 |
| 作者简历 | 第90-92页 |
| 致谢 | 第92页 |