NAME

V6LC_2_1_20_K - NA Processing, NCE State PROBE (Unicast NA (S=1&O=0) 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 doesn't update entry's reachablity 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)
    |       |
    | <---- | NS (unicast) [Judgment #1]
    | <---- | 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           = 1
            O           = 0
            target      = TN  (link-local)
        TLL option
            address     = H0  (ether)

7. Observe MAX_UNICAST_SOLICIT NSs [Judgment #1]

        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 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