TY - GEN
T1 - Passive testing on performance requirements of network protocols
AU - Che, Xiaoping
AU - Maag, Stephane
PY - 2013/8/19
Y1 - 2013/8/19
N2 - 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.
AB - 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.
KW - Formal Method
KW - Passive Testing
KW - Performance requirements
KW - Session Initiation Protocol
U2 - 10.1109/WAINA.2013.12
DO - 10.1109/WAINA.2013.12
M3 - Conference contribution
AN - SCOPUS:84881452334
SN - 9780769549521
T3 - Proceedings - 27th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2013
SP - 1439
EP - 1444
BT - Proceedings - 27th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2013
T2 - 27th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2013
Y2 - 25 March 2013 through 28 March 2013
ER -