High Coverage Testing of Softwarized Networks![Conflict Detection Enabled Conflict Detection Enabled](/sites/all/themes/redux/css/images/icons/conflict_enabled_icon.png)
Title | High Coverage Testing of Softwarized Networks |
Publication Type | Conference Paper |
Year of Publication | 2018 |
Authors | Santhosh 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 Name | ACM SIGCOMM 2018 Workshop on Security in Softwarized Networks: Prospects and Challenges |
Date Published | 08/2018 |
Publisher | ACM |
Conference Location | Budapest, Hungary |
Keywords | Automated Synthesis Framework for Network Security and Resilience, correctness, network verification, UIUC |
Abstract | 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 |
URL | http://publish.illinois.edu/science-of-security-lablet/files/2018/10/High-Coverage-Testing-of-Softwa... |
Citation Key | node-56334 |
Attachment | Size |
---|---|
bytes |