NAME

DAD Success when NUT received Invalid NA (S flag == 1) on Stateless Link-local address autoconfiguration


TARGET

Host and Router


SYNOPSIS

DADSuccess_DADPostSendNS.seq -pkt LLOCAL_invalNA_sflag1.def addrconf=boot

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


INITIALIZATION

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


TEST PROCEDURE

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

  Configure Link-local address of NUT by rebooting (addrconf=boot, 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 Link-local address autoconfiguration.
        name: dadns_from_NUT
        src: ::0
        dst: solnode[NUT's tentative Link-local address]
        TargetAddress: NUT's tentative Link-local address

   Action #1. Send Invalid DAD NA to NUT to check if NUT ignore this.
        name: dadpkt_to_NUT
        ether src: different as NUT's MAC address
        src: NUT's tentative Link-local address
        dst: allnodes multicast
        TargetAddress: NUT's tentative Link-local address
        SFlag: 1 ( invalid, must be zero if DestinationAddress is a multicast)

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

   Judgement #2. DAD NA come from NUT because NUT does not detect address duplication.
        name: chkconf_dadna_from_NUT (or chkconf_dadna_from_NUT_rf1 if NUT is a Router)
        src: NUT's Link-local address
        dst: allnodes multicast
        TargetAddress: NUT's Link-local address
        OFlag: 1
        RFlag: 0 ( if NUT is a Router then 1)


SEE ALSO

 detail of v6eval tool option: see perldoc V6evalTool.pm, perldoc V6evalRemote.pm
 detail of parameters: see Test sequence for IPv6 Stateless Address Autoconfiguration.