A Formal Passive Performance Testing Approach for Distributed Communication Systems

Xiaoping Che, Stephane Maag

2013

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.

Paper Citation

in Harvard Style

Che X. and Maag S. (2013). A Formal Passive Performance Testing Approach for Distributed Communication Systems . In Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8565-62-4, pages 74-84. DOI: 10.5220/0004444000740084

in Bibtex Style

@conference{enase13,
author={Xiaoping Che and Stephane Maag},
title={A Formal Passive Performance Testing Approach for Distributed Communication Systems},
booktitle={Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2013},
pages={74-84},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004444000740084},
isbn={978-989-8565-62-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - A Formal Passive Performance Testing Approach for Distributed Communication Systems
SN - 978-989-8565-62-4
AU - Che X.
AU - Maag S.
PY - 2013
SP - 74
EP - 84
DO - 10.5220/0004444000740084