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


SEE ALSO

  perldoc V6evalTool
  perldoc V6evalRemote