Troubleshooting blackbox SDN control software with minimal causal sequences
Date
2014-08-17Author
Scott, Colin
Wundsam, Andreas
Raghavan, Barath
Panda, Aurojit
Or, Andrew
Lai, Jefferson
Huang, Eugene
Liu, Zhi
El-Hassany, Ahmed
Whitlock, Sam
Acharya, HB
Zarifis, Kyriakos
Shenker, Scott
Metadata
Show full item recordAbstract
Software bugs are inevitable in software-defined networking control software, and troubleshooting is a tedious, time-consuming task. In this paper we discuss how to improve control software troubleshooting by presenting a technique for automatically identifying a minimal sequence of inputs responsible for triggering a given bug, without making assumptions about the language or instrumentation of the software under test. We apply our technique to five open source SDN control platforms — Floodlight, NOX, POX, Pyretic, ONOS — and illustrate how the minimal causal sequences our system found aided the troubleshooting process.
Citation
Scott, C., Wundsam, A., Raghavan, B., Panda, A., Or, A., Lai, J., Huang, E., Liu, Z., El-Hassany, A., Whitlock, S., Acharya, H.B., Zarifis, K., Shenker, S. (2014). Troubleshooting blackbox SDN control software with minimal causal sequences. Proceedings of the 2014 ACM conference on SIGCOMM, pp. 395-406. https://doi.org/10.1145/2619239.2626304