TTCN-3 Based Conformance Testing of a Node Monitoring Protocol for MANETs

Authors: Mallikarjun B. Channappagoudar, Pallapa Venkataram

Abstract:

As a node monitoring protocol, which is a part of network management, operates in distributed manner, conformance testing of such protocols is more tedious than testing a peer-to-peer protocol. Various works carried out to give the methodology to do conformance testing of distributed protocol. In this paper, we have presented a formal approach for conformance testing of a Node Monitoring Protocol, which uses both static and mobile agents, for MANETs. First, we use SDL to obtain MSCs, which represent the scenario descriptions by sequence diagrams, which in turn generate test sequences and test cases. Later, Testing and Test Control Notation Version-3 (TTCN-3) is used to execute test cases with respect to generated test sequences to know the conformance of protocol against the given specification. This approach shows, the effective conformance testing of the distributed protocols for the network with varying node density and complex behavior. Experimental results for the protocol scenario represent the effectiveness of the method used.

Keywords: Conformance Testing, FSM, Mobile agent, TTCN, Test sequence.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1090840

References:

[1] C. Bohoris, G. Pavlou, and H. Cruickshank, "Using mobile agents for network performance management”, in Network Operations and Management Symposium, IEEE/IFIP,2000,pp. 637-652.
[2] H. H. To, S. Krishnaswamy, and B. Srinivasan, "Mobile agents for network management: when and when not!,”in Proceedings of the 2005 ACM symposium on Applied computing, SAC’05. New York, NY, USA: ACM,2005, pp. 47-53.
[3] S. Han and Y. Zhang, "Performance evaluation of mobile service design paradigm in ubiquitous computing environments,”in Proceedings of the 2009 Fourth International Conference on Frontier of Computer Science and Technology, ser. FCST ’09. Washington, DC, USA: IEEE Computer Society, 2009, pp. 89-95.
[4] M. Konaand C. Z. Xu, "A framework for network management using mobile agents,”in Proceedings of the 16th International Parallel all-optical networks, Network and Service and Distributed Processing Symposium, ser. IPDPS'02. Washington, DC, USA, IEEE Computer Society,2002, pp. 7-14.
[5] D. Gavalas, G. E. Tsekouras, and C. Anagnostopoulos, "A mobile agent platform for distributed network and systems management,” J. Syst. Softw., vol. 82, no. 2, Feb. 2009, pp. 355-371.
[6] D. Gavalas, D. Greenwood, M. Ghanbari, and M.O’Mahony, "Using mobile agents for distributed network performance management,”in 3rd International Workshop on Intelligent Agents for Telecommunication Applications, 1999.
[7] J. Grabowski, B. Koch, M. Schmitt, and D. Hogrefe. "SDL and MSC Based Test Generation for Distributed Test Architectures”,in SDL Forum SDL’99, June 1999.
[8] Collin willcock, Thomas Deib."An Introduction to TTCN-3”, Publisher, John wiley and sons ltd, 2005.
[9] ChannappagoudarMallikarjun B., VenkataramPallapa, "Mobile agent based node monitoring protocol for MANETs”, National Conference on Communications NCC, vol.no.1, pp.5, February 2013.
[10] A. Kerbrat, T J ́ron, and R Groz. "Automated test generation from sdl particulars”. In RachidaDssouli, Gregor von Bochmann, and YairLahav, editors, SDL-99 The Next Millennium, 9th International SDL Forum, pp. 135-152, June 1999.
[11] B. Koch, J. Grabowski."Autolink - A Tool for Automatic Test Generation from SDL Specifications”. In IEEE International Workshop on Industrial Strength Formal Specification Techniques, October 1998.
[12] R. L. Probert, H. Ural, and A. W. Williams. "Rapid generation of functional tests using mscs, sdl and ttcn”, Computer Communications, 24(3-4),2001, pp-374–393.
[13] M. MatashBorujerdi, S.M. Mirzababaei. "Formal Verification of a Multicast Protocol in Mobile Networks”. World Academy of Science, Engineering and Technology, Vol:11, 2007-11-27,2007.
[14] ITU-T. "Specification and Description Language (SDL)”, Recommendation Z.100, ITU-T, August 2002.
[15] ITU-T. "Message Sequence Chart (MSC)”, Recommendation Z.120, ITU-T, November 1999.
[16] ETSI. "Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3”; Part 1: TTCN-3 Core Language. ETSI Standard 201 873-1 v2.2.1, ETSI February 2003.
[17] Dai, Z., Grabowski J., Neukirchen, H "TIMED TTCN-3, A Real-Time Extension for TTCN – 3”. In Schieferdecker, I., König, H., Wolisz, A., eds.: Proceedings of the I F I P TC6/WG6.114th International Conference on Testing of Communicating Systems, (TestCom 2002),Berlin, Germany, The International Federation for Information Processing, IFIP, Kluwer Academic Publishers, 407-424, 2002.
[18] Rosziati Ibrahim, Noraini Ibrahim. "A Tool for Checking Conformance of UML Specification”. World Academy of Science, Engineering and Technology, Vol: 27, 2009-03-25, 2009.
[19] M. Ebner., ”TTCN-3 Test Case Generation from Message Sequence Charts,” in Workshop on Integrated-reliability with Telecommunications and UML Language (ISSRE04:WITUL), France, November 2004.
[20] FrancineNganiNoudem and cesarViho, "Modeling, Verifying and Testing Mobility Protocol from SDL Language”, LNCS 3530, pp. 198-209, 2005.
[21] A. D. Friedman and P. R. Menon, "Fault Detection in Digital Circuits”, Prentice-Hall 1971.
[22] Z. Kohavi, "Switching and Finite Automata Theory”, 2nd Ed. McGraw-Hill, 1978.
[23] A.V. Aho,J. E. Hopcroft,and J. D. Ullman, "The Design and Analysis of Computer Algorithms”,Addison-Wesley,1974.
[24] G. J. Holzmann, "Design and Validation of Protocols”, Prentice-Hall, 1990.
[25] Lee, D. Yannakakis,Mihalis,"Principles and methods of testing finite state machines-a survey,” Proceedings of the IEEE, vol.84, no.8, pp.1090, 1123, Aug 1996.
[26] F. C. Hennie, "Fault detecting experiments for sequentialcircuits”, Proc.5th Ann. Symp. SwitchingCircuit Theory and Logical Design, pp. 95-110, 1964.
[27] Z. Kohavi, "Switching and Finite Automata Theory”, 2nd Ed. McGraw-Hill, 1978.