NAME

ncStateByRs4Nonce - Verifying State Machine: RS vs. NONCE

TARGET

 Router Only

SYNOPSIS

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

INITIALIZATION

  Clear NC state for TN.

TEST PROCEDURE

ncStateByRs4Nonce verifies that state transition for a NUT in NONCE state when receiving a NS.

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


  State: NONCE (for TN)


  ==== RS ===>


  Judgment: Examining NUT's neighbor cache state

JUDGMENT

  ===============================+==========+=========+=================
  NS                             |New State |LLA       Comments
  ---------+-----------+---------+          |
  Source IP|Destination|SLLA     |          |
           |IP         |         |          |
  =========+===========+=========+==========+=========+=================
  TN's      all-router  none      NONCE or   unchanged not mentioned
  link                            INCOMPLETE           by RFC2461
  ---------+-----------+---------+----------+---------+-----------------
  TN's      all-router  exist     STALE      updated
  link
  =========+===========+=========+==========+=========+=================

TERMINATION

N/A

NOTE

TBD

REFERENCE

6.2.6.  Processing Router Solicitations


   Router Solicitations in which the Source Address is the unspecified
   address MUST NOT update the router's Neighbor Cache; solicitations
   with a proper source address update the Neighbor Cache as follows. If
   the router already has a Neighbor Cache entry for the solicitation's
   sender, the solicitation contains a Source Link-Layer Address option,
   and the received link-layer address differs from that already in the
   cache, the link-layer address SHOULD be updated in the appropriate
   Neighbor Cache entry, and its reachability state MUST also be set to
   STALE.  If there is no existing Neighbor Cache entry for the
   solicitation's sender, the router creates one, installs the link-
   layer address and sets its reachability state to STALE as specified
   in Section 7.3.3.  Whether or not a Source Link-Layer Address option
   is provided, if a Neighbor Cache entry for the solicitation's sender
   exists (or is created) the entry's IsRouter flag MUST be set to
   FALSE.