NAME

RA_wHL254 - check the process when NUT receives invalid RA(Hoplimit=254) which contains one global prefix. (NOT Assigning Global address)

TARGET

All Node

SYNOPSIS

RA_wHL254.seq [-tooloption ...] -pkt <packetdef> [addrconf=<addrconfname>]

  -tooloption   : v6eval tool option
  <packetdef>   : packet definition file (v6eval tool option)
  <addrconfname>: how to configure address on NUT; boot/reboot

 detail of v6eval tool option: see perldoc V6evalTool.pm, perldoc V6evalRemote.pm

INITIALIZATION

 Reboot NUT or Initialize interface of NUT or Initialize IPv6 stack of NUT.

TEST PROCEDURE

Test for Unicast address autoconfiguration

The following tests are prepared in this test package. See INDEX file.

Test for all node

   When NUT receives invalid RA which contains Global Prefix but Hoplimit 
   of the RA is 254, NUT MUST NOT assign autoconfigured address.

Test sequence

  TN                            NUT
  ---------------------------------
  Initialize NUT

  Configure address of NUT (reboot or interface initialization etc...)

  TN wait the DAD NS sent from NUT
  <=== Judgement #1: DAD NS =======
        name: DADNS_from_NUT

  <=== Judgement #2: RS ===========
        name: RS_from_NUT, RS_from_NUT_wSLL

  ==== Action #1: RA =============>
        name: RA_GA0_HL254

  X<== Judgement #3: DAD NS =======
        name: DADNS_from_NUT_GA0Tgt

  Wait for 5+DupAddrDetectTransmits*(RetransTimer/1000)[sec]

  Check if NUT's address is configured
  ==== Action #2: SOL NS =========>
        name: SOLNS_from_TN_GA0Tgt

  X<== Judgement #4: SOL NA =======
        name: 
              NA_from_NUT_GA0Tgt, 
              NA_from_NUT_GA0Tgt_woTLL, 
              NA_from_GA0NUT_GA0Tgt, 
              NA_from_GA0NUT_GA0Tgt_woTLL

JUDGEMENT

Test for Unicast address autoconfiguration

Test for all NODE

NUT performs Stateless Address Autoconfiguration(Global) on its interface

   Judgement #1. NUT MUST transmit DAD NS for its autoconfigured Link-local address.
        name: DADNS_from_NUT
        src: ::0
        dst: solnode[NUT's tentative Link-local]
        TargetAddress: NUT's tentative Link-local

   Judgement #2. NUT SHOULD transmit RS.
        name: RS_from_NUT
        src: NUT's Link-local
        dst: allrouter

   Action #1. TN transmits RA which contains Global Prefix.
        name: RA_GA0_AF0
        src: TN's Link-local
        dst: allnode
        Hoplimit:254
        PXOPT: Global0

   Judgement #3. NUT MUST NOT transmit DAD NS for its autoconfigured Global address.
                 (* If the address is consisits of EUI64, as same as Link-local
                 address, This DAD MAY be omitted.)
        name: DADNS_from_NUT_GA0Tgt
        src: ::0
        dst: solnode[NUT's tentative Global0]
        TargetAddress: NUT's tentative Global0

   Action #2. TN transmits SOL NS to check if NUT's address is configured.
        name: SOLNS_from_TN_GA0Tgt
        src: TN's Link-local
        dst: solnode[NUT's Global0]
        TargetAddress: NUT's Global0

   Judgement #4. NUT MUST NOT transmit DAD NA for its autoconfigured  Global address.
        name: 
              NA_from_NUT_GA0Tgt, 
              NA_from_NUT_GA0Tgt_woTLL, 
              NA_from_GA0NUT_GA0Tgt, 
              NA_from_GA0NUT_GA0Tgt_woTLL
        src: NUT's any Unicast Address
        dst: TN's Link-local
        TargetAddress: NUT's Global0
        RFlag: 0
        SFlag: 1
        OFlag: 1
        TLLOPT: NUT's MAC address
        (* TLLOPT may be omitted)

REFERENCE

RFC2462

   (omit)


5.5.3.  Router Advertisement Processing



   On receipt of a valid Router Advertisement (as defined in
   [DISCOVERY]), a host copies the value of the advertisement's M bit
   into ManagedFlag. If the value of ManagedFlag changes from FALSE to
   TRUE, and the host is not already running the stateful address
   autoconfiguration protocol, the host should invoke the stateful
   address autoconfiguration protocol, requesting both address
   information and other information.  If the value of the ManagedFlag
   changes from TRUE to FALSE, the host should continue running the
   stateful address autoconfiguration, i.e., the change in the value of
   the ManagedFlag has no effect.  If the value of the flag stays
   unchanged, no special action takes place. In particular, a host MUST
   NOT reinvoke stateful address configuration if it is already
   participating in the stateful protocol as a result of an earlier
   advertisement.


   (omit)

RFC2461

   (omit)


6.1.2.  Validation of Router Advertisement Messages


   A node MUST silently discard any received Router Advertisement
   messages that do not satisfy all of the following validity checks:


      - IP Source Address is a link-local address.  Routers must use
        their link-local address as the source for Router Advertisement
        and Redirect messages so that hosts can uniquely identify
        routers.



      - The IP Hop Limit field has a value of 255, i.e., the packet
        could not possibly have been forwarded by a router.


      - If the message includes an IP Authentication Header, the message
        authenticates correctly.


      - ICMP Checksum is valid.


      - ICMP Code is 0.


      - ICMP length (derived from the IP length) is 16 or more octets.


      - All included options have a length that is greater than zero.


   (omit)