Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/10384
Title: | A statistical approach to model-based robustness testing | Authors: | Popovic M. Kovacevic J. |
Issue Date: | 18-Jun-2007 | Journal: | Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems | 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. © 2007 IEEE. | URI: | https://open.uns.ac.rs/handle/123456789/10384 | ISBN: | 0769527728 | DOI: | 10.1109/ECBS.2007.13 |
Appears in Collections: | Naučne i umetničke publikacije |
Show full item record
SCOPUSTM
Citations
8
checked on Sep 9, 2023
Page view(s)
4
Last Week
1
1
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.