首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机的应用论文--计算机网络论文--一般性问题论文

基于属性的OSPEv3协议互操作性测试方法研究与实现

摘要第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页

论文共78页,点击 下载论文
上一篇:基于WinCE的远程医疗数据无线传输及Web数据查询系统的研究
下一篇:基于词典、规则与统计的蒙古文词切分系统的研究