随着互联网地快速发展，当前的互联网体系结构不能满足多层面的业务需求，出现了改革派和改良派两大派别。改革派的观点是重新设计互联网体系结构，OpenFlow是改革派提出的新型网络交换模型。OpenFlow协议可扩展性是OpenFlow网络可扩展性的基础，其正确性是OpenFlow网络得以发展的前提。因此本文以OpenFlow协议可扩展性为研究对象，以OpenFlowversion1.0为基础，以最新的OpenFlow version1.4.0为扩展协议，对基础协议的模型进行修改得到扩展后协议的模型（称为“扩展模型”），将由扩展模型得到的测试例集和由基础模型得到的测试例集进行比较，得到扩展后协议的测试例集。本文的研究工作主要包括:　　(1)总结了OpenFlow协议的消息类型、消息格式及进化历程，深入分析了OpenFlow的交互过程，将其交互分成三个相互独立又依次执行的阶段。　　(2)提出了先分段，再分角色的层次CPN建模方法，介绍了如何将符号执行的优势运用到CPN建模中。基于CPN Tools生成的状态空间实现了测试序列的自动生成算法，以及测试序列向测试例的自动转换算法。最后，对OpenFlow协议的基础协议(OpenFlow version1.0)进行建模实现及测试例生成，验证了所提方法的有效性。　　(3)根据值扩展、字段扩展和数据包扩展的特点，提出了基于Openflow基础模型的模型修改方法，根据修改后的模型得到扩展后协议的测试例集。