软件定义网络的出现为传统网络架构带来了颠覆性的改变,它将数据平面与控制平面解耦,使得网络管理者能够使用软件来决定网络中流的处理方式。OpenFlow协议作为SDN架构中控制器与交换机通信的接口,不同厂商生产的设备只需要符合其相关规范就能成功实现互联互通,打破了传统上的网络壁垒,然而由于协议描述的二义性以及不同厂家的理解不同,所以在OpenFlow协议的实现上面难免会出现偏差,这给不同厂家的控制器与交换机之间的互联带来了不确定性,所以为了更好的实现通信,对于OpenFlow一致性测试也是迫在眉睫。同时,在协议测试过程中,对于有效测试序列的产生也是一个研究热点。针对以上问题,本文首先深入分析了 SDN网络架构特点和OpenFlow协议特性,结合一致性测试理论,以扩展有限状态机为出发点,针对OpenFlow数据流处理特点,以模块化和分层为指导,对OpenFlow协议进行EFSM模型建立,该模型能够清晰阐述OpenFlow协议数据流处理过程。接下来,就EFSM模型测试用例生成的问题,在基于全变迁覆盖准则条件下,针对EFSM模型可行变迁路径进行了研究。首先,对EFSM模型生成的状态图进行遍历生成状态迁移序列,然后根据路径构造评估函数,该评估函数结合了 EFSM模型中的守卫变量可能导致路径不可行的条件,针对每一条路径对其可行性进行判定,然后从生成的迁移序列中通过遗传算法得到可行性迁移序列。从而提高测试用例生成效率,同时有效避免无效迁移序列。最后,在OpenFlow协议生成的模型中,应用该判定算法对迁移序列进行判定和生成。本文研究针对OpenFlow协议的一致性测试建模与有效测试序列生成问题进行相应的研究,为OpenFlow协议测试进一步研究提供了一定的参考。