Visible to the public High Coverage Testing of Softwarized NetworksConflict Detection Enabled

TitleHigh Coverage Testing of Softwarized Networks
Publication TypeConference Paper
Year of Publication2018
AuthorsSanthosh Prabhu, University of Illinois at Urbana-Champaign, Gohar Irfan Chaudhry, University of Illinois at Urbana-Champaign, Brighten Godfrey, University of Illinois at Urbana-Champaign, Matthew Caesar, University of Illinois at Urbana-Champaign
Conference NameACM SIGCOMM 2018 Workshop on Security in Softwarized Networks: Prospects and Challenges
Date Published08/2018
Conference LocationBudapest, Hungary
KeywordsAutomated Synthesis Framework for Network Security and Resilience, correctness, network verification, UIUC

Network operators face a challenge of ensuring correctness as networks grow more complex, in terms of scale and increasingly in terms of diversity of software components. Network-wide verification approaches can spot errors, but assume a simplified abstraction of the functionality of individual network devices, which may deviate from the real implementation. In this paper, we propose a technique for high-coverage testing of end-to-end network correctness using the real software that is deployed in these networks. Our design is effectively a hybrid, using an explicit-state model checker to explore all network-wide execution paths and event orderings, but executing real software as subroutines for each device. We show that this approach can detect correctness issues that would be missed both by existing verification and testing approaches, and a prototype implementation suggests the technique can scale to larger networks
with reasonable performance.

Citation Keynode-56334

Other available formats:

High-Coverage Testing of Softwarized Networks.pdf