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 creane 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
                    | receving 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