期刊名称：International Journal of Multimedia and Ubiquitous Engineering
印刷版ISSN：1975-0080
出版年度：2015
卷号：10
期号：10
页码：359-368
DOI：10.14257/ijmue.2015.10.10.35
出版社：SERSC
摘要：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.
