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