A SOFT Way for OpenFlow Switch Interoperability Testing
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)
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.
IdentifiersURN: urn:nbn:se:kth:diva-147110OAI: oai:DiVA.org:kth-147110DiVA: diva2:727684
The 8th International Conference on emerging Networking EXperiments and Technologies (ACM CoNEXT9, December 9-13 2013,Nice, France
QC 201407042014-06-232014-06-232014-07-04Bibliographically approved