Troubleshooting blackbox SDN control software with minimal causal sequences

Colin Scott; Andreas Wundsam; Barath Raghavan; Aurojit Panda; Andrew Or; Jefferson Lai; Eugene Huang; Zhi Liu; Ahmed El-Hassany; Sam Whitlock; H. B. Acharya; Kyriakos Zarifis; Scott Shenker

doi:10.1145/2619239.2626304

Troubleshooting blackbox SDN control software with minimal causal sequences

Colin Scott, Andreas Wundsam, Barath Raghavan, Aurojit Panda, Andrew Or, Jefferson Lai, Eugene Huang, Zhi Liu, Ahmed El-Hassany, Sam Whitlock, H. B. Acharya, Kyriakos Zarifis, Scott Shenker

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English (US)
Title of host publication	SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication
Publisher	Association for Computing Machinery
Pages	395-406
Number of pages	12
ISBN (Print)	9781450328364
DOIs	https://doi.org/10.1145/2619239.2626304
State	Published - 2014
Event	2014 ACM Conference on Special Interest Group on Data Communication, SIGCOMM 2014 - Chicago, IL, United States Duration: Aug 17 2014 → Aug 22 2014

Publication series

Name	SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication

Other

Other	2014 ACM Conference on Special Interest Group on Data Communication, SIGCOMM 2014
Country/Territory	United States
City	Chicago, IL
Period	8/17/14 → 8/22/14

Keywords

SDN control software
test case minimization
troubleshooting

ASJC Scopus subject areas

Computer Science Applications

Access to Document

10.1145/2619239.2626304

Cite this

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. In SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication (pp. 395-406). (SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication). Association for Computing Machinery. https://doi.org/10.1145/2619239.2626304

Troubleshooting blackbox SDN control software with minimal causal sequences. / Scott, Colin; Wundsam, Andreas; Raghavan, Barath et al.
SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, 2014. p. 395-406 (SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Scott, C, Wundsam, A, Raghavan, B, Panda, A, Or, A, Lai, J, Huang, E, Liu, Z, El-Hassany, A, Whitlock, S, Acharya, HB, Zarifis, K & Shenker, S 2014, Troubleshooting blackbox SDN control software with minimal causal sequences. in SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication. SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication, Association for Computing Machinery, pp. 395-406, 2014 ACM Conference on Special Interest Group on Data Communication, SIGCOMM 2014, Chicago, IL, United States, 8/17/14. https://doi.org/10.1145/2619239.2626304

Scott C, Wundsam A, Raghavan B, Panda A, Or A, Lai J et al. Troubleshooting blackbox SDN control software with minimal causal sequences. In SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery. 2014. p. 395-406. (SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication). doi: 10.1145/2619239.2626304

Scott, Colin ; Wundsam, Andreas ; Raghavan, Barath et al. / Troubleshooting blackbox SDN control software with minimal causal sequences. SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, 2014. pp. 395-406 (SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication).

@inproceedings{fd3179c105134887bd80f1268e295362,

title = "Troubleshooting blackbox SDN control software with minimal causal sequences",

abstract = "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.",

keywords = "SDN control software, test case minimization, troubleshooting",

author = "Colin Scott and Andreas Wundsam and Barath Raghavan and Aurojit Panda and Andrew Or and Jefferson Lai and Eugene Huang and Zhi Liu and Ahmed El-Hassany and Sam Whitlock and Acharya, {H. B.} and Kyriakos Zarifis and Scott Shenker",

year = "2014",

doi = "10.1145/2619239.2626304",

language = "English (US)",

isbn = "9781450328364",

series = "SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication",

publisher = "Association for Computing Machinery",

pages = "395--406",

booktitle = "SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication",

note = "2014 ACM Conference on Special Interest Group on Data Communication, SIGCOMM 2014 ; Conference date: 17-08-2014 Through 22-08-2014",

}

TY - GEN

T1 - Troubleshooting blackbox SDN control software with minimal causal sequences

AU - Scott, Colin

AU - Wundsam, Andreas

AU - Raghavan, Barath

AU - Panda, Aurojit

AU - Or, Andrew

AU - Lai, Jefferson

AU - Huang, Eugene

AU - Liu, Zhi

AU - El-Hassany, Ahmed

AU - Whitlock, Sam

AU - Acharya, H. B.

AU - Zarifis, Kyriakos

AU - Shenker, Scott

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - SDN control software

KW - test case minimization

KW - troubleshooting

UR - http://www.scopus.com/inward/record.url?scp=84907322493&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84907322493&partnerID=8YFLogxK

U2 - 10.1145/2619239.2626304

DO - 10.1145/2619239.2626304

M3 - Conference contribution

AN - SCOPUS:84907322493

SN - 9781450328364

T3 - SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication

SP - 395

EP - 406

BT - SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication

PB - Association for Computing Machinery

T2 - 2014 ACM Conference on Special Interest Group on Data Communication, SIGCOMM 2014

Y2 - 17 August 2014 through 22 August 2014

ER -

Troubleshooting blackbox SDN control software with minimal causal sequences

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this