NAME

RA_GA_Success - Address Lifetime Expiry

TARGET

Host only

SYNOPSIS

RA_GA_Success.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

Verify that a host can properly handle expired or invalid addresses.

Test for Unicast address configuration

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

Test for host only

   When NUT receives RA which contains Global Prefix, NUT assignes 
   autoconfigured address. NUT MAY perform DAD for its Global address prior 
   to assigning it.
   Because received Prefix has Valid Life Time(VLT), the Global address
   MUST expire when VLT expired.

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

  <=== 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: Solicited NA =======
        name: 
              NA_from_NUT_GA0Tgt, 
              NA_from_NUT_GA0Tgt_woTLL, 
              NA_from_GA0NUT_GA0Tgt, 
              NA_from_GA0NUT_GA0Tgt_woTLL

  Wait until 5[sec] before expiration of VLT

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

  <=== Judgement #5: Solicited NA =======
        name: 
              NA_from_NUT_GA0Tgt, 
              NA_from_NUT_GA0Tgt_woTLL, 
              NA_from_GA0NUT_GA0Tgt, 
              NA_from_GA0NUT_GA0Tgt_woTLL

  Wait until 5[sec] after expiration of VLT

  ==== Action #4: SOL NS =========>
        name: SOLNS_from_TN_GA0Tgt

 X <== Judgement #6: Solicited NA =======
        name: 
              NA_from_NUT_GA0Tgt, 
              NA_from_NUT_GA0Tgt_woTLL, 
              NA_from_GA0NUT_GA0Tgt, 
              NA_from_GA0NUT_GA0Tgt_woTLL

JUDGEMENT

Test for Global 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
        src: TN's Link-local
        dst: allnode
        PXOPT: Global0

   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 Solicited 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 Link-local[or NUT's Global0]
        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 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 Solicited 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: TN's Link-local
        dst: NUT's Link-local[or NUT's Global0]
        TargetAddress: NUT's Global0
        RFlag: 0
        SFlag: 1
        OFlag: 1
        TLLOPT: NUT's MAC address
        (* TLLOPT may be omitted)

   Action #4. TN transmits SOL NS to check if NUT's address is configured.
              (5 [sec] after expiration)
        name: SOLNS_from_TN_GA0Tgt
        src: TN's Link-local
        dst: solnode[NUT's Global0]
        TargetAddress: NUT's Global0

   Judgement #6. 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 Link-local[or NUT's Global0]
        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