NAME

ADDRCONFFail - check if address is not configured

TARGET

Host and Router

SYNOPSIS

ADDRCONFFail.seq [-tooloption ...] -pkt <packetdef> [addrconf=<addrconfname>] [init=<initname>,<initname>...] [sd=<sdopt>]

  -tooloption   : v6eval tool option
  <packetdef>   : packet definition file (v6eval tool option)
  <addrconfname>: how to configure address on NUT; boot/manual+/ra
  <initname>    : how to initialize NUT; DADSuccess_boot/DADFail_boot/ra
  <sdopt>       : debug options

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

INITIALIZATION

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

TEST PROCEDURE

 The following tests are prepared in this test package. See INDEX file.

Test for a Host and Router

   Global address is not configured when NUT received Valid RA after Link-local DAD Fail
   NUT ignores prefixopt if PreferredLifeTime > ValidLifeTime
   NUT ignores prefixopt if Prefixlen > 64 (interface ID len is 64)
   NUT ignores prefixopt if Prefixlen < 64 (interface ID len is 64)
   NUT ignores prefixopt if A flag is 0
   NUT ignores prefixopt if prefix is Link-local
   NUT ignores prefixopt if Prefixlen > 128
   NUT ignores prefixopt if ValidLifeTime is 0 (unknown prefix)

Test sequence

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

  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 judgment 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 not configured.
  ==== Action #2: DAD NS ====>
        name: chkconf_dadns_to_NUT

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

JUDGEMENT

Test for a Host and Router

Global address is not configured when NUT received Valid RA after Link-local DAD Fail

  -pkt GLOBAL0_valRA_NoLLOCAL.def                      addrconf=ra init=DADFail_boot

   Initialize NUT.
        reboot NUT and force to detect address duplication on stateless Link-local address
        autoconfiguration.

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

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

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

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

NUT ignores prefixopt if PreferredLifeTime > ValidLifeTime

  -pkt GLOBAL0_irregRA_prfxopt_ignore_PLTgtVLT.def     addrconf=ra init=DADSuccess_boot

   Action #1. Send irregular Unsolicited RA to configure address of NUT
        name: usolra
        src: TN's Link-local address
        dst: allnodes multicast
        SLL option exists
        Prefix option
              PrefixLength: _GLOBAL0_UCAST_PRFXLEN (64)
              LFlag: 1
              AFlag: 1
              ValidLifetime: 10000
              PreferredLifetime: 10001  (irregular, VLTime >= PLTime is regular)
              Prefix: _GLOBAL0_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 _GLOBAL0_UCAST_PRFX + interface-id]
        TargetAddress: NUT's tentative _GLOBAL0_UCAST_PRFX + interface-id

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

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

NUT ignores prefixopt if Prefixlen > 64 (interface ID len is 64)

  -pkt GLOBAL0_irregRA_prfxopt_ignore_PRFXLENgt64.def  addrconf=ra init=DADSuccess_boot

   Action #1. Send irregular Unsolicited RA to configure address of NUT
        name: usolra
        src: TN's Link-local address
        dst: allnodes multicast
        SLL option exists
        Prefix option
              PrefixLength: 65  (irregular, 64 is regular)
              LFlag: 1
              AFlag: 1
              ValidLifetime: 10000
              PreferredLifetime: 10000
              Prefix: _GLOBAL0_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 _GLOBAL0_UCAST_PRFX + interface-id]
        TargetAddress: NUT's tentative _GLOBAL0_UCAST_PRFX + interface-id

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

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

NUT ignores prefixopt if Prefixlen < 64 (interface ID len is 64)

  -pkt GLOBAL0_irregRA_prfxopt_ignore_PRFXLENlt64.def  addrconf=ra init=DADSuccess_boot

   Action #1. Send irregular Unsolicited RA to configure address of NUT
        name: usolra
        src: TN's Link-local address
        dst: allnodes multicast
        SLL option exists
        Prefix option
              PrefixLength: 63  (irregular, 64 is regular)
              LFlag: 1
              AFlag: 1
              ValidLifetime: 10000
              PreferredLifetime: 10000
              Prefix: _GLOBAL0_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 _GLOBAL0_UCAST_PRFX + interface-id]
        TargetAddress: NUT's tentative _GLOBAL0_UCAST_PRFX + interface-id

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

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

NUT ignores prefixopt if A flag is 0

  -pkt GLOBAL0_irregRA_prfxopt_ignore_af0.def          addrconf=ra init=DADSuccess_boot

   Action #1. Send irregular Unsolicited RA to configure address of NUT
        name: usolra
        src: TN's Link-local address
        dst: allnodes multicast
        SLL option exists
        Prefix option
              PrefixLength: _GLOBAL0_UCAST_PRFXLEN (64)
              LFlag: 1
              AFlag: 0  (irregular, 1 is regular)
              ValidLifetime: 10000
              PreferredLifetime: 10000
              Prefix: _GLOBAL0_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 _GLOBAL0_UCAST_PRFX + interface-id]
        TargetAddress: NUT's tentative _GLOBAL0_UCAST_PRFX + interface-id

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

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

NUT ignores prefixopt if prefix is Link-local

  -pkt LLOCAL_irregRA_prfxopt_ignore_llocal.def        addrconf=ra init=DADFail_boot

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

   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 _GLOBAL0_UCAST_PRFX + interface-id]
        TargetAddress: NUT's tentative _GLOBAL0_UCAST_PRFX + interface-id

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

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

NUT ignores prefixopt if Prefixlen > 128

  -pkt GLOBAL0_irregRA_prfxopt_ignore_PRFXLENgt128.def addrconf=ra init=DADSuccess_boot

   Action #1. Send irregular Unsolicited RA to configure address of NUT
        name: usolra
        src: TN's Link-local address
        dst: allnodes multicast
        SLL option exists
        Prefix option
              PrefixLength: 192  (irregular, 0<=PrefixLength<=128 is regular)
              LFlag: 1
              AFlag: 1
              ValidLifetime: 10000
              PreferredLifetime: 10000
              Prefix: _GLOBAL0_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 _GLOBAL0_UCAST_PRFX + interface-id]
        TargetAddress: NUT's tentative _GLOBAL0_UCAST_PRFX + interface-id

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

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

NUT ignores prefixopt if ValidLifeTime is 0 (unknown prefix)

  -pkt GLOBAL0_irregRA_prfxopt_ignore_VLT0.def         addrconf=ra init=DADSuccess_boot

   Action #1. Send irregular Unsolicited RA to configure address of NUT
        name: usolra
        src: TN's Link-local address
        dst: allnodes multicast
        SLL option exists
        Prefix option
              PrefixLength: _GLOBAL0_UCAST_PRFXLEN (64)
              LFlag: 1
              AFlag: 1
              ValidLifetime: 0      (irregular, VLTime > 0 is regular)
              PreferredLifetime: 0  (irregular, PLTime > 0 is regular)
              Prefix: _GLOBAL0_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 _GLOBAL0_UCAST_PRFX + interface-id]
        TargetAddress: NUT's tentative _GLOBAL0_UCAST_PRFX + interface-id

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