Loading [a11y]/accessibility-menu.js
A Statistical Approach to Model-Based Robustness Testing | IEEE Conference Publication | IEEE Xplore

A Statistical Approach to Model-Based Robustness Testing


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...Show More

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.
Date of Conference: 26-29 March 2007
Date Added to IEEE Xplore: 10 April 2007
Print ISBN:0-7695-2772-8
Conference Location: Tucson, AZ, USA

Contact IEEE to Subscribe

References

References is not available for this document.