@inproceedings{ad6bce1817594d0a8b654960ca3b2f7b,
title = "Passive testing on performance requirements of network protocols",
abstract = "Performance testing of communicating protocols is a qualitative and quantitative evaluation of a system, aiming to check whether the performance requirements have been satisfied under certain conditions. It raises an interesting issue: how to formalize the specified detailed performance requirements by taking consideration of data values of the messages. The passive testing techniques are approaches that can be applied when the controllability of the system interfaces is unavailable or when the implementation under test cannot be stimulated in runtime. In this paper, we present a novel logic-based passive testing approach in specifying time related protocol properties to be tested on real execution traces. Based on a new algorithm, a prototype is developed and experienced. In order to evaluate and assess our approach, we present experiments through a set of IMS/SIP properties and real execution traces. Finally, relevant verdicts and discussions are provided.",
keywords = "Formal Method, Passive Testing, Performance requirements, Session Initiation Protocol",
author = "Xiaoping Che and Stephane Maag",
year = "2013",
month = jan,
day = "1",
doi = "10.1109/WAINA.2013.12",
language = "English",
isbn = "9780769549521",
series = "Proceedings - 27th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2013",
publisher = "IEEE Computer Society",
pages = "1439--1444",
booktitle = "Proceedings - 27th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2013",
note = "27th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2013 ; Conference date: 25-03-2013 Through 28-03-2013",
}