由于以IPv4为核心的互联网出现的问题越来越多,各个国家的新一代互联网研究计划不断启动、实施和重组,其研究工作和实验正在不断的深入。目前关于新一代互联网的研究,有人想放弃现有一切重新设计,从根本上解决问题,也有人提出针对现有问题进行修改。OpenFlow是新一代互联网研究中的一个产物,它的提出背景就是想重新设计新一代互联网。本文以OpenFlow为具体研究对象,研读了OpenFlow的相关说明,对OpenFlow进行了深入的分析,对OpenFlow的进化和研究现状给出了简单的总结,详细介绍了OpenFlow协议。基于层次CPN(Coloured Petri Nets)对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,并对模型中的变量和token的选取做了详细的介绍,对模型的性质进行了简单的分析。针对OpenFlow协议中的交互属性进行了建模方法的研究,本文使用了两种方法对OpenFlow协议的交互属性进行了测试生成,并给出了测试序列生成算法。将生成的测试序列进行了以消息类型为依据的分类以及合并,设计提取测试例。本文设计了四种网络环境的测试场景,并根据设计搭建测试环境,依据提取的测试例对OpenFlow协议的交互属性进行了测试,对测试结果进行了分析,包括没通过的测试例。本文下一步的研究工作主要集中于OpenFlow交换机与控制器之间多对多关系的环境配置实现,以及多个控制器之间的通信和安全性。