NAME

adrsolvQueuMulti - Verifying address resolution queues

TARGET

Host and Router

SYNOPSIS

  adrsolvQueuMulti.seq [-tooloption ...] -p adrsolvQueuMulti.def

INITIALIZATION

  Clear NC state for TN and X

TEST PROCEDURE

adrsolvQueuMulti verifies that a NUT queues at least one packet for an address whose LLA is not resolved.

  TN                 NUT
  ----------------------


  State: NONCE (for TN, X)


  ==== echo-request A ===>
	src=TN's link-local
	dst=NUT's link-local


  State: INCOMPLETE (for TN), NONCE (for X)


  ==== echo-request B ===>
	src=X's link-local
	dst==NUT's link-local


  State: INCOMPLETE (for all)


  <=== Judgment #1: multicast NS ====
	src==NUT's link-local
	dst=solicited-node[TN's link-local]
	w/ SLLA
	timeout: $RETRANS_TIMER * $MAX_MULTICAST_SOLICIT
  ==== solicited NA ===>
	src=TN's link-local
	dst==NUT's link-local
	R=0, S=1, O=1
	w/ TLLA


  State: REACHABLE (for TN), INCOMPLETE (for X)


  <=== Judgment #2: multicast NS ====
	src=l=NUT's ink-local
	dst=solicited-node[X's link-local]
	w/ SLLA
	timeout: $RETRANS_TIMER * $MAX_MULTICAST_SOLICIT


  ==== solicited NA ===>
	src=X's link-local
	dst==NUT's link-local
	R=0, S=1, O=1
	w/ TLLA


  State: REACHABLE (for TN, X)


  <=== Judgment #3: echo-reply A ====
	src==NUT's link-local
	dst=TN's link-local


  <=== Judgment #4: echo-reply B ====
	src==NUT's link-local
	dst=X's link-local

JUDGMENT


  1. NUT must send at the least one multicast NS to TN.
     src==NUT's link-local, dst=solicited-node[TN's link-local], w/ SLLA

  2. NUT must send at the least one multicast NS to the X.
     src==NUT's link-local, dst=solicited-node[X's link-local], w/ SLLA

  3. NUT must send an echo-reply to TN.
     src=NUT's link-local, dst=TN's link-local

  4. NUT must send an echo-reply to the X.
     src=NUT's link-local, dst=X's link-local

  5. The order that the above packets (multicast NS and
     echo-reply) are captured in is not matter.

TERMINATION

N/A

NOTE

  The test does not invoke any remote command.