Change search
ReferencesLink to record
Permanent link

Direct link
A SOFT Way for OpenFlow Switch Interoperability Testing
Show others and affiliations
2012 (English)In: Proceedings of the 8th International Conference on emerging Networking EXperiments and Technologies (ACM CoNEXT), Association for Computing Machinery (ACM), 2012Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2012.
National Category
Computer Science
URN: urn:nbn:se:kth:diva-147110OAI: diva2:727684
The 8th International Conference on emerging Networking EXperiments and Technologies (ACM CoNEXT9, December 9-13 2013,Nice, France

QC 20140704

Available from: 2014-06-23 Created: 2014-06-23 Last updated: 2014-07-04Bibliographically approved

Open Access in DiVA

fulltext(432 kB)21 downloads
File information
File name FULLTEXT01.pdfFile size 432 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Conference websiteACM Digital library

Search in DiVA

By author/editor
Kostic, Dejan
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 21 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 68 hits
ReferencesLink to record
Permanent link

Direct link