loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Jorge Lopez ; Xiaoping Che and Stephane Maag

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

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. Finally, the relevant verdicts and discussions are provided. (More)

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.216.190.167

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. 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 - ENASE; ISBN 978-989-758-030-7; ISSN 2184-4895, SciTePress, pages 136-143. DOI: 10.5220/0004885501360143

@conference{enase14,
author={Jorge Lopez. 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 - ENASE},
year={2014},
pages={136-143},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004885501360143},
isbn={978-989-758-030-7},
issn={2184-4895},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic