- Verify that NUT updates entry's reachablity state to STALE
- Verify that NUT transmits valid NA in STALE state
- Verify that NUT transmits valid NSs in PROBE state
TN1 NUT
| |
| --> | NS (multicast)
| ----> | Echo Request
| <---- | NA [Judgment #1]
| <---- | Echo Reply
| |
* | Wait (DELAY_FIRST_PROBE_TIME)
| |
| <---- | NS (unicast) [Judgment #2]
| <---- | NS (unicast)
| <---- | NS (unicast)
| |
V V
State: NONE (TN1) (link-local)
1. Send NS
IPv6 header
hop limit = 255
source = TN1 (link-local)
destination = NUT (solicited-node multicast address)
NS
target = NUT (link-local)
SLL option
2. Send Echo Request
IPv6 header
source = TR1 (link-local)
destination = HUT (link-local)
Echo Request
State: STALE (TN1) (link-local)
3. Observe NA [Judgment #1]
IPv6 header
source = NUT (link-local)
destination = TN1 (link-local)
NA
R = 0 (If NUT is Host)
= 1 (If NUT is Router)
S = 1
O = 1
target = NUT (link-local)
TLL option
4. Observe Echo Reply
IPv6 header
source = HUT (link-local)
destination = TR1 (link-local)
Echo Reply
State: DELAY (TN1) (link-local)
5. Wait (DELAY_FIRST_PROBE_TIME)
Node constants:
DELAY_FIRST_PROBE_TIME: 5 seconds
State: PROBE (TN1) (link-local)
6. Observe MAX_UNICAST_SOLICIT NSs [Judgment #2]
IPv6 header
hop limit = 255
source = NUT (link-local)
destination = TN1 (link-local)
NS
target = TN1 (link-local)
SLL option
Node constants:
MAX_UNICAST_SOLICIT: 3 transmissions
State: NONE (TN1) (link-local)