Paper Info
Title
SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics.
Abstract
Network programs are difficult to test, especially under the large space of network program behavior defined by packet dynamics such as packet delay and packet loss. It is unlikely for common approaches using testbeds with random packet dynamics to cover the prohibitively large number of packet dynamics possibilities in a limited time. In this paper, we leverage symbolic execution to find the equivalence classes of packet dynamics which lead to exactly the same network program behavior, in order to efficiently check the large space of network program behavior. Specifically, we propose and develop a network program test platform, called Symbolic Packet Dynamics (SPD), to automatically and transparently test unmodified network programs for low-probability bugs and extreme-case performance under packet dynamics. SPD uses symbolic representation of packet dynamics, instead of random packet dynamics. Our experiments show that SPD can achieve significantly much higher packet dynamics coverage than random packet dynamics within the same amount of time, and thus it is much easier and takes much shorter time for SPD to detect low-probability bugs and extreme-case performance.
Year
DOI
Venue
2015
10.1109/GLOCOM.2015.7417134
IEEE Global Communications Conference
Field
DocType
ISSN
End-to-end delay,Packet analyzer,Computer science,Transmission delay,Packet loss,Computer network,Real-time computing,Link state packet,Fast packet switching,Packet generator,Processing delay
Conference
2334-0983
Citations 
PageRank 
References 
1
0.35
0
Authors
3
Name
Order
Citations
PageRank
SUN Wei124726.63
Lisong Xu2164198.37
Sebastian Elbaum33817203.25