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
Last month
0
checked on May 10, 2024

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.