NAME

RA_wPXLEN96 - check the process when NUT receives RA which contains one global prefix(PXLEN=96)(NOT Assigning Global address)

TARGET

All Node

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 RA which contains Global Prefix but its PrefixLength is 96,
   NUT MUST NOT assign autoconfigured address on Ethernet.

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_PXLEN96

  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_PXLEN96
        src: TN's Link-local
        dst: allnode
        PXOPT: Global0
               PXLEN:96

   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 SOL 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

5.5.3.  Router Advertisement Processing 

   (omit)  


    d) If the prefix advertised does not match the prefix of an address
       already in the list, and the Valid Lifetime is not 0, form an
       address (and add it to the list) by combining the advertised
       prefix with the link's interface identifier as follows:


   |            128 - N bits               |       N bits           |
   +---------------------------------------+------------------------+
   |            link prefix                |  interface identifier  |
   +----------------------------------------------------------------+





       If the sum of the prefix length and interface identifier length
       does not equal 128 bits, the Prefix Information option MUST be
       ignored.  An implementation MAY wish to log a system management
       error in this case. It is the responsibility of the system
       administrator to insure that the lengths of prefixes contained in
       Router Advertisements are consistent with the length of interface
       identifiers for that link type. Note that interface identifiers
       will typically be 64-bits long and based on EUI-64 identifiers as
       described in [ADDR-ARCH].


       If an address is formed successfully, the host adds it to the
       list of addresses assigned to the interface, initializing its
       preferred and valid lifetime values from the Prefix Information
       option.


   (omit)