Kuźniar, Maciej and Perešíni, Peter and Canini, Marco and Venzano, Daniele and Kostic, Dejan (2012) A SOFT Way for OpenFlow Switch Interoperability Testing. In: The 8th International Conference on emerging Networking EXperiments and Technologies (ACM CoNEXT 2012), 10-13 December 2012, Nice, France .
- Published Version
Download (379Kb) | Preview
The increasing adoption of Software Defined Networking, and OpenFlow in particular, brings great hope for increasing extensibility and lowering costs of deploying new network functionality. A key component in these networks is the OpenFlow agent, a piece of software that a switch runs to enable remote programmatic access to its forwarding tables. While testing high-level network functionality, the correct behavior and interoperability of any OpenFlow agent are taken for granted. However, existing tools for testing agents are not exhaustive nor systematic, and only check that the agent’s basic functionality works. In addition, the rapidly changing and sometimes vague OpenFlow specifications can result in multiple implementations that behave differently. This paper presents SOFT, an approach for testing the interoperability of OpenFlow switches. Our key insight is in automatically identifying the testing inputs that cause different OpenFlow agent implementations to behave inconsistently. To this end, we first symbolically execute each agent under test in isolation to derive which set of inputs causes which behavior. We then crosscheck all distinct behaviors across different agent implementations and evaluate whether a common input subset causes inconsistent behaviors. Our evaluation shows that our tool identified several inconsistencies between the publicly available Reference OpenFlow switch and Open vSwitch implementations.
|Item Type:||Conference or Workshop Papers (Paper)|
|Uncontrolled Keywords:||Switches, Bugs, Reliability, OpenFlow, Symbolic execution|
|Subjects:||Q Science > Q Science (General)
Q Science > QA Mathematics > QA76 Computer software
T Technology > T Technology (General)
T Technology > TA Engineering (General). Civil engineering (General)
T Technology > TK Electrical engineering. Electronics Nuclear engineering
|Divisions:||Faculty of Engineering, Science and Mathematics > School of Electronics and Computer Science|
|Depositing User:||Dejan KOSTIC|
|Date Deposited:||18 Jan 2013 15:33|
|Last Modified:||03 Dec 2014 08:50|
Actions (login required)