Multi-Layer Modeling of OpenFlow based on EFSM
Zhihao Zhang, Dongming Yuan, Hefei Hu · 2016
The OpenFlow protocol, as the main south protocol for Software-Defined Network, is researched by many people.This paper proposed a new notion of Muitil-Layer Extended Finite State Machine(MEFSM) to model OpenFlow protocol and derive the executable testing sequence base on it.Using Hierarchical method, we assemble test sequences of each layer.And then we using a global variable to avoid cloned test sequences.Experimental result show that our model can avoid state explosion in some way.