loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Xiaoping Che and Stephane Maag

Affiliation: Telecom SudParis, France

ISBN: 978-989-8565-62-4

Keyword(s): Performance Testing, Distributed Framework, Formal Methods.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.224.220.72

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.