A GSM-MAP protocol experiment using passive testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1708, Issue , 1999, Pages 915-934

  Tabourier, Marine ^a   Cavalli, Ana ^a   Ionescu, Melania ^a  

^a INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC CIRCUITS; SIGNAL ENCODING; SPECIFICATIONS;

DIGITAL CELLULAR; EXTENDED FINITE STATE MACHINE; NUMBER OF STATE; PASSIVE TESTING; RADIOCOMMUNICATION SYSTEMS; SIGNALLING PROTOCOLS;

FORMAL METHODS;

EID: 84958048507     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_50     Document Type: Conference Paper

References (13)

1. R. Anido, A. Cavalli, T. Macavei, L. Paula Lima Jr, M. Clatin, and M. Phalippou. Testing a real protocol with the aid of verification techniques. In XXII SEMISH, Brazil, August 1996.
2. David Lee et al. Passive testing and applications to network management. In ICNP'97 International Conference on Network Protocols, Atlanta, Georgia, October 1997.
3. ETSI. Digital cellular telecommunication system (Phase 2+); Mobile Application Part (MAP) specification (GSM 09.02). ETSI, August 1996.
4. A. Ghedamsi, R. Dssouli, and G.v. Bochmann. Diagnostic tests for single transition faults in non-deterministic finite state machines. In IWPTS'92 International Workshop on Protocol Test Systems, September 1992.
5. Melania Ionescu and Ana Cavalli. Test imbriqu du protocole GSM-MAP. In CFIP'99, Colloque Francophone sur l'Ingnierie des protocoles, Nancy, France, April 1999.
6. ISO and ITU-T. Open distributed Processing - Reference Model - Part 2: Foundations. International Standard 10746-2/ITU-T Recommendation X.902. ITU-T, 1995.
7. ITU. Recommendation Z.100: Specification and Description Language (SDL). International Standard Z.100. ITU, Geneva, 1993.
8. ITU-T. Recommendation Z.120: Message Sequence Chart. International Standard Z.120. ITU-T, 1994.
9. L. Paula Lima and A. Cavalli. A pragmatic approach to generating test sequences for embedded systems. In Proceedings of the IFIP IWTCS'97, Cheju Island, Korea, September 1997.
10. S. Naito and M. Tsunoyama. Fault detection for sequential machines by transition tour. In Proc. IEEE Computer Conference, 1981.
11. B. Sarikaya and G. v. Bochmann. Obtaining normal form specifications for protocols. In Computer Network Usage: Recent Experiences. Elsevier Science Publishers, 1986.
12. Charles L. Seitz. An approach to designing checking experiments based on a dynamic model. In Z. Kohavi and A. Paz, editors, Theory of Machines and Computations. Academic Press, 1972.
13. Verilog. ObjectGEODE SDL Simulator - Reference manual, 1997.