English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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.

An Evolving-Graph-Based Finite State Machine Model for Protocol Conformance Testing in MANETs