The advent of multipoint (multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we present a method for automatic synthesis of worst and best case scenarios for multipoint protocol performance evaluation. Our method uses a faultoriented test generation (FOTG) algorithm for searching the protocol and system state space to synthesize these scenarios. The algorithm is based on a global finite state machine (FSM) model. We extend the algorithm with timing semantics to handle end-to-end delays and address performance criteria. We introduce the notion of a virtual LAN to represent delays of the underlying multicast distribution tree. As a case study, we use our method to evaluate variants of the timer suppression mechanism, used in various multipoint protocols, with respect to two performance criteria: overhead of response messages and response time. Simulation results for reliable multicast protocols show that our method provides a scalable way for synthesizing worst-case scenarios automatically. We expect our method to serve as a model for applying systematic scenario generation to other multipoint protocols. I.
|
1362
|
RTP: A Transport Protocol for Real-Time Applications
– Schulzrinne, Casner, et al.
- 1996
|
|
924
|
A reliable multicast framework for light-weight sessions and application level framing
– Floyd, Jacobson, et al.
- 1997
|
|
457
|
A new polynomial-time algorithm for linear programming
– Karmarkar
- 1984
|
|
387
|
A Computational Logic Handbook
– Boyer, Mooer
- 1988
|
|
337
|
Modeling internet topology
– Calvert, Doar, et al.
- 1997
|
|
297
|
Formal methods: State of the art and future directions
– Clarke, Wing
- 1996
|
|
275
|
An Active Service Framework and Its Application to Real-Time Multimedia Transcoding
– Amir, McCanne, et al.
- 1998
|
|
189
|
Internet group management protocol, version 2,” Request for Comments (Proposed Standard) 2236, Internet Engineering Task Force
– Fenner
- 1997
|
|
170
|
Understanding Z - A Specification Language and its Formal Semantics. Cambridge Tracts in Computer Science 3
– Spivey
- 1988
|
|
132
|
Using partial orders to improve automatic verification methods,” in Proc. Computer Aided Verification Workshop
– Godefroid
- 1990
|
|
103
|
Adaptive Web caching: towards a new global caching architecture
– Michel, Nguyen, et al.
- 1998
|
|
71
|
and A Dahbura. A protocol test generation procedure
– Sabnani
- 1988
|
|
66
|
Enabling large-scale simulation: Selective abstraction approach to the study of multicast protocol
– Huang, Estrin, et al.
- 1998
|
|
43
|
Protocol verification using reachability analysis: the state space explosion problem and relief strategies
– Lin, Chu, et al.
- 1987
|
|
34
|
Verification Techniques for Cache Coherence Protocols
– Pong, Dubois
- 1997
|
|
33
|
Scalable coordination in sensor networks
– Estrin, Govindan, et al.
- 1999
|
|
27
|
Testing Finite State Machines: Fault Detection
– Yannakakis, Lee
- 1995
|
|
25
|
An improved branch and bound algorithm for mixed integer nonlinear programs
– Borchers, Mitchell
- 1994
|
|
23
|
StarBurst Multicast File Transfer Protocol (MFTP) Specification
– Miller, Robertson, et al.
- 1997
|
|
20
|
Fault-oriented test generation for multicast routing protocol design
– Helmy, Estrin, et al.
- 1998
|
|
19
|
Simulation-based ‘STRESS’ testing case study: A multicast routing protocol
– Helmy, Estrin
- 1998
|
|
18
|
Virtual InterNetwork Testbed: Status and research agenda
– Bajaj, Breslau, et al.
- 1998
|
|
12
|
A recovery approach to the design of stabilizing communication protocols
– Saleh, Ahmed, et al.
- 1995
|
|
10
|
A new technique for generating protocol tests
– Sabnani, Dahbura
- 1984
|
|
8
|
The Address Allocation Protocol
– Handley
- 1998
|
|
8
|
The sdr Session Directory: An
– Handley
- 1996
|
|
7
|
Large-scale weakly consistent replication using multicast
– Govindan, Yu, et al.
- 1998
|
|
6
|
OSI conformance testing. Computer Networks and
– Rayner
- 1987
|
|
4
|
Simplex Method for Solving Linear Programs
– Dantzig
- 1987
|
|
3
|
SCAN: Large-Scale Fault Isolation
– Govindan, Alaettinoglu, et al.
|
|
2
|
Improving Simulation for Network Research. To Appear
– Bajaj, Breslau, et al.
- 1999
|
