DocumentCode
3503120
Title
VirtualWire: a fault injection and analysis tool for network protocols
Author
De, Pradipta ; Neogi, Anindya ; Chiueh, Tzi-cker
Author_Institution
Dept. of Comput. Sci., State Univ. of New York, Stony Brook, NY, USA
fYear
2003
fDate
19-22 May 2003
Firstpage
214
Lastpage
221
Abstract
The prevailing practice for testing protocol implementations is direct code instrumentation to trigger specific states in the code. This leaves very little scope for reuse of the test cases. In this paper, we present the design, implementation, and evaluation of VirtualWire, a network fault injection and analysis system designed to facilitate the process of testing network protocol implementations. VirtualWire injects user-specified network faults and matches network events against anticipated responses based on high-level specifications written in a declarative scripting language. With VirtualWire, testing requires no code instrumentation and fault specifications can be reused across versions of a protocol implementation. We illustrate the effectiveness of VirtualWire with examples drawn from testing Linux´s TCP implementation and a real-time Ethernet protocol called Rether. In each case, 10 to 20 lines of script is sufficient to specify the test scenario. VirtualWire is completely transparent to the protocols under test, and additional overhead in protocol processing latency it introduces is below 10% of the normal.
Keywords
fault tolerant computing; formal specification; formal verification; local area networks; transport protocols; Ethernet protocol; Linux TCP implementation testing; Rether; VirtualWire; code instrumentation; fault specification; network protocol; Access protocols; Computer science; Delay; Ethernet networks; Filters; Formal verification; Instruments; Kernel; Laboratories; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 2003. Proceedings. 23rd International Conference on
ISSN
1063-6927
Print_ISBN
0-7695-1920-2
Type
conf
DOI
10.1109/ICDCS.2003.1203468
Filename
1203468
Link To Document