# NAME

routerRecvRsInvalid - Verifying invalid RS does not influence NCE.

# TARGET

Router Only

# SYNOPSIS

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

# INITIALIZATION

      Clear NC state for TN.

# TEST PROCEDURE

routerRecvRsInvalid verifies that NUT does not create NCE even if receive an invalid RS.

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

      State: NONCE (for TN)

      ==== invalid NS ===>

      Judgment: Examining NUT's neighbor state

# JUDGMENT

      ==================+=====================================
      RS                | NCE state
                        +------------------+------------------
                        | Before           | After
                        | receiving the RS | receiving the RS
      ==================+==================+==================
      RS w/ SLL         | NONCE            | NONCE
      hop *limit!=255   |
      ------------------+------------------+------------------
      RS w/ SLL         | NONCE            | NONCE
      *invalid checksum |
      ------------------+------------------+------------------
      RS w/ SLL         | NONCE            | NONCE
      *icmp code!=0     |
      ==================+==================+==================

# TERMINATION

      N/A

# NOTE

      N/A

# SEE ALSO

      perldoc V6evalTool
      perldoc V6evalRemote