loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Jorge Lopez ; Xiaoping Che and Stephane Maag

Affiliation: Institut Mines-Telecom/Telecom SudParis CNRS UMR 5157, France

ISBN: 978-989-758-030-7

Keyword(s): Online Testing, Passive Testing, Formal Methods.

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

Abstract: Testing a protocol at runtime in an online way is a complex and challenging work. It requires the same preciseness in conformance testing and efficiency in performance testing, where conformance testing is a functional test which verifies whether the behaviors of the protocol satisfy defined requirements, and performance testing is a qualitative and quantitative test which checks whether the performance requirements of the protocol have been satisfied under certain conditions. As a matter of course, it raises an interesting issue of converging these two kinds of testing by using the same formal approach, and applying the approach online. In this paper, we present a novel logic-based online testing approach to test the protocol conformance and performance through formally specified properties. In order to evaluate and assess our methodology, we developed a prototype and experimented it with a set of Session Initiation Protocol properties in a real IP Multimedia Subsystem environment. F inally, the relevant verdicts and discussions are provided. (More)

PDF ImageFull Text

Download
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 18.232.53.231

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:
Lopez, J.; Che, X.; Che, X. and Maag, S. (2014). An Online Passive Testing Approach for Communication Protocols.In Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-030-7, pages 136-143. DOI: 10.5220/0004885501360143

@conference{enase14,
author={Jorge Lopez. and Xiaoping Che. and Xiaoping Che. and Stephane Maag.},
title={An Online Passive Testing Approach for Communication Protocols},
booktitle={Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2014},
pages={136-143},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004885501360143},
isbn={978-989-758-030-7},
}

TY - CONF

JO - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - An Online Passive Testing Approach for Communication Protocols
SN - 978-989-758-030-7
AU - Lopez, J.
AU - Che, X.
AU - Che, X.
AU - Maag, S.
PY - 2014
SP - 136
EP - 143
DO - 10.5220/0004885501360143

Login or register to post comments.

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