Network protocol interoperability testing based on contextual signatures and passive testing

Authors:
Fatiha Zaidi;Emmanuel Bayse;Ana Cavalli
Affiliations:
Univ. Paris-Sud, LRI, Orsay, and CNRS, Orsay;Stéria Télécom, Issy-les-Moulineaux;Telecom Sud-Paris -CNRS, Evry Cedex
Venue:
Proceedings of the 2009 ACM symposium on Applied Computing
Year:
2009

Citing 9
Cited 4

A COS study of OSI interoperability

Computer Standards & Interfaces
A fast string searching algorithm

Communications of the ACM
Interoperability Test Suite Derivation for Symmetric Communication Protocols

FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
Interoperability Testing: Basis for the Acceptance of Communication Systems

Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Conformance Testing of Multiprotocol IUTs

Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Automated Generation of Interoperability Tests

TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
Integrated System Interoperability Testing with Applications to VOIP

FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
A passive testing approach based on invariants: application to the WAP

Computer Networks and ISDN Systems
Test generation for interworking systems

Computer Communications

One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches

ACM Computing Surveys (CSUR)
Automatically complementing protocol specifications from network traces

EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Passive conformance testing of service choreographies

Proceedings of the 27th Annual ACM Symposium on Applied Computing
Adaptive non-critical alarm reduction using hash-based contextual signatures in intrusion detection

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a framework to add information on the states, the values of parameters, as well as logical connectors that increases the expressive power of invariants. This allows expressing horizontal and vertical interoperability properties, i.e., between layers of a protocol stack or end-to-end communication between distant entities. In order to test interoperability, we have defined a correlation algorithm between the events collected from different network views (client or network side). Once the correlation has been performed, we apply the contextual signatures that characterize interoperability properties to check their validity. To illustrate the application of the proposed approach, a real case study is proposed: the Wireless Application (WAP) protocol. The results of the experimentation performed on this protocol are also presented.