@inproceedings{b9682f93f6734fffb5f8a858c3be76a7,
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.",
keywords = "Distributed Framework, Formal Methods, Performance Testing",
author = "Xiaoping Che and Stephane Maag",
year = "2013",
month = jan,
day = "1",
doi = "10.1007/978-3-642-54092-9\_8",
language = "English",
isbn = "9783642540912",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "110--125",
booktitle = "Evaluation of Novel Approaches to Software Engineering - 8th International Conference, ENASE 2013, Revised Selected Papers",
note = "8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013 ; Conference date: 04-07-2013 Through 06-07-2013",
}