Since the data forwarding and control are separated in SDN networks, the OpenFlow protocol plays an important role in its southbound interface. With the development of the next generation Internet, available IPv4 address resources are almost used up, and the bottleneck of IPv4 networks is highlighted. How to deploy IPv6 networks quickly, making their contribution for social production and life, and realizing longterm coexistence of current networks and IPv6 networks or a smooth transition to IPv6 networks, becomes an urgent problem for the industry and academia.SDN networks provide such an option, so verifying whether the OpenFlow protocol supports IPv6 protocol has attracted our attention. We construct a formal model for the OpenFlow protocol, and build a nondeterministic finite state machine (NFSM). In order to guide the testing, we also achieve a test generation tree. We focus on identifying whether this protocol supports the IPv6 protocol, and generate 167 test cases by a combination test method. We also develop a test engine, which supports efficient test generation algorithms, test operation and identification. We test our test engine on the test cases, and analyze the test results. The quantitative analysis results meet the expected requirements.