NAME

ncStateByRa4Incomplete - Verifying State Machine: RA vs. INCOMPLETE


TARGET

Host only


SYNOPSIS

  ncStateByRa4Incomplete.seq [-tooloption ...] -p ncStateByRa4Incomplete.def


INITIALIZATION

Set the state of neighbor cache entry to INCOMPLETE.

  TN               NUT
  ----------------------

  State: NONCE (for TN)

  ==== echo-request ===>
        src=TN's link-local
        dst=NUT's link-local

  State: INCOMPLETE (for TN)


TEST PROCEDURE

ncStateByRa4Incomplete verifies that state transition for NUT in INCOMPLETE state when receiving a RA.

  TN               NUT
  ----------------------

State: INCOMPLETE (for TN)
==== RA ===> src=TN's link dst=all-node RouterLifetime=600 ReachableTime=0 RetransTimer=0 M=0, O=0 w/o or w/ TLLA
Judgment: Examining NUT's neighbor cache state


JUDGMENT


6.3.4. Processing Received Router Advertisements
After extracting information from the fixed part of the Router Advertisement message, the advertisement is scanned for valid options. If the advertisement contains a Source Link-Layer Address option the link-layer address SHOULD be recorded in the Neighbor Cache entry for the router (creating an entry if necessary) and the IsRouter flag in the Neighbor Cache entry MUST be set to TRUE. If no Source Link-Layer Address is included, but a corresponding Neighbor Cache entry exists, its IsRouter flag MUST be set to TRUE. The IsRouter flag is used by Neighbor Unreachability Detection to determine when a router changes to being a host (i.e., no longer capable of forwarding packets). If a Neighbor Cache entry is created for the router its reachability state MUST be set to STALE as specified in Section 7.3.3. If a cache entry already exists and is updated with a different link-layer address the reachability state MUST also be set to STALE.
====================+====================================+=============== RA | Neighbor Cache | Comment ------------+-------+------------+-----------+-----------+--------------- Destination | TLLA | Current | New | LLA | ============+=======+============+===========+===========+=============== all-node | none | INCOMPLETE | unchanged | unchanged | Not mentioned | | | | | in RFC2461 ------------+-------+------------+-----------+-----------+--------------- all-node | exist | INCOMPLETE | STALE | updated | ============+=======+============+===========+===========+===============


TERMINATION

  N/A


NOTE

  The test does not invoke any remote command.


SEE ALSO

  perldoc V6evalTool
  perldoc V6evalRemote