Multi-Layer Modeling of OpenFlow based on EFSM

DOI

10.2991/icmmita-16.2016.97How to use a DOI?

Keywords

OpenFlow protocol; Software-Defined network; Extended Finite State Machine(EFSM); test generation.

Abstract

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.

Copyright

© 2017, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - ZhiHao Zhang
AU  - DongMing Yuan
AU  - HeFei Hu
PY  - 2017/01
DA  - 2017/01
TI  - Multi-Layer Modeling of OpenFlow based on EFSM
BT  - Proceedings of the 2016 4th International Conference on Machinery, Materials and Information Technology Applications
PB  - Atlantis Press
SP  - 524
EP  - 529
SN  - 2352-538X
UR  - https://doi.org/10.2991/icmmita-16.2016.97
DO  - 10.2991/icmmita-16.2016.97
ID  - Zhang2017/01
ER  -