| 第一章 引言 | 第1-19页 |
| ·课题的研究背景 | 第11-14页 |
| ·作者的主要研究工作 | 第14-17页 |
| ·论文的主要贡献 | 第17-18页 |
| ·论文的组织 | 第18-19页 |
| 第二章 拒绝测试与MIOTS单一观察者拒绝测试综述 | 第19-51页 |
| ·引言 | 第19页 |
| ·一致性测试的形式化方法 | 第19-22页 |
| ·标号变迁系统及其扩展模型 | 第22-30页 |
| ·标号变迁系统 | 第22-25页 |
| ·同步通讯和异步通讯 | 第25-27页 |
| ·输入输出变迁系统 | 第27-28页 |
| ·多输入输出变迁系统 | 第28-30页 |
| ·标号变迁系统及其扩展模型的拒绝测试 | 第30-46页 |
| ·标号变迁系统的拒绝测试 | 第30-34页 |
| ·输入输出变迁系统的拒绝测试 | 第34-39页 |
| ·多输入输出变迁系统的拒绝测试 | 第39-44页 |
| ·三种模型在测试关系上的比较 | 第44-46页 |
| ·LTS和FSM一致性理论的比较 | 第46-49页 |
| ·小结 | 第49-51页 |
| 第三章 MIOTS全观察者拒绝测试理论 | 第51-81页 |
| ·引言 | 第51页 |
| ·MIOTS测试生成优化 | 第51-54页 |
| ·MIOTS全观察者拒绝测试 | 第54-70页 |
| ·全观察者 | 第55-57页 |
| ·全观察者测试生成 | 第57-59页 |
| ·合理性 | 第59-61页 |
| ·完备性 | 第61-70页 |
| ·网络协议一致性测试 | 第70-80页 |
| ·队列系统 | 第70-73页 |
| ·网络协议测试的SUT模型 | 第73-75页 |
| ·TTCN测试系统IPv6Tester中SUT的组成 | 第75-77页 |
| ·TTCN测试例生成 | 第77-80页 |
| ·小结 | 第80-81页 |
| 第四章 分解式的MIOTS全观察者拒绝测试生成 | 第81-106页 |
| ·引言 | 第81-82页 |
| ·分解式的MIOTS单一观察者测试生成 | 第82-93页 |
| ·选择过程 | 第82-83页 |
| ·合理性保持条件 | 第83-85页 |
| ·完备性保持条件 | 第85-87页 |
| ·分解式测试生成 | 第87-93页 |
| ·优化分解法 | 第93-94页 |
| ·分解式的MIOTS全观察者测试生成 | 第94-103页 |
| ·合理性保持条件 | 第95-96页 |
| ·完备性保持条件 | 第96-101页 |
| ·完全输入的MIOTS实现的分解式测试生成 | 第101-103页 |
| ·小结 | 第103-106页 |
| 第五章 分布式的MIOTS拒绝测试 | 第106-139页 |
| ·引言 | 第106-107页 |
| ·MIOTS的分布式测试 | 第107-118页 |
| ·单一观察者测试例的分布 | 第107-111页 |
| ·全观察者测试例的分布 | 第111-118页 |
| ·多端口有限状态机的分布式测试 | 第118-134页 |
| ·模型及相关工作 | 第119-124页 |
| ·新分布算法 | 第124-127页 |
| ·TTCN-2测试例的生成 | 第127-130页 |
| ·np-NFSM的分布式测试 | 第130-134页 |
| ·MIOTS和np-FSM测试的联系 | 第134-137页 |
| ·小结 | 第137-139页 |
| 第六章 IP路由协议路由信息处理一致性测试 | 第139-181页 |
| ·引言 | 第139-141页 |
| ·IP路由协议 | 第141-152页 |
| ·Internet路由体系 | 第141-143页 |
| ·RIP协议 | 第143-145页 |
| ·OSPF协议 | 第145-149页 |
| ·BGP协议 | 第149-152页 |
| ·路由协议测试需求和TTCN的局限性 | 第152-158页 |
| ·路由协议测试需求 | 第152-153页 |
| ·TTCN局限性 | 第153-157页 |
| ·路由协议的其它测试需求 | 第157-158页 |
| ·路由信息处理一致性测试 | 第158-177页 |
| ·IP路由信息处理的np-FSM模型 | 第158-161页 |
| ·集中控制的并发分布式测试结构PADTACC | 第161-163页 |
| ·路由信息处理测试脚本--RIPTS | 第163-168页 |
| ·IP路由信息测试器IRIT的总体设计 | 第168-170页 |
| ·IRIT测试执行模块的实现 | 第170-173页 |
| ·OSPF模拟路由器的实现 | 第173-175页 |
| ·测试实践 | 第175-177页 |
| ·基于IRIT的进一步工作 | 第177-179页 |
| ·小结 | 第179-181页 |
| 第七章 主要结论和进一步的研究工作 | 第181-186页 |
| ·论文的主要结论 | 第181-183页 |
| ·进一步的研究工作 | 第183-186页 |
| 参考文献 | 第186-195页 |
| 致谢及声明 | 第195-196页 |
| 个人简历、在学期间的研究成果及发表的论文 | 第196-197页 |