RA_wPXLLA - check the process when NUT receives invalid RA which contains
one Link-local prefix(PX=LLA)(NOT Re-assigning Link-local
address)
All Node
RA_wPXLLA.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
Reboot NUT or Initialize interface of NUT or Initialize IPv6 stack of NUT.
The following tests are prepared in this test package. See INDEX file.
Test for all node
When NUT receives invalid RA which contains Link-local Prefix, NUT MUST NOT assign autoconfigured address.
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
<=== Judgement #2: RS ===========
name: RS_from_NUT, RS_from_NUT_wSLL
==== Action #1: RA =============>
name: RA_LLA
X<== Judgement #3: DAD NS =======
name: DADNS_from_NUT
Wait for DupAddrDetectTransmits*RetransTimer
Check if NUT's address is configured
==== Action #2: DAD NS =========>
name: DADNS_from_TN_GA0Tgt
<=== Judgement #4: DAD NA =======
name: DADNA_from_NUT
Test for all NODE
NUT performs Stateless Address Autoconfiguration 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
Judgement #2. NUT SHOULD transmit RS.
name: RS_from_NUT
src: NUT's Link-local
dst: allrouter
Action #1. TN transmits RA which contains Link-local Prefix.
name: RA_LLA
src: TN's Link-local
dst: allnode
PXOPT: Linl-local
Judgement #3. NUT MUST NOT transmit DAD NS for its autoconfigured Link-local address in this timing.
name: DADNS_from_NUT
src: ::0
dst: solnode[NUT's tentative Link-local]
TargetAddress: NUT's tentative Link-local
Action #2. TN transmits DAD NS to check if NUT's Link-local address is still available.
name: DADNS_from_TN_SameTgt
src: ::0
dst: solnode[NUT's Link-local]
TargetAddress: NUT's Link-local
Judgement #4. NUT MUST transmit DAD NA for its autoconfigured Link-local address.
name: DADNA_from_NUT
src: NUT's Link-local
dst: allnode
TargetAddress: NUT's Link-local
RFlag: 0
SFlag: 0
OFlag: 1
detail of v6eval tool option: see perldoc V6evalTool.pm, perldoc V6evalRemote.pm