NAME

RA_gt2lt2 - Prefix Lifetime less than 2 hours and the Remaining Lifetime is greater than 2 hours


TARGET

Host only


SYNOPSIS

RA_gt2lt2.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.
 Common Test Setup 1.1


TEST PROCEDURE

Verify that a host properly updates its Address List upon recept of Prefix Information Options.

Test for Unicast address autoconfiguration

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

Test for host only

   When NUT receives RA which contains Global Prefix and 3hours as VLT value,
   NUT assignes autoconfigured address. Later NUT receives different RA which 
   contains same prefix and 10second as VLT value before first VLT 
   exires.
   At this point, NUT resets its VLT, and the assinged address MUST expire 
   3600sec VLT later.

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_VP10800
        (1st RA VLT=longVLT)
  <=== 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
  <=== Judgement #4: SOL NA =======
        name: 
              NA_from_NUT_GA0Tgt, 
              NA_from_NUT_GA0Tgt_woTLL, 
              NA_from_GA0NUT_GA0Tgt, 
              NA_from_GA0NUT_GA0Tgt_woTLL
  ==== Action #3: RA =============>
        name: RA_GA0_VP10
        (2nd RA  VLT=shortVLT)
  X<== Judgement #5: DAD NS =======
        name: DADNS_from_NUT_GA0Tgt,DADNS_any, DADNS_any_wSLL
  Check if NUT's address is configured
  ==== Action #4: SOL NS =========>
        name: SOLNS_from_TN_GA0Tgt
  <=== Judgement #6: SOL NA =======
        name: 
              NA_from_NUT_GA0Tgt, 
              NA_from_NUT_GA0Tgt_woTLL, 
              NA_from_GA0NUT_GA0Tgt, 
              NA_from_GA0NUT_GA0Tgt_woTLL
  Wait until (shortVLT)-2[sec] pasts since receiving 2nd RA
  Check if NUT's address is configured
  ==== Action #5: SOL NS =========>
        name: SOLNS_from_TN_GA0Tgt
  <=== Judgement #7: SOL NA =======
        name: 
              NA_from_NUT_GA0Tgt, 
              NA_from_NUT_GA0Tgt_woTLL, 
              NA_from_GA0NUT_GA0Tgt, 
              NA_from_GA0NUT_GA0Tgt_woTLL
  Wait until (shortVLT)+2[sec] pasts since receiving 2nd RA
  Check if NUT's address is configured
  ==== Action #6: SOL NS =========>
        name: SOLNS_from_TN_GA0Tgt
  X<=== Judgement #8: DAD NA =======
        name: 
              NA_from_NUT_GA0Tgt, 
              NA_from_NUT_GA0Tgt_woTLL, 
              NA_from_GA0NUT_GA0Tgt, 
              NA_from_GA0NUT_GA0Tgt_woTLL
  Wait until 2hours-15[sec] pasts since receiving 1st RA
  Check if NUT's address is configured
  ==== Action #7: SOL NS =========>
        name: SOLNS_from_TN_GA0Tgt
  <=== Judgement #9: DAD NA =======
        name: 
              NA_from_NUT_GA0Tgt, 
              NA_from_NUT_GA0Tgt_woTLL, 
              NA_from_GA0NUT_GA0Tgt, 
              NA_from_GA0NUT_GA0Tgt_woTLL
  Wait until 2hours+15[sec] pasts since receiving 1st RA
  Check if NUT's address is configured
  ==== Action #8: SOL NS =========>
        name: SOLNS_from_TN_GA0Tgt
  X<=== Judgement #10: DAD 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 host only

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_VP10800
        src: TN's Link-local
        dst: allnode
        PXOPT: Global0
                VLT=10800
                PLT=10800
   Judgement #3. NUT MUST 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 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)
   Action #3. TN transmits RA which contains Global Prefix.
        name: RA_GA0_VP10
        src: TN's Link-local
        dst: allnode
        PXOPT: Global0
                VLT=10
                PLT=10
   Judgement #5. 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,DADNS_any, DADNS_any_wSLL
        src: ::0
        dst: solnode[NUT's tentative Global0]
        TargetAddress: NUT's tentative Global0
   Action #4. 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 #6. NUT MUST 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)
   Action #5. 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 #7. NUT MUST 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)
   Action #6. 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 #8. 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)
   Action #7. 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 #9. NUT MUST  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)
   Action #8. 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 #10. 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)


CLEANUP

NONE


REFERENCE

RFC 4862 - IPv6 Stateless Address Autoconfiguration


SEE ALSO

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