NAME

DAD Success when NUT received no packet on Manual Link-local address configuration

TARGET

Host and Router

SYNOPSIS

DADSuccess_DADPostSendNS.seq -pkt LLOCAL0A0N.def addrconf=manual+_LLOCAL0A0N_UCAST init=DADSuccess_boot send=none

 detail of parameters: see Test sequence for IPv6 Stateless Address Autoconfiguration.

INITIALIZATION

 init=DADSuccess_boot
 detail of Initialization: see Test sequence for IPv6 Stateless Address Autoconfiguration.

TEST PROCEDURE

  TN(or X)                   NUT
  ------------------------------
  Initialize NUT (see INITIALIZATION)

  Configure address of NUT (addrconf=manual+_LLOCAL0A0N_UCAST, see Addrconf phase)

  TN wait the DAD NS sends from NUT
  <=== Judgement #1: DAD NS ====
        name: dadns_from_NUT

  Immediately (within $RetransTimerSec [sec]) send strange DAD Packet to NUT to check if NUT ignore this.
  ==== Action #1: DAD NS ====>
        name: dadpkt_to_NUT

  Wait for NUT to finish DAD. (sleep $RetransTimerSec [sec])

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

  DAD NA come from NUT because NUT does not detect address duplication and address is configured.
  <=== Judgement #2: DAD NA ====
        name: chkconf_dadna_from_NUT (or chkconf_dadna_from_NUT_rf1 if NUT is a Router)

JUDGEMENT

   Judgement #1. DAD NS must come from NUT on Manual Link-local address configuration.
        name: dadns_from_NUT
        src: ::0
        dst: solnode[NUT's tentative _LLOCAL0A0N_UCAST_ADDR]
        TargetAddress: NUT's tentative _LLOCAL0A0N_UCAST_ADDR

   Action #1. Send No Packet to NUT (NUT does not detect address duplication).

   Action #2. Send DAD NS to check if NUT's address is configured
        name: chkconf_dadns_to_NUT
        src: ::0
        dst: solnode[NUT's _LLOCAL0A0N_UCAST_ADDR]
        TargetAddress: NUT's _LLOCAL0A0N_UCAST_ADDR