Paper Info
Title
Testing Distributed Communication Protocols by Formal Performance Monitoring.
Abstract
Performance testing of communicating protocols is a qualitative and quantitative test of a system, aiming at verifying whether the performance requirements of the protocol have been satisfied under certain conditions. On the other hand, conformance testing of communicating protocols is a functional test which verifies whether the behaviours of the protocol satisfy defined requirements. It raises the interesting issue of how to accurately formalize the performance requirements and how to converge these two kinds of tests by using the same formal approach. In this paper, we present a novel logic-based approach to distributively test the conformance and performance of a protocol, through real execution traces and formally specified properties. In order to evaluate and assess our methodology, we have designed a distributed testing framework and developed a prototype for testing network protocols. Finally, the relevant verdicts of experiments with a set of IMS/SIP properties and discussions are provided.
Year
DOI
Venue
2013
10.1007/978-3-642-54092-9_8
Communications in Computer and Information Science
Keywords
Field
DocType
Performance Testing,Distributed Framework,Formal Methods
Performance monitoring,Computer science,Distributed testing,Real-time testing,Conformance testing,Formal methods,Distributed computing,Communications protocol
Conference
Volume
ISSN
Citations 
417
1865-0929
0
PageRank 
References 
Authors
0.34
16
2
Name
Order
Citations
PageRank
Xiaoping Che15914.48
Stephane Maag222927.21