Proceedings of the 2016 4th International Conference on Machinery, Materials and Information Technology Applications

Multi-Layer Modeling of OpenFlow based on EFSM

Authors
ZhiHao Zhang, DongMing Yuan, HeFei Hu
Corresponding Author
ZhiHao Zhang
Available Online January 2017.
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)

Volume Title
Proceedings of the 2016 4th International Conference on Machinery, Materials and Information Technology Applications
Series
Advances in Computer Science Research
Publication Date
January 2017
ISBN
978-94-6252-285-5
ISSN
2352-538X
DOI
10.2991/icmmita-16.2016.97How to use a DOI?
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/).

Cite this article

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  -