a framework and a tool for robustness testing of communicating software
Robustness testing aims at verifying the acceptable behavior of a system under unexpected conditions. In this paper we propose a framework and a tool for robustness test cases generation. Our framework consists of two phases: (1) Construction of an increased specication by integrating hazards in the nominal specification model written in SDL. The rule of the increased specification is to specify the acceptable behavior in presence of hazards. (2) A specific method to generate robustness test cases (in TTCN-3) from the increased specification and a robustness test purpose. We also give some experimental results on the TCP protocol.
robustness testing tcp protocol formal testing iolts