- Verify that NUT updates entry's reachablity state to STALE
- Verify that NUT updates cached Link-Layer Address
- Verify that NUT transmits valid NA in STALE state
- Verify that NUT transmits valid NSs in PROBE state
TN1 NUT
| |
| ----> | Echo Request
| <-- | NS (multicast)
| ----> | NA
| <---- | Echo Reply
| |
| ----> | Echo Request
| <---- | Echo Reply
| |
* | Observe any packets for (DELAY_FIRST_PROBE_TIME + RETRANS_TIMER * MAX_UNICAST_SOLICIT) [Judgment #1]
| |
| ----> | NS (unicast)
| ----> | Echo Request
| <---- | NA [Judgment #2]
| <---- | Echo Reply [Judgment #3]
| |
* | Wait (DELAY_FIRST_PROBE_TIME)
| |
| <---- | NS (unicast) [Judgment #4]
| <---- | NS (unicast)
| <---- | NS (unicast)
| |
V V
State: NONE (TN1) (link-local)
1. Send Echo Request
IPv6 header
source = TN1 (link-local)
destination = NUT (link-local)
Echo Request
State: INCOMPLETE (TN1) (link-local)
2. Observe NS
IPv6 header
hop limit = 255
source = NUT (link-local)
destination = TN1 (solicited-node multicast address)
NS
target = TN1 (link-local)
SLL option
3. Send NA
IPv6 header
hop limit = 255
source = TN1 (link-local)
destination = NUT (link-local)
NA
R = 0
S = 1
O = 1
target = TN1 (link-local)
TLL option
State: REACHABLE (TN1) (link-local)
4. Observe Echo Reply
IPv6 header
source = NUT (link-local)
destination = TN1 (link-local)
Echo Reply
State: REACHABLE (TN1) (link-local)
5. Send Echo Request
IPv6 header
source = TN1 (link-local)
destination = NUT (link-local)
Echo Request
6. Observe Echo Reply
IPv6 header
source = NUT (link-local)
destination = TN1 (link-local)
Echo Reply
State: REACHABLE (TN1) (link-local)
7. Observe any packets for (DELAY_FIRST_PROBE_TIME + RETRANS_TIMER * MAX_UNICAST_SOLICIT) [Judgment #1]
Node constants:
RETRANS_TIMER : 1,000 milliseconds
DELAY_FIRST_PROBE_TIME: 5 seconds
MAX_UNICAST_SOLICIT : 3 transmissions
State: REACHABLE (TN1) (link-local)
8. Send NS
IPv6 header
hop limit = 255
source = TN1 (link-local)
destination = NUT (link-local)
NS
target = NUT (link-local)
SLL option
address = H0 (ether)
State: STALE (TN1) (link-local)
9. Send Echo Request
IPv6 header
source = TN1 (link-local)
destination = NUT (link-local)
Echo Request
10. Observe NA [Judgment #2]
IPv6 header
source = NUT (link-local)
destination = TN1 (link-local)
NA
R = 0 (If NUT is Host)
= 1 (If NUT is Router)
= any (If NUT is Embedded)
S = 1
O = 1
target = NUT (link-local)
TLL option
11. Observe Echo Reply [Judgment #3]
IPv6 header
source = NUT (link-local)
destination = TN1 (link-local)
Echo Reply
State: DELAY (TN1) (link-local)
12. Wait (DELAY_FIRST_PROBE_TIME)
Node constants:
DELAY_FIRST_PROBE_TIME: 5 seconds
State: PROBE (TN1) (link-local)
13. Observe MAX_UNICAST_SOLICIT NSs [Judgment #4]
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)