NAME

hostRecvRaRLifetimeN_ume - Verifying that a host recognize RouterLifetime!=0

TARGET

Host only

SYNOPSIS

  hostRecvRaRLifetimeN_ume.seq [-tooloption ...] -p hostRecvRaRLifetimeN.def

INITIALIZATION

Create neighbor cache entries for TN
Set their state to REACHABLEs.
Give a global prefix, 3ffe:501:ffff:100::/64

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


  State: No neighbor cache entry for TN


  ==== unsolicited RA ===>
       src=TN's link-local
       dst=all-node
       M=0, O=0
       RouterLifetime=600
       ReachableTime=0
       RetransTimer=0
       w/ SLLA
       Prefix Option:
           L=1, A=1
           ValidLifetime=2592000
           PreferredLifetime=604800
           Prefix=3ffe:501:ffff:100::/64


  <=== Ns for DAD ====
       src=unspecified
       dst=solicited-node[NUT's global, prefix=3ffe:501:ffff:100::/64]
       target=NUT's global


  Wait (3 sec)


  ==== echo-request ===>
       src=TN's link-local
       dst=NUT's link-local


  <=== echo-reply ====
       src=NUT's link-local
       dst=TN's link-local


  ==== solicited NA ===>
       src=TN's link-local
       dst=NUT's link-local
       R=1, S=1, O=
       target=TN's link-loca
       TLLA=TN's LLA


  State: REACHABLE for TN

TEST PROCEDURE

hostRecvRaRLifetimeN verifies that

a host recognizes RouterLifetime.
a host updates the Default Router List if its entry is expires.
the Default Router List holds at the least two entries.

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


  State: REACHABLE for TN


  ==== echo-request ===>
       src=off-link global, but LLA is the W's one
       dst=NUT's global


  <=== Judgment #1: echo-reply ====
       src=NUT's global
       dst=off-link global


  ==== unsolicited RA ===>
       src=TN's link-local
       dst=all-node
       M=0, O=0
       RouterLifetime=5
       ReachableTime=0
       RetransTimer=0
       w/ SLLA


  Wait (7 sec)
      for the entry of the Default Router List to be expired.


  ==== echo-request ===>
       src=off-link global, but LLA is the W's one
       dst=NUT's global


  <=== Judgment #2: multicast NS (if any) ====
       src=NUT's link-local or global
       dst=solicited-node[off-link global]
       w/ SLLA

JUDGMENT

  1. NUT must throw an echo-reply to the default router

  1. NUT must not throw an echo-reply to any routers.
     NUT may throw multicast NS for onlink determination.

TERMINATION

  NONE

NOTE

  The test does not invoke any remote command.

REFERENCE

RFC2461

6.3.5.  Timing out Prefixes and Default Routers

   Whenever the invalidation timer expires for a Prefix List entry, that
   entry is discarded.  No existing Destination Cache entries need be
   updated, however.  Should a reachability problem arise with an
   existing Neighbor Cache entry, Neighbor Unreachability Detection will
   perform any needed recovery.

   Whenever the Lifetime of an entry in the Default Router List expires,
   that entry is discarded.  When removing a router from the Default
   Router list, the node MUST update the Destination Cache in such a way
   that all entries using the router perform next-hop determination
   again rather than continue sending traffic to the (deleted) router.