摘要 | 第1-6页 |
ABSTRACT | 第6-8页 |
目录 | 第8-11页 |
图表目录 | 第11-13页 |
第一章 引言 | 第13-20页 |
·研究背景 | 第13-14页 |
·主要工作和贡献 | 第14-17页 |
·协议互操作研究现状 | 第15页 |
·基于属性协议测试 | 第15-16页 |
·基于模型的测试(MBT,Model based test) | 第16-17页 |
·研究工作 | 第17-18页 |
·论文结构 | 第18-20页 |
第二章 基于属性的协议互操作性测试 | 第20-26页 |
·协议测试概述 | 第20-21页 |
·互操作性测试过程 | 第21-23页 |
·互操作性测试架构和测试分类 | 第21-23页 |
·属性测试 | 第23-25页 |
·属性测试说明 | 第23-24页 |
·属性的划分 | 第24-25页 |
·基于属性的协议互操作性测试选择 | 第25-26页 |
第三章 协议互操作模型的建立 | 第26-39页 |
·Coloured Petri Net概述 | 第26-30页 |
·形式化描述技术概述 | 第26页 |
·基本Petri网和着色Petri网 | 第26-30页 |
·应用CPN建立互操作模型 | 第30-34页 |
·OSPFv3的Petri模型建立 | 第30-33页 |
·基于属性模型选择 | 第33-34页 |
·模型的属性分析 | 第34-35页 |
·建模与测试选择 | 第34-35页 |
·基于属性的OSPFv3协议模型说明 | 第35-39页 |
第四章 基于属性的CPN模型的测试生成 | 第39-45页 |
·CPN文件解析和生成序列分析 | 第40页 |
·测序序列生成 | 第40-41页 |
·Hello-Exchange和Exchange-Flooding测试对比 | 第41-45页 |
第五章 基于属性的协议互操作性测试的TTCN-3实现 | 第45-60页 |
·TTCN-3核心语言 | 第45-46页 |
·TTCN-3测试系统 | 第46-53页 |
·ATS的生成 | 第49页 |
·TTCN-3的适配器实现 | 第49-50页 |
·TriCommunication接口 | 第50-52页 |
·测试系统的编解码部分(CD) | 第52-53页 |
·基于协议互操作性测试属性的分析 | 第53-57页 |
·基于属性互操作性测试实现分析 | 第53-54页 |
·协议属性的TTCN-3实现 | 第54-55页 |
·TTCN-3测试比较 | 第55-57页 |
·TTCN-3测试对比测试实例 | 第57-60页 |
第六章 基于属性的协议互操作性测试实践 | 第60-68页 |
·协议互操作性测试环境的搭建 | 第60页 |
·测试拓扑 | 第60-61页 |
·协议互操作性测试实践 | 第61-66页 |
·测试结果比较 | 第66-68页 |
第七章 结论和进一步工作 | 第68-70页 |
·论文工作总结 | 第68页 |
·进一步工作 | 第68-70页 |
参考文献 | 第70-73页 |
附录1 OSPFv3基于属性的Hello-exchange SCC图 | 第73-74页 |
附录2 OSPFv3基于属性的Exchange-flooding SCC图 | 第74-75页 |
附录3 OSPFv3 Petri网中库所和变迁名称对应表 | 第75-76页 |
致谢 | 第76-77页 |
攻读硕士期间发表的学术论文 | 第77-78页 |
参加项目 | 第78页 |