Skip to main content
Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems2006, Article number 1607388, Pages 377-38613th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems, ECBS 2006; Potsdam; Germany; 27 March 2006 through 30 March 2006; Code 69731

A model-based statistical usage testing of communication protocols(Conference Paper)

  Save all to author list
  • University of Novi Sad, Faculty of Engineering, Department for Computers and Control, Trg D. Obradovica 6, 21000 Novi Sad

Abstract

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. © 2006 IEEE.

Author keywords

Generic modeling environmentOperational profileSoftware reliabilityStatistical usage testingTest bedTest case generatorTest casesTest harness

Indexed keywords

Engineering controlled terms:Electric generatorsJava programming languageLogic designMathematical modelsSoftware reliabilityStatistical methods
Engineering uncontrolled terms:Statistical usage testingTest case generators
Engineering main heading:Network protocols
  • ISBN: 0769525466;978-076952546-4
  • CODEN: 85RRA
  • Source Type: Conference Proceeding
  • Original language: English
  • DOI: 10.1109/ECBS.2006.11
  • Document Type: Conference Paper

  Popovic, M.; University of Novi Sad, Faculty of Engineering, Department for Computers and Control, Trg D. Obradovica 6, Serbia;
© Copyright 2008 Elsevier B.V., All rights reserved.

Cited by 5 documents

Takagi, T. , Furukawa, Z.
Construction technique of large operational profiles for statistical software testing
(2013) Studies in Computational Intelligence
Popovic, M. , Djukic, M. , Marinkovic, V.
On Task Tree Executor architectures based on intel parallel building blocks
(2013) Computer Science and Information Systems
Popovic, M. , Djukic, M. , Marinkovic, V.
A task tree executor architecture based on intel threading building blocks
(2012) Proceedings - 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012
View details of all 5 citations
Inform me when this document is cited in Scopus:
Set citation alert Set citation feed
{"topic":{"name":"Markov Chain; Software Reliability; Parallel Programming","id":42028,"uri":"Topic/42028","prominencePercentile":25.207165,"prominencePercentileString":"25.207","overallScholarlyOutput":0},"dig":"fb5c4e7a010da85ceb89f161ff79099371326bdcba5a9781704d1aba5ecaba3b"}

SciVal Topic Prominence

Topic:
Prominence percentile: