# NAME

ncStateByRs4Incomplete - Verifying State Machine: Rs vs. INCOMPLETE

# TARGET

      Router Only

# SYNOPSIS

      ncStateByRs4Incomplete.seq [-tooloption ...] -p ncStateByRs4Incomplete.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

ncStateByRs4Incomplete verifies that state transition for a NUT in INCOMPLETE state when receiving a RS.

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

      State: INCOMPLETE (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.

# SEE ALSO

      perldoc V6evalTool
      perldoc V6evalRemote