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