| With the rapid development of Internet, the current Internet architecture did not meet the growing different requirements of business, two different approaches, reformers and reformists, were proposed to solve such problems. Reformers put forward to design a more reasonable architecture of Internet. OpenFlow is a new network switch model that was proposed by reformers. The extension property of OpenFlow protocol is the basis of extension property of OpenFlow network. The premise of OpenFlow network’s developing is to ensure the correctness of OpenFlow protocol. Therefore, the research on the extension property of OpenFlow protocol has been studied in this thesis. OpenFlow versionl.0is the basic protocol and the latest OpenFlow version1.4.0is the evolved protocol. We can obtain the extended models by modifying the basic models according to the specification of OpenFlow version1.4.0. By comparing test cases obtained by basic models and extended models to get the final test cases. The contributions of the thesis are the followings.(1)The message type, packet formats and the evolution of OpenFlow protocol were summarized. After that, the interactive processes of OpenFlow were deeply analyzed and devided into three phases which were independent and can be executed in turn.(2)The hierarchical CPN model was firstly put forward from the views of protocol working phases and further from the roles. The symbolic execution was applied to CPN modeling. Based on the state space which obtained by CPN Tools, the generation algorithm of test sequences was implemented and the conversion algorithm from the test sequences to the test cases was also implemented. At last, models of OpenFlow version1.0were built and then the test sequences and test cases were generated. The effectiveness of above method was demonstrated.(3)According to the characteristics of three types of extension, such as value extension, field extension and packet extension, the modified methods were proposed on the basis of basic models. Finally, the test cases were obtained based on the modified model. |
