| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第1章 引言 | 第10-16页 |
| ·课题的研究背景 | 第10-11页 |
| ·作者的主要研究工作 | 第11-13页 |
| ·论文的主要贡献 | 第13-15页 |
| ·论文的组织 | 第15-16页 |
| 第2章 相关研究工作综述 | 第16-35页 |
| ·引言 | 第16页 |
| ·互操作性测试概述 | 第16-19页 |
| ·基于形式化方法的互操作性测试 | 第19-26页 |
| ·分布式协议测试 | 第26-31页 |
| ·工业界的工程实践 | 第31-34页 |
| ·本章小结 | 第34-35页 |
| 第3章 一种协议互操作性测试理论框架 | 第35-57页 |
| ·引言 | 第35页 |
| ·互操作性测试被测系统的抽象模型 | 第35-38页 |
| ·互操作性关系的抽象定义 | 第38-40页 |
| ·互操作性测试的过程 | 第40-41页 |
| ·互操作性测试中的分布式测试架构 | 第41-42页 |
| ·协议实体的形式化模型 | 第42-55页 |
| ·本章小结 | 第55-57页 |
| 第4章 分布式协议互操作性测试生成研究 | 第57-74页 |
| ·引言 | 第57-58页 |
| ·相关工作 | 第58-59页 |
| ·测试假设 | 第59-60页 |
| ·分布式测试架构 | 第60-61页 |
| ·测试生成的总体框架 | 第61-62页 |
| ·全局测试序列的生成 | 第62-67页 |
| ·分布式测试序列的生成 | 第67-70页 |
| ·实验结果 | 第70-73页 |
| ·本章小结 | 第73-74页 |
| 第5章 具有时间约束的协议互操作性测试生成研究 | 第74-93页 |
| ·引言 | 第74页 |
| ·相关工作 | 第74-75页 |
| ·一个简单的实时通讯协议 | 第75-76页 |
| ·测试假设 | 第76-78页 |
| ·测试生成 | 第78-84页 |
| ·实例 | 第84-87页 |
| ·讨论与比较 | 第87-92页 |
| ·本章小结 | 第92-93页 |
| 第6章 具有时间约束的协议互操作性测试表示和测试执行研究 | 第93-108页 |
| ·引言 | 第93-94页 |
| ·实时测试例描述法简介 | 第94-95页 |
| ·测试架构 | 第95-96页 |
| ·测试行为树 | 第96-99页 |
| ·测试行为树到TIMEDTTCN-3 的转换 | 第99-100页 |
| ·测试行为树到实时TTCN 的转换 | 第100-105页 |
| ·TIMEDTTCN-3 与实时TTCN 的比较 | 第105-106页 |
| ·测试执行 | 第106-107页 |
| ·本章小结 | 第107-108页 |
| 第7章 下一代互联网协议IPV6 的互操作性测试 | 第108-134页 |
| ·引言 | 第108页 |
| ·移动IPV6 协议系统的互操作性测试 | 第108-116页 |
| ·实时测试集描述法测试执行的实现 | 第116-126页 |
| ·邻居发现协议中路由器发现功能的互操作性测试生成 | 第126-132页 |
| ·本章小结 | 第132-134页 |
| 第8章 结论和进一步工作 | 第134-137页 |
| ·论文的主要结论 | 第134-135页 |
| ·进一步的研究工作 | 第135-137页 |
| 参考文献 | 第137-145页 |
| 致谢 | 第145-146页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第146-148页 |