NAME

  Test v6LC.2.2.16 - Router Advertisement Processing, Neighbor Cache (Hosts Only)
  Part F: RA with SLLA changed, NCE PROBE


Purpose

  Verify that a host properly updates its Neighbor Cache upon receipt of a Router
  Advertisement.


References

  * [ND]  Sections 6.3.4 and 7.3.3


Resource Requirements

  * Packet generator
  * Monitor to capture packets


Test Setup

  No Common Test Setup is performed. Wait at least 3 seconds
  (MAX_MULTICAST_SOLICIT * RETRANS_TIMER) after any previous cleanup to make sure all
  previous NCE's are in state No NCE. The Common Test Cleanup procedure is performed after each
  part.
Router Solicitation A
IPv6 Header
Next Header: 58
Source Address: TR1's Link-local Address
Router Advertisement
Router Lifetime: 0 seconds
Reachable Time: 10 seconds
Retransmit Interval: 1 second
Source Link-layer Option

Echo Request B
IPv6 Header
Next Header: 58
Source Address: TR1's link-local Address
Destination Address: HUT's link-local Address
ICMPv6 Echo Request

Neighbor Advertisement C
IPv6 Header
Next Header: 58
Source Address: TR1's Link-local Address
Destination Address: HUT's Link-local Address
Neighbor Advertisement
Router flag: 1
Solicited flag: 1
Override flag: 1
Target Address: TR1's Link-local Address


Procedure

  Part F: RA with SLLA changed, NCE PROBE
   19. TR1 transmits Echo Request B. TR1 does not respond to any Neighbor Solicitations from the
       HUT.
   20. Observe the packets transmitted by the HUT and check the NCE of TR1 on the HUT.
   21. TR1 transmits Neighbor Advertisement C.
   22. Check the NCE of TR1 on the HUT and observe the packets transmitted by the HUT.
   23. Wait (REACHABLE_TIME * MAX_RANDOM_FACTOR) seconds.
   24. TR1 transmits Echo Request B.
   25. Check the NCE of TR1 on the HUT and observe the packets transmitted by the HUT.
   26. Wait (DELAY_FIRST_PROBE_TIME) seconds.
   27. Check the NCE of TR1 on the HUT and observe the packets transmitted by the HUT.
   28. TR1 transmits Router Advertisement A with a different Source Link-layer Address.
   29. TR1 transmits an Echo Request to the HUT.
   30. Check the NCE of TR1 on the HUT and observe the packets transmitted by the HUT.


Observable Results

  Part F
   Step 20:
   The HUT should create a Neighbor Cache Entry for TR1 and set the state of the
   Entry to INCOMPLETE. The HUT should send a multicast Neighbor Solicitation to TR1.
   Step 22:
   The HUT should update the state of TR1's NCE to REACHABLE and record
   TR1's Link-layer Address. Because the HUT is in state REACHABLE, after receiving the
   earlier Echo Request from TR1, the HUT should send an Echo Reply using the received
   Link-Layer Address. After DELAY_FIRST_PROBE_TIME, the NUT should not send a
   unicast Neighbor Solicitation to TR1.
   Step 25:
   The HUT should update the state of TR1's NCE to STALE, send an Echo Reply to
   TR1 using the same Link-Layer address and enter state DELAY.
   Step 27:
   The HUT should update the state of TR1's NCE to PROBE by sending a unicast
   Neighbor Solicitation to TR1.
   Step 30:
   The HUT must change the state of the TR1's NCE to STALE and update TR1's
   Link-Layer Address according to the received Router Advertisement. Because the HUT's
   NCE for TR1 is in state STALE, the HUT should send an Echo Reply to TR1 using the new
   Link-Layer Address and enter state DELAY. After DELAY_FIRST_PROBE_TIME, the
   NUT should send a unicast Neighbor Solicitation to TR1.


Possible Problems

  * None.