Abstract
We present a new algorithm for automatic test generation for multicast routing. 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 target protocol robustness in specific, and do not attempt to verify other properties in this paper. We apply our method to a multicast routing protocol; PIM-DM, and investigate its behavior in the presence of selective packet loss on LANs and router crashes. Our study unveils several robustness violations in PIM-DM, for which we suggest fixes with the aid of the presented algorithm.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35394-4_29
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
V. Paxon. End-to-End Routing Behavior in the Internet. IEEE/ACM Transactions on Networking, Vol. 5, No. 5. An earlier version appeared in Proc. ACM SIGCOMM ‘86, Stanford, CA, pages 601–615, October 1997.
V. Paxon. End-to-End Internet Packet Dynamics. ACM SIGCOMM ‘87, September 1997.
A. Helmy and D. Estrin. Simulation-based STRESS Testing Case Study: A Multicast Routing Protocol. Sixth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS ‘88), July 1998.
D. Estrin, D. Farinacci, A. Helmy, V. Jacobson, and L. Wei. Protocol Independent Multicast - Dense Mode (PIM-DM): Protocol Specification. Proposed Experimental RFC. URL http://netweb.usc.edu/pim/pimdm/PIMDM.txt,ps.gz, September 1996.
K. Saleh, I. Ahmed, K. Al-Saqabi, and A. Agarwal. A recovery approach to the design of stabilizing communication protocols. Journal of Computer Communication, Vol. 18, No. 4, pages 276–287, April 1995.
E. Clarke and J. Wing. Formal Methods: State of the Art and Future Directions. ACM Workshop on Strategic Directions in Computing Research, Vol. 28, No. 4, pages 626–643, December 1996.
J. Spivey. Understanding Z: a Specification Language and its Formal Semantics. Cambridge University Press, 1988.
R. Boyer and J. Moore. A Computational Logic Handbook. Academic Press, Boston, 1988.
F. Lin, P. Chu, and M. Liu. Protocol Verification using Reachability Analysis. Computer Communication Review, Vol. 17, No. 5, 1987.
P. Godefroid. Using partial orders to improve automatic verification methods. Proc. 2nd Workshop on Computer-Aided Verification, Springer Verlag, New York, 1990.
F. Pong and M. Dubois. Verification Techniques for Cache Coherence Protocols. ACM Computing Surveys, Volume 29, No. 1, pages 82–126, March 1996.
M. Abramovici, M. Breuer, and A. Friedman. Digital Systems Testing and Testable Design. AT T Labs., 1990.
A. Helmy, D. Estrin, and S. Gupta. Fault-oriented Test Generation for Multicast Routing. USC-CS-TR 98–673, www.usc.edu/dept/cs March 1998.
D. Estrin, D. Farinacci, A. Helmy, D. Thaler, S. Deering, M. Handley, V. Jacobson, C. Liu, P. Sharma, and L. Wei. Protocol Independent Multicast - Sparse Mode (PIM-SM): Protocol Specification. RFC 2117. URL http://netweb.usc.edu/pim/pimsm/PIM-SMv2-Exp-RFC.txt,ps.gz, March 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Helmy, A., Estrin, D., Gupta, S. (1998). Fault-Oriented Test Generation for Multicast Routing Protocol Design. In: Budkowski, S., Cavalli, A., Najm, E. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. PSTV FORTE 1998 1998. IFIP — The International Federation for Information Processing, vol 6. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35394-4_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-35394-4_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5262-5
Online ISBN: 978-0-387-35394-4
eBook Packages: Springer Book Archive