Journal ArticleDOI
Passive testing and application to the GSM-MAP protocol
Marine Tabourier,Ana Cavalli +1 more
Reads0
Chats0
TLDR
An extension of the existing algorithms to consider an extended finite state machine as the specification is presented and an algorithm is also introduced to take into account the number of transitions covered.Abstract:
Passive testing is the process of collecting traces of messages exchanged between an operating implementation and its environment, in order to verify that these traces actually belong to the language accepted by the provided finite state machine specification. In this paper, we present an extension of the existing algorithms to consider an extended finite state machine as the specification. An algorithm is also introduced to take into account the number of transitions covered. These techniques are illustrated by the application to a real protocol, the GSM (global system for mobile communication)-MAP (mobile application part).read more
Citations
More filters
Journal ArticleDOI
A passive testing approach based on invariants: application to the WAP
TL;DR: A new methodology to perform passive testing based on invariants, which introduces a new notion of invariants to deal with more subtle properties, and presents algorithms to decide the correctness of the proposed invariants with respect to a given specification.
Journal ArticleDOI
New approaches for passive testing using an Extended Finite State Machine specification
TL;DR: Two new approaches for passive testing using an Extended Finite State Machine (EFSM) specification are presented that extract information from the specification and then work on the trace and take a different direction than the previous methods.
Book
Formal Techniques for Networked and Distributed Systems - FORTE 2004
TL;DR: Formal Verification of a Practical Lock-Free Queue Algorithm for Web Applications Modeled by Communicating Automata and Conditions for Resolving Observability Problems in Distributed Testing.
Proceedings ArticleDOI
A formal approach for passive testing of protocol data portions
TL;DR: This work studies passive testing of data portions of network protocols and presents two algorithms, using an event-driven extended finite state machine model.
Journal ArticleDOI
Network protocol system monitoring: a formal approach with passive testing
TL;DR: After describing a formal model of event-driven extended finite state machines, two algorithms for passive testing of protocol system control and data portions are presented.
References
More filters
Book ChapterDOI
CADP - A Protocol Validation and Verification Toolbox
Proceedings ArticleDOI
Passive testing and applications to network management
TL;DR: This paper model the network as a finite state machine and develops procedures for passive testing including the required data structure, efficient implementations and the complexity of the procedures, and applies the techniques to management of a signaling network operating under the Signaling System 7 (SS7).
Journal ArticleDOI
A test sequence selection method for protocol testing
TL;DR: A method for automated selection of test sequences from a protocol specification given in Estelle for the purpose of testing both control and data flow aspects of a protocol implementation is discussed.
Journal ArticleDOI
Test development for communication protocols: towards automation
TL;DR: An introduction to methods and tools for testing communication protocols and distributed systems and the problem of testing based on models, in the form of finite state machines, extended FSMs, timed FSMs and communicating FSMs is presented.
Journal ArticleDOI
Trace analysis for conformance and arbitration testing
TL;DR: A testing approach where the concern for selecting the appropriate test input provided to the implementation under test (IUT) is separated as much as possible from the analysis of the observed output, in order to determine whether the observed input/output trace conforms to the IUT's specification.