NAME

RA_SLA_Success - check the process when NUT receives RA which contains one Site-local Prefix.(Assigning and Expiring Site-local address)

TARGET

All Node

SYNOPSIS

RA_SLA_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

Test for Unicast address configuration

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

Test for all node

   When NUT receives RA which contains Site-local Prefix, NUT assignes 
   autoconfigured address. NUT MAY perform DAD for its Site-local address prior 
   to assigning it.
   Because received Prefix has Valid Life Time(VLT), the Site-local 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_SLA0Tgt

  Wait for DupAddrDetectTransmits*RetransTimer

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

  <=== Judgement #4: DAD NA =======
        name: DADNA_from_NUT_SLA0Tgt, DADNA_from_NUT_SLA0Tgt_woTLL

  Wait until 3[sec] before expiration of VLT

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

  <=== Judgement #5: DAD NA =======
        name: DADNA_from_NUT_SLA0Tgt, DADNA_from_NUT_SLA0Tgt_woTLL

  Wait until 3[sec] after expiration of VLT

  ==== Action #4: DAD NS =========>
        name: DADNS_from_TN_SLA0Tgt

 X <== Judgement #6: DAD NA =======
        name: DADNA_from_NUT_SLA0Tgt, DADNA_from_NUT_SLA0Tgt_woTLL

JUDGEMENT

Test for Site-local Unicast address autoconfiguration

Test for all NODE

NUT performs Stateless Address Autoconfiguration(Site-local) 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 Site-local Prefix.
        name: RA_SLA0
        src: TN's Link-local
        dst: allnode
        PXOPT: Site-local0

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

   Action #2. TN transmits DAD NS to check if NUT's address is configured.
        name: DADNS_from_TN_SLA0Tgt
        src: ::0
        dst: solnode[NUT's Site-local0]
        TargetAddress: NUT's Site-local0

   Judgement #4. NUT MUST transmit DAD NA for its autoconfigured Site-local address.
        name: DADNA_from_NUT_SLA0Tgt, DADNA_from_NUT_SLA0Tgt_woTLL
        src: NUT's Link-local
        dst: allnode
        TargetAddress: NUT's Site-local0
        RFlag: 0
        SFlag: 0
        OFlag: 1
        TLLOPT: NUT's MAC address
        (* TLLOPT may be omitted)

   Action #3. TN transmits DAD NS to check if NUT's address is configured.
              (3 [sec] before expiration)
        name: DADNS_from_TN_SLA0Tgt
        src: ::0
        dst: solnode[NUT's Site-local0]
        TargetAddress: NUT's Site-local0

   Judgement #5. NUT MUST transmit DAD NA for its autoconfigured Site-local address.
        name: DADNA_from_NUT_SLA0Tgt, DADNA_from_NUT_SLA0Tgt_woTLL
        src: NUT's Link-local
        dst: allnode
        TargetAddress: NUT's Site-local0
        RFlag: 0
        SFlag: 0
        OFlag: 1
        TLLOPT: NUT's MAC address
        (* TLLOPT may be omitted)

   Action #4. TN transmits DAD NS to check if NUT's address is configured.
              (3 [sec] after expiration)
        name: DADNS_from_TN_SLA0Tgt
        src: ::0
        dst: solnode[NUT's Site-local0]
        TargetAddress: NUT's Site-local0