Home // AICT 2011, The Seventh Advanced International Conference on Telecommunications // View article

An Invariant based Passive Testing approach for Protocol Data parts

Authors:
Felipe Lalanne
Stephane Maag

Keywords: monitoring; invariant-based testing; data constraints; logic programming; network management

Abstract:
Conformance of implementations to protocol specifications is essential to assure interoperability between peers in network communications. Monitoring or passive testing techniques are used when no access to the communication interfaces is available or when the normal operation of the system cannot be interrupted. Most monitoring techniques only consider control portion of exchanged messages, usually ignoring the data part. However, as protocols become more complex and message exchange more data intensive, testing for data relations and constraints between exchanged messages becomes essential. In this paper we propose a novel approach for defining such relations as properties called invariants and show how they can be tested directly on traces using logic programming. Experimental results for SIP protocol traces are provided.

Pages: 94 to 101

Copyright: Copyright (c) IARIA, 2011

Publication date: March 20, 2011

Published in: conference

ISSN: 2308-4030

ISBN: 978-1-61208-123-6

Location: St. Maarten, The Netherlands Antilles

Dates: from March 20, 2011 to March 25, 2011