DAD is performed on NUT by Stateless Link-local address autoconfiguration
Host and Router
DADSendNS_DADPostSendNS.seq -pkt LLOCAL.def addrconf=boot init=none
detail of parameters: see Test sequence for IPv6 Stateless Address Autoconfiguration.
init=none detail of Initialization: see Test sequence for IPv6 Stateless Address Autoconfiguration.
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
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] TargetAddress: NUT's tentative Link-local
detail of v6eval tool option: see perldoc V6evalTool.pm, perldoc V6evalRemote.pm detail of parameters: see Test sequence for IPv6 Stateless Address Autoconfiguration.