基于CPN的OpenFlow建模及交互属性测试
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 引言 | 第10-17页 |
| ·研究背景 | 第10-11页 |
| ·相关工作研究 | 第11-15页 |
| ·OpenFlow的研究现状 | 第11-14页 |
| ·CPN建模的研究现状 | 第14-15页 |
| ·属性测试的研究现状 | 第15页 |
| ·主要研究内容 | 第15-16页 |
| ·论文组织结构 | 第16-17页 |
| 第二章 OpenFlow协议介绍 | 第17-22页 |
| ·OpenFlow协议数据包的头部 | 第17-19页 |
| ·控制器/交换机消息 | 第19-20页 |
| ·异步消息 | 第20-21页 |
| ·对称消息 | 第21页 |
| ·建立连接 | 第21页 |
| ·本章小结 | 第21-22页 |
| 第三章 基于OpenFlow的CPN建模 | 第22-32页 |
| ·CPN简介 | 第22-23页 |
| ·Coloured Petri网定义 | 第22-23页 |
| ·CPN Tools简介 | 第23页 |
| ·基于CPN的OpenFlow建模 | 第23-28页 |
| ·token的选取及变量定义 | 第28-29页 |
| ·token的选取 | 第28页 |
| ·相关变量的定义 | 第28-29页 |
| ·模型的仿真执行 | 第29-30页 |
| ·状态空间分析 | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 第四章 基于交互属性的OpenFlow研究 | 第32-42页 |
| ·基于模型的交互属性的测试生成 | 第32-34页 |
| ·基于可执行序列的交互属性的测试生成 | 第34-35页 |
| ·测试例的设计 | 第35-40页 |
| ·本章小结 | 第40-42页 |
| 第五章 实验 | 第42-56页 |
| ·实验环境的设计 | 第42-44页 |
| ·实验环境平台搭建 | 第44-48页 |
| ·mininet的安装 | 第46-47页 |
| ·控制器的安装 | 第47-48页 |
| ·交互属性的测试 | 第48-55页 |
| ·实验结果分析 | 第55页 |
| ·本章小结 | 第55-56页 |
| 第六章 结论及下一步工作 | 第56-58页 |
| ·论文工作总结 | 第56页 |
| ·下一步工作 | 第56-58页 |
| 参考文献 | 第58-62页 |
| 附录1 模型中库所和变迁的含义说明 | 第62-64页 |
| 附录2 全模型的状态空间可达图 | 第64-65页 |
| 附录3 部分交互属性测试用例表 | 第65-66页 |
| 致谢 | 第66-67页 |
| 攻读硕士期间发表的学术论文 | 第67-68页 |
| 参加项目 | 第68页 |
