# NAME

LLA_DAD_NAPostDAD_SameTgt - check the process when NUT receives DAD NA with same Target address while DAD `process(after` transmitting DAD NS).

# TARGET

All Node

# SYNOPSIS

LLA_DAD_NAPostDAD_SameTgt.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 performs DAD for its Link-local unicast address made by stateless
         address autoconfiguration, NUT receives DAD NA which contains same target as
         NUT's tentative Link-local address after transimitting 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_SameTgt

        Wait for DupAddrDetectTransmits*RetransTimer

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

        X<== Judgement #2: SOL NA =======
              name: NA_from_NUT, NA_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 DAD NA which contains same target Address as NUT's tentative Link-local address.
              name: DADNA_from_TN_SameTgt
              src: NUT's Link-local
              dst: allnode
              TargetAddress: NUT's tentative Link-local
              RFlag: 0
              SFlag: 0
              OFlag: 1
              OLLOPT: TN's MAC address

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

         Judgement #2. NUT MUST transmit SOL NA for its autoconfigured  Link-local address.
              name: NA_from_NUT, NA_from_NUT_woTLL
              src: NUT's Link-local
              dst: TN's Link-local
              TargetAddress: NUT's Link-local
              RFlag: 0 ( if NUT is a Router then 1)
              SFlag: 1
              OFlag: 1
              TLLOPT: NUT's MAC address

# REFERENCE

    RFC2462

       (omit)

    5.4.4.  Receiving Neighbor Advertisement Messages

       On receipt of a valid Neighbor Advertisement message on an interface,
       node behavior depends on whether the target address is tentative or
       matches a unicast or anycast address assigned to the interface.  If
       the target address is assigned to the receiving interface, the

       solicitation is processed as described in [DISCOVERY]. If the target
       address is tentative, the tentative address is not unique.

       (omit)

# SEE ALSO

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