DAD is performed on NUT by Manual Link-local address configuration
Host and Router
DADSendNS_DADPostSendNS.seq -pkt LLOCAL0A0N.def addrconf=manual+_LLOCAL0A0N_UCAST init=DADSuccess_boot
detail of parameters: see Test sequence for IPv6 Stateless Address Autoconfiguration.
init=DADSuccess_boot detail of Initialization: see Test sequence for IPv6 Stateless Address Autoconfiguration.
TN(or X) NUT ------------------------------ Initialize NUT (see INITIALIZATION)
Configure address of NUT (addrconf=manual+_LLOCAL0A0N_UCAST, 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 Manual Link-local address configuration. name: dadns_from_NUT src: ::0 dst: solnode[NUT's tentative _LLOCAL0A0N_UCAST_ADDR] TargetAddress: NUT's tentative _LLOCAL0A0N_UCAST_ADDR
detail of v6eval tool option: see perldoc V6evalTool.pm, perldoc V6evalRemote.pm detail of parameters: see Test sequence for IPv6 Stateless Address Autoconfiguration.