A Statistical Approach to Model-Based Robustness Testing

Authors:
Miroslav Popovic;Jelena Kovacevic
Affiliations:
University of Novi Sad, Serbia;University of Novi Sad, Serbia
Venue:
ECBS '07 Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Year:
2007

Citing 0
Cited 3

Test case generation for the task tree type of architecture

Information and Software Technology
A systematic review of software robustness

Information and Software Technology
Software testing with an operational profile: OP definition

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recent massive research in the area of robustness testing of communication protocols have been driven by the fact that embedded systems are becoming more and more complex every day. Providing correct implementations of communication protocols is a key to successful interconnection of embedded system constituents. Test and verification is the last and the most critical phase in the production of the corresponding software artifacts. This paper contributes to the overall research effort in the area by proposing an original approach to model-based robustness testing of communication protocols. In the paper we introduce the notion of hidden FSM states and state transitions. We also show how to calculate the probabilities of detecting the existence of the hidden state transitions. Then we present our methodology of model-based robustness testing of communication protocols. The methodology is based on the special operational profiles, which are referred to as the stress operational profiles.