Simulation-based `STRESS' Testing Case Study: A Multicast Routing Protocol

Authors:
Ahmed Helmy;Deborah Estrin
Affiliations:
-;-
Venue:
MASCOTS '98 Proceedings of the 6th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
Year:
1998

Citing 0
Cited 5

Verisim: Formal analysis of network simulations

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Fault origin adjudication

FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Verisim: Formal Analysis of Network Simulations

IEEE Transactions on Software Engineering
Advances in Network Simulation

Computer
The STRESS method for boundary-point performance analysis of end-to-end multicast timer-suppression mechanisms

IEEE/ACM Transactions on Networking (TON)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work, we propose a method for using simulation to analyze the robustness of multiparty (multicast-based) protocols in a systematic fashion. We call our method Systematic Testing of Robustness by Examination of Selected Scenarios (STRESS). STRESS aims to cut the time and effort needed to explore pathological cases of a protocol during its design. This paper has two goals: (1) to describe the method, and (2) to serve as a case study of robustness analysis of multicast routing protocols. We aim to offer design tools similar to those used in CAD and VLSI design, and demonstrate how effective systematic simulation can be in studying protocol robustness.