论文信息 - A GSM-MAP Protocol Experiment Using Passive Testing

A GSM-MAP Protocol Experiment Using Passive Testing

Passive testing is the process of collecting traces of the 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 specification. The specification has in general the form of a finite state machine (FSM). In this paper, we present an extension of the existing algorithms to consider the specification as an extended finite state machine (EFSM). An algorithm is also introduced to take into account the number of states and transitions covered. In this paper we also present the results of our experiments on a signalling protocol that is a component of the European digital cellular radiocom-munication system GSM, the GSM-MAP.

Ana R. Cavalli | Melania Ionescu | Marine Tabourier

[1] Ana Cavalli,et al. A Pragmatic Approach to Generating Test Sequences for Embedded Systems , 1997 .

[2] David Lee,et al. Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[3] Charles L. Seitz,et al. AN APPROACH TO DESIGNING CHECKING EXPERIMENTS BASED ON A DYNAMIC MODEL , 1971 .

[4] Itu-T. Specification and Description Language (SDL) , 1999 .

[5] David Lee,et al. Passive testing and applications to network management , 1997, Proceedings 1997 International Conference on Network Protocols.

[6] Gregor von Bochmann,et al. Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines , 1992, Protocol Test Systems.