Fault-oriented test generation for multicast routing protocol design (1998) [20 citations — 11 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Helmy98fault-orientedtest,author = {Ahmed Helmy and Deborah Estrin and Eep Gupta},
title = {Fault-oriented test generation for multicast routing protocol design},
booktitle = {Formal Description Techniques (FORTE XI) & Protocol Specification, Testing, and Verification (PSTV XVIII), 1998 IFIP TC6/WG6.1 Joint International Conference},
year = {1998},
pages = {93--109}
}
Years of Citing Articles
Abstract:
The unprecedented growth of the Internet and the introduction of new network services, such as multicast, has lead to the increased complexity of network protocols and protocol interaction. Multicast protocols support a wide range of multipoint applications ranging from teleconferencing to network games. Unlike traditional point to point protocols, multipoint communication involves multiple senders and receivers, increasing the number of protocol states, and complicating the task of evaluating the behavior and robustness of the protocols and supported applications. In addition, the heterogeneity of network components and technologies has introduced new failure modes that have not been considered traditionally in the design of multicast protocols; such as unicast routing anomalies and selective loss over LANs. The presence of these failures exacerbates the design and testing problems of multicast protocols, due to the esoteric interaction between the different layers in the protocol stack. To date, little effort has been exerted to formulate practical methods and tools that aid in the systematic testing of these protocols. In this paper we present a new algorithm for automatic test generation for multicast routing. We target protocol robustness in specific, and do not attempt to verify other properties in this paper. Our algorithm processes a finite state machine (FSM) model of the protocol and uses a mix of forward and backward search techniques to generate the tests. The output tests include a set of topologies, protocol events and network failures, that lead to violation of protocol correctness and behavioral requirements. We apply our method to a real multicast routing protocol, PIM-DM--which has been deployed in parts of the Internet--, and investigate its behavior in the presence of selective packet loss on LANs and router crashes.
