Fault Injection Experiments Using FIAT
IEEE Transactions on Computers
Test Generation with Inputs, Outputs, and Quiescence
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
A Formal Approach to Robustness Testing of Network Protocol
NPC '08 Proceedings of the IFIP International Conference on Network and Parallel Computing
Robustness testing of composed real-time systems
Journal of Computational Methods in Sciences and Engineering - Special Supplement Issue in Section A and B: Selected Papers from the ISCA International Conference on Software Engineering and Data Engineering, 2009
A systematic review of software robustness
Information and Software Technology
| Hi-index | 0.00 |
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.