| 摘要 | 第1-5页 |
| Abstract | 第5-11页 |
| 第一章 引言 | 第11-21页 |
| ·研究背景 | 第11-12页 |
| ·研究现状 | 第12-17页 |
| ·协议形式化技术 | 第12-14页 |
| ·协议测试 | 第14-16页 |
| ·系统可靠性评估 | 第16-17页 |
| ·研究目的 | 第17页 |
| ·研究内容及方案 | 第17-18页 |
| ·论文结构 | 第18-21页 |
| 第二章 协议一致性测试的一般性理论 | 第21-43页 |
| ·有限状态机(FSM)的基本理论 | 第21-25页 |
| ·有限状态机的定义 | 第21-25页 |
| ·协议一致性测试的相关理论 | 第25-31页 |
| ·一致性的基本概念 | 第25-27页 |
| ·有限状态机测试的基本理论 | 第27-31页 |
| ·协议测试框架 | 第31-36页 |
| ·测试类型 | 第32-35页 |
| ·测试方法中存在的问题 | 第35-36页 |
| ·测试覆盖度和错误定位 | 第36-41页 |
| ·测试覆盖度分析 | 第36-38页 |
| ·错误定位 | 第38-41页 |
| ·本章小结 | 第41-43页 |
| 第三章 协议分布式测试理论和技术 | 第43-63页 |
| ·协议分布式测试模型 | 第43-45页 |
| ·控制问题和观察问题 | 第45-47页 |
| ·协议分布式测试解决方案 | 第47-54页 |
| ·定义 | 第47-48页 |
| ·使用协调消息解决分布式测试中的控制和观察问题 | 第48-53页 |
| ·一个简单的例子 | 第53-54页 |
| ·讨论 | 第54-55页 |
| ·解决方案的改进 | 第55-62页 |
| ·发生控制问题的可能情形 | 第55-56页 |
| ·发生观察问题的可能情形 | 第56-58页 |
| ·控制问题和观察问题检测算法 | 第58-59页 |
| ·潜在观察问题的解决 | 第59-62页 |
| ·小结 | 第62-63页 |
| 第四章 协议测试中的时间问题 | 第63-85页 |
| ·协议测试中涉及到的时间 | 第63-64页 |
| ·定义 | 第64-66页 |
| ·时间错误模型 | 第66页 |
| ·一致性测试中的时间约束 | 第66-73页 |
| ·集中式测试方法中的时间约束 | 第66-68页 |
| ·分布式测试方法中的时间约束 | 第68-73页 |
| ·协议测试中的其他时间 | 第73页 |
| ·基于时间约束的测试序列生成 | 第73-79页 |
| ·时间约束测试算法的应用 | 第79-80页 |
| ·基于IUT时间不动点的分布式测试中潜在问题解决策略 | 第80-82页 |
| ·小结 | 第82-85页 |
| 第五章 协议分布式测试系统设计及实例 | 第85-97页 |
| ·测试系统的目标 | 第85-86页 |
| ·测试功能选择算法 | 第86-89页 |
| ·分布式协议测试系统设计及实现 | 第89-90页 |
| ·RIPng测试实例 | 第90-96页 |
| ·RIPng简介 | 第91-92页 |
| ·RIPng的工作原理 | 第92-93页 |
| ·RIPng的一个测试用例 | 第93-96页 |
| ·小结 | 第96-97页 |
| 第六章 被测系统可靠性评估模型 | 第97-109页 |
| ·可靠性的基本概念 | 第97-98页 |
| ·层次型系统的可靠性评估 | 第98-101页 |
| ·RBD模型及“RBD and Criticality”模型 | 第99-101页 |
| ·模型存在的问题 | 第101页 |
| ·本文的模型 | 第101-104页 |
| ·基本理论 | 第101-102页 |
| ·一般的情形 | 第102-103页 |
| ·简单的例子 | 第103-104页 |
| ·模型的推广 | 第104-105页 |
| ·模型的应用 | 第105-107页 |
| ·小结 | 第107-109页 |
| 第七章 结束语 | 第109-113页 |
| ·论文的工作总结 | 第109-111页 |
| ·分布式测试框架下的控制问题和观察问题 | 第109-110页 |
| ·协议一致性测试中的时间问题 | 第110-111页 |
| ·测试系统设计及实现 | 第111页 |
| ·被测系统可靠性预测 | 第111页 |
| ·进一步的工作 | 第111-113页 |
| 参考文献 | 第113-123页 |
| 已发表的论文和申请的专利 | 第123-124页 |
| 参加的科研工作 | 第124-125页 |
| 致谢 | 第125页 |