A SOFT way for OpenFlow switch interoperability testing

Maciej Kuźniar*, Peter Perešíni, Marco Canini, Daniele Venzano, Dejan Kostić

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

70 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationCoNEXT 2012 - Proceedings of the 2012 ACM Conference on Emerging Networking Experiments and Technologies
Pages265-276
Number of pages12
DOIs
StatePublished - Dec 1 2012
Event8th ACM International Conference on Emerging Networking EXperiments and Technologies, CoNEXT 2012 - Nice, France
Duration: Dec 10 2012Dec 13 2012

Publication series

NameCoNEXT 2012 - Proceedings of the 2012 ACM Conference on Emerging Networking Experiments and Technologies

Other

Other8th ACM International Conference on Emerging Networking EXperiments and Technologies, CoNEXT 2012
CountryFrance
CityNice
Period12/10/1212/13/12

Keywords

  • Bugs
  • OpenFlow
  • Reliability
  • Switches
  • Symbolic execution

ASJC Scopus subject areas

  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'A SOFT way for OpenFlow switch interoperability testing'. Together they form a unique fingerprint.

Cite this