NAME

ADDRCONF Success when NUT received Valid RA (Site-local address)

TARGET

Host

SYNOPSIS

ADDRCONFSuccess.seq -pkt SLOCAL0_valRA.def addrconf=ra init=DADSuccess_boot

 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)

  Send Unsolicited RA to configure address of NUT (sequence parameter addrconf=ra)
  ==== Action #1: Unsolicited RA ===>
        name: usolra

  TN wait the DAD NS sends from NUT. (This judgement is informational only.)
  <=== Judgement #1: DAD NS ====
        name: dadns_from_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's address is configured.
  <=== Judgement #2: DAD NA come====
        name: chkconf_dadna_from_NUT (or chkconf_dadna_from_NUT_rf1 if NUT is a Router)

JUDGEMENT

   Action #1. Send Unsolicited RA to configure address of NUT
        name: usolra
        src: TN's Link-local address
        dst: allnodes multicast
        SLL option exists
        Prefix option
              PrefixLength: _SLOCAL0_UCAST_PRFXLEN (64)
              LFlag: 1
              AFlag: 1
              ValidLifetime: 10000
              PreferredLifetime: 10000
              Prefix: _SLOCAL0_UCAST_PRFX

   Judgement #1. DAD NS should come from NUT on Global address autoconfiguration.
                (This judgement is informational only.)
        name: dadns_from_NUT
        src: ::0
        dst: solnode[NUT's tentative _SLOCAL0_UCAST_PRFX + interface-id]
        TargetAddress: NUT's tentative _SLOCAL0_UCAST_PRFX + interface-id

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

   Judgement #2. DAD NA come from NUT because NUT's address is configured.
        name: chkconf_dadna_from_NUT (or chkconf_dadna_from_NUT_rf1 if NUT is a Router)
        src: NUT's Link-local address or _SLOCAL0_UCAST_PRFX + interface-id
        dst: allnodes multicast
        TargetAddress: NUT's _SLOCAL0_UCAST_PRFX + interface-id
        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.