NAME

V6LC_2_1_20_J - NA Processing, NCE State PROBE (Unicast NA (S=0&O=1) with a different TLLA)

TARGET

Host/Router

TOPOLOGY

    TN     NUT
    |       |
----+-------+--- Link0

Link0	link-local	fe80::/64
TN	link-local	fe80::<TnDef.Link0_addr>
	ether	<TnDef.Link0_addr>
NUT	link-local	fe80::<NutDef.Link0_addr>
	ether	<NutDef.Link0_addr>

SETUP

none

TEST PROCEDURE

- Verify that NUT updates entry's reachablity state to STALE
- Verify that NUT updates cached Link-Layer Address
- Verify that NUT transmits Echo Reply in STALE state
- Verify that NUT transmits valid NSs in PROBE state

    TN     NUT
    |       |
    | ----> | Echo Request
    | ----> | NA (unicast)
    | <---- | Echo Reply
    |       |
    *       | Wait (DELAY_FIRST_PROBE_TIME)
    |       |
    | <---- | NS (unicast)
    |       |
    | ----> | NA (unicast)
    |       |
    | ----> | Echo Request
    | <---- | Echo Reply   [Judgment #1]
    |       |
    *       | Wait (DELAY_FIRST_PROBE_TIME)
    |       |
    | <---- | NS (unicast) [Judgment #2]
    | <---- | 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. Send NA

        IPv6 header
            hop limit   = 255
            source      = TN  (link-local)
            destination = NUT (link-local)
        NA
            R           = 0
            S           = 0
            O           = 1
            target      = TN  (link-local)
        TLL option

    State: STALE (TN) (link-local)

3. Observe Echo Reply

        IPv6 header
            source      = NUT (link-local)
            destination = TN  (link-local)
        Echo Reply

    State: DELAY (TN) (link-local)

4. Wait (DELAY_FIRST_PROBE_TIME)

        Node constants:
            DELAY_FIRST_PROBE_TIME: 5 seconds

    State: PROBE (TN) (link-local)

5. Observe NS

        IPv6 header
            hop limit   = 255
            source      = NUT (link-local)
            destination = TN  (link-local)
        NS
            target      = TN  (link-local)
        SLL option

    State: PROBE (TN) (link-local)

6. Send NA

        IPv6 header
            hop limit   = 255
            source      = TN  (link-local)
            destination = NUT (link-local)
        NA
            R           = 0
            S           = 0
            O           = 1
            target      = TN  (link-local)
        TLL option
            address     = H0  (ether)

    State: STALE (TN) (link-local)

7. Send Echo Request

        IPv6 header
            source      = TN  (link-local)
            destination = NUT (link-local)
        Echo Request

8. Observe Echo Reply [Judgment #1]

        IPv6 header
            source      = NUT (link-local)
            destination = TN  (link-local)
        Echo Reply

    State: DELAY (TN) (link-local)

9. Wait (DELAY_FIRST_PROBE_TIME)

        Node constants:
            DELAY_FIRST_PROBE_TIME: 5 seconds

    State: PROBE (TN) (link-local)

10. Observe MAX_UNICAST_SOLICIT NSs [Judgment #2]

        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)

JUDGEMENT

[Judgment #1] NUT must transmit Echo Reply to TN
[Judgment #2] NUT must transmit NS to TN

---

Index	NA						Previous		New
	Source Addr	Destination Addr	R	S	O	TLL option	State	Cached LLA	State	Cached LLA
V6LC_2_1_20_A	unicast	unicast	0	0	0	none	PROBE	exist	PROBE	unchanged
V6LC_2_1_20_B	unicast	unicast	0	0	1	none	PROBE	exist	PROBE	unchanged
V6LC_2_1_20_C	unicast	unicast	0	1	0	none	PROBE	exist	REACHABLE	unchanged
V6LC_2_1_20_D	unicast	unicast	0	1	1	none	PROBE	exist	REACHABLE	unchanged
V6LC_2_1_20_E	unicast	unicast	0	0	0	same	PROBE	exist	PROBE	unchanged
V6LC_2_1_20_F	unicast	unicast	0	0	1	same	PROBE	exist	PROBE	unchanged
V6LC_2_1_20_G	unicast	unicast	0	1	0	same	PROBE	exist	REACHABLE	unchanged
V6LC_2_1_20_H	unicast	unicast	0	1	1	same	PROBE	exist	REACHABLE	unchanged
V6LC_2_1_20_I	unicast	unicast	0	0	0	different	PROBE	exist	PROBE	unchanged
V6LC_2_1_20_J	unicast	unicast	0	0	1	different	PROBE	exist	STALE	updated
V6LC_2_1_20_K	unicast	unicast	0	1	0	different	PROBE	exist	PROBE	unchanged
V6LC_2_1_20_L	unicast	unicast	0	1	1	different	PROBE	exist	REACHABLE	updated
V6LC_2_1_20_M	unicast	multicast	0	0	0	same	PROBE	exist	PROBE	unchanged
V6LC_2_1_20_N	unicast	multicast	0	0	1	same	PROBE	exist	PROBE	unchanged
V6LC_2_1_20_O	unicast	multicast	0	0	0	different	PROBE	exist	PROBE	unchanged
V6LC_2_1_20_P	unicast	multicast	0	0	1	different	PROBE	exist	STALE	updated

CLEANUP

none

REFERENCE

RFC 2461 - Neighbor Discovery for IPv6