loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Xiaoping Che and Stephane Maag

Affiliation: Telecom SudParis, France

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.

CC BY-NC-ND 4.0

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 3.238.5.144

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 - ENASE; ISBN 978-989-8565-62-4; ISSN 2184-4895, SciTePress, 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 - ENASE},
year={2013},
pages={74-84},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004444000740084},
isbn={978-989-8565-62-4},
issn={2184-4895},
}

TY - CONF

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