NAME

V6LC_2_1_16_G - NA processing, No NCE (Receiving NA with S=1,O=0, and NO 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

INITIALIZATION

none

TEST PROCEDURE

- Verify that NUT doesn't update entry's reachablity state
- Verify that NUT transmits valid NSs in INCOMPLETE state
    TN     NUT
    |       |
    | ----> | NA
    |       |
    | ----> | Echo Request
    |   <-- | NS (multicast) [Judgment #1]
    |   <-- | NS (multicast)
    |   <-- | NS (multicast)
    |       |
    V       V


    State: NONE (TN) (link-local)

1. 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)

2. Send Echo Request

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

    State: INCOMPLETE (TN) (link-local)

3. Observe MAX_MULTICAST_SOLICIT NSs [Judgment #1]

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

        Node constants:
            MAX_MULTICAST_SOLICIT: 3 transmissions

    State: NONE (TN) (link-local)

JUDGEMENT

[Judgment #1] NUT must transmit NS to TN (solicited-node multicast address)

Index NA Previous New
Source Addr Destination Addr R S O TLL option State Cached LLA State Cached LLA
V6LC_2_1_16_A unicast unicast 0 0 0 exist NONE none NONE unchanged
V6LC_2_1_16_B unicast unicast 0 0 1 exist NONE none NONE unchanged
V6LC_2_1_16_C unicast unicast 0 1 0 exist NONE none NONE unchanged
V6LC_2_1_16_D unicast unicast 0 1 1 exist NONE none NONE unchanged
V6LC_2_1_16_E unicast unicast 0 0 0 none NONE none NONE unchanged
V6LC_2_1_16_F unicast unicast 0 0 1 none NONE none NONE unchanged
V6LC_2_1_16_G unicast unicast 0 1 0 none NONE none NONE unchanged
V6LC_2_1_16_H unicast unicast 0 1 1 none NONE none NONE unchanged

CLEANUP

none

REFERENCE

RFC 2461 - Neighbor Discovery for IPv6