Paper Info
Title
A Formal Passive Performance Testing Approach for Distributed Communication Systems.
Abstract
Conformance testing of communicating protocols is a functional test which verifies whether the behaviors of the protocol satisfy defined requirements, while the performance testing of communicating protocols is a qualitative and quantitative test, aiming at checking whether the performance requirements of the protocol have been satisfied under certain conditions. It raises the interesting issue of converging these two kinds of tests by using the same formal approach. In this paper, we present a novel logic-based approach to test the protocol performance through real execution traces and formally specified properties. In order to evaluate and assess our methodology, we have developed a prototype and present experiments with a set of IMS/SIP properties. Finally, the relevant verdicts and discussions are provided.
Year
DOI
Venue
2013
10.5220/0004444000740084
ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING
Keywords
DocType
Citations 
Performance Testing,Distributed Framework,Formal Methods
Conference
4
PageRank 
References 
Authors
0.47
8
2
Name
Order
Citations
PageRank
Xiaoping Che15914.48
Stephane Maag222927.21