Testing Protocol Implementation Robustness
نویسنده
چکیده
We describe preliminary work toward a new robustness testing tool, PIRANHA, that exercises boundary and exceptional conditions of network protocol implementations. This automated tool will provide system developers and maintainers the ability to repeatably identify and eliminate robustness failures in protocol subsystems.
منابع مشابه
Cadre Formel pour le Test de Robustesse des Protocoles de Communication. (A Framework for Robustness Testing of Communicating Protocols)
In the telecommunication field, protocols have to be seriously validated before their startup. Thus, it is necessary to test the conformance of a protocol, but it is also important to test its robustness in presence of unexpected events. Although a precise definition of robustness is somewhat elusive, functionally the meaning is clear : the ability of a system, conform to its nominal specificat...
متن کاملSIP Robustness Testing for Large-Scale Use
The Session Initiation Protocol (SIP) is a signaling protocol for Internet telephony, multimedia conferencing and instant messaging. We describe a method for assessing the robustness of SIP implementation by means of a tool that detects vulnerabilities. We prepared the test material and carried out the tests against a sample set of existing implementations. Many of the implementations available...
متن کاملSecurity testing of SIP implementations
The Session Initiation Protocol (SIP) is a signaling protocol for Internet telephony, multimedia conferencing and instant messaging. Although SIP implementations have not yet been widely deployed, the product portfolio is expanding rapidly. We describe a method to assess the robustness of SIP implementation by describing a tool to find vulnerabilities. We prepared the test material and carried ...
متن کاملA Model-Based Approach for Robustness Testing
Robustness testing is a part of the validation process which consists in testing the behavior of a system implementation under exceptional execution conditions in order to check if it still fulfills some robustness requirements. We propose a theoretical framework for modelbased robustness testing together with an implementation within the If validation environment. Robustness test cases are gen...
متن کاملSimulation-based 'STRESS' Testing Case Study: A Multicast Routing Protocol
In this work, we propose a method for using simulation to analyze the robustness of multiparty (multicastbased) 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 ...
متن کامل