NAME

LLA_DAD_NAPostDAD_SF1 - check the process when NUT receives invalid DAD NA(SolicitedFlag==1) with same Target address after sending DAD NS.

TARGET

All Node

SYNOPSIS

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

   NUT assignes autoconfigured address, even though NUT receives invalid 
   (SolicitedFlag==1) DAD NA for same target address as NUT, while DAD process 
   (after transmitting DAD NS).

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

  ==== Action #1: DAD NA =========>
        name: DADNA_from_TN_SF1

  Wait for DupAddrDetectTransmits*RetransTimer

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

  <=== Judgement #2: DAD NA =======
        name: DADNA_from_NUT, DADNA_from_NUT_woTLL

JUDGEMENT

Test for Link-local Unicast address autoconfiguration

Test for all NODE

NUT performs Stateless Address Autoconfiguration(Link-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

   Action #1. TN transmits invalid DAD NA which contains 1 as SolicitedFlag.
        name: DADNA_from_TN_SF1
        src: TN's Link-local
        dst: allnode
        TargetAddress: NUT's Link-local
        RFlag: 0 
        SFlag: 1
        OFlag: 1
        TLLOPT: TN's MAC address

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