Earticle

초록

영어

Dynamic network topology is one of the inherent features of Mobile Ad hoc Network (MANET). However, it may lead to unfeasible test sequences in the FSM-based active conformance testing, due to the topological distinction between testing sequences generation and its execution. In this paper, a formal model, named Evolving-Graph- based Finite State Machine (EGFSM), is proposed to help alleviate the impact of the dynamic network on conformance testing in MANETs. The evolving graph theory is first introduced to extend the Finite State Machine model to describe the dynamic behavior of the protocol with time-varying network topology. In the testing scenario with a predictable node movement pattern, test sequences adaptable to the dynamic topological changescan be generated on the basis of the EGFSM for the protocol under testing. A case study based on the AODV routing protocol is conducted, and promising experimental results show that it is a feasible way to test the protocols in MANETs using an EGFSM.

목차

Abstract
 1. Introduction
 2. Related Work
 3. FSM-Based Protocol Testing in MANETs
  3.2 FSM-Based Testing Model for AODV
 4. EGFSM Model
  4.1. Evolving Graph Theory
  4.2. Evolution of a FSM
  4.3. The EGFSM Model
  4.4. EGFSM-Based Test Sequence Generation
 5. A Case Study
 6. Conclusion
 Acknowledgments
 References

키워드

저자

• Ting Shu [ School of Information Science and Technology, Zhejiang SCI-Tech University, Hangzhou 310018, China ]
• Mangmang Gu [ School of Information Science and Technology, Zhejiang SCI-Tech University, Hangzhou 310018, China ]
• Jinsong Xia [ School of Information Science and Technology, Zhejiang SCI-Tech University, Hangzhou 310018, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Multimedia and Ubiquitous Engineering

• 간기

  월간

• pISSN

  1975-0080

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605