원문정보
초록
영어
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.
목차
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