• 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