This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06)
A Model-Based Statistical Usage Testing of Communication Protocols
Postdam, Germany
March 27-March 30
ISBN: 0-7695-2546-6
ASCII Text
x 
 
Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic, "A Model-Based Statistical Usage Testing of Communication Protocols," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 377-386, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.2006.11,
author = {Miroslav Popovic and Ilija Basicevic and Ivan Velikic and Jelena Tatic},
title = {A Model-Based Statistical Usage Testing of Communication Protocols},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {2006},
isbn = {0-7695-2546-6},
pages = {377-386},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2006.11},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - A Model-Based Statistical Usage Testing of Communication Protocols
SN - 0-7695-2546-6
SP377
EP386
A1 - Miroslav Popovic,
A1 - Ilija Basicevic,
A1 - Ivan Velikic,
A1 - Jelena Tatic,
PY - 2006
KW - generic modeling environment
KW - statistical usage testing
KW - operational profile
KW - test cases
KW - software reliability
KW - test case generator
KW - test bed
KW - test harness.
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
Miroslav Popovic, University of Novi Sad, Serbia
Ilija Basicevic, University of Novi Sad, Serbia
Ivan Velikic, University of Novi Sad, Serbia
Jelena Tatic, University of Novi Sad, Serbia
In this paper we present our original approach to the model-based statistical usage testing of a class of communication protocol implementations that are based on the State design pattern and Java programming environment augmented with the class FSMSystem. The approach is based on the working environment that has been proven on a number of real-world projects. The working environment is created with the following set of tools: generic modeling environment with the operational profile model paradigm registered to it, operational profile model interpreter, generic test case generator, test case compiler, and the unit testing framework JUnit extended with the class TestBed that acts as both test driver and stub thus providing the complete test harness. In the paper we present the methodology of the model-based statistical usage testing of a class of communication protocol implementations, the tools that support this methodology, and the case study - the model based statistical usage testing of SIP INVITE client transaction, a part of the SIP protocol stack.
Index Terms:
generic modeling environment, statistical usage testing, operational profile, test cases, software reliability, test case generator, test bed, test harness.
Citation:
Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic, "A Model-Based Statistical Usage Testing of Communication Protocols," ecbs, pp.377-386, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.