Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Passive testing and applications to network management
ICNP '97 Proceedings of the 1997 International Conference on Network Protocols (ICNP '97)
Assume-Guarantee Supervisor for Concurrent Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Assume-Guarantee Algorithms for Automatic Detection of Software Failures
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
New approach for EFSM-based passive testing of web services
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
| Hi-index | 0.00 |
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.