NAME

v6LC_2_3_16_C - Redirect - Transmit (Source not neighbor)

TARGET

Router

TOPOLOGY

           TN2
            |
----+-------+----------- LinkX
    |
   TR1     TN1
    |       |
----+-------+-------+--- Link0
                    |
                   RUT
                    |

Link0 global 3ffe:501:ffff:100::/64
link-local fe80::/64
LinkX global 3ffe:501:ffff::/64
link-local fe80::/64
TR1 global 3ffe:501:ffff:100:200:ff:fe00:a0a0
link-local fe80::200:ff:fe00:a0a0
ether 00:00:00:00:a0:a0
TN1 global 3ffe:501:ffff::<TnDef.Link0_addr>
link-local fe80::<TnDef.Link0_addr>
ether <TnDef.Link0_addr>
TN2 global 3ffe:501:ffff::<TnDef.Link0_addr>
link-local fe80::<TnDef.Link0_addr>
ether <TnDef.Link0_addr>
RUT global 3ffe:501:ffff:100::<NutDef.Link0_addr>
link-local fe80::<NutDef.Link0_addr>
ether <NutDef.Link0_addr>

SETUP

This minimal setup procedure provides the NUT with a default router TR1, a global prefix, and ensures that the NUT can communicate with TR1. 
   TR1     RUT
    |       |
    | ----> | Echo Request
    |   <-- | NS
    | ----> | NA
    | <---- | Echo Reply
    |       |
    V       V


1. Send Echo Request

        IPv6 header
            source      = TR1 (link-local)
            destination = RUT (link-local)
        Echo Request

2. Observe NS

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

3. Send NA

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

4. Observe Echo Reply

        IPv6 header
            source      = RUT (link-local)
            destination = TR1 (link-local)
        Echo Reply

TEST PROCEDURE

Verify that a router properly handles transmission of Redirect messages. 
   TN1     RUT     TR1     TN2
    |       |       |       |
    | ------+-------------> | Echo Request (via RUT)
    | --------------+-----> | Echo Request (via TR1)
    |       |       |       |
    |  X--- |       |       | doesn't send Redirect [Judgment #1]
    |       |       |       |
    V       V       V       V


1. Send Echo Request (via RUT)

        IPv6 header
            source      = TN1 (global)
            destination = TN2 (global)
        Echo Request

2. Observe Echo Request (via TR1)

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

3. no response

JUDGEMENT

[Judgment #1] The RUT should not send a Redirect message.

CLEANUP

The Cleanup procedure should cause the NUT to transition Neighbor Cache entries created in this test to state INCOMPLETE and remove any entries from its Default Router and Prefix Lists. 
   TR1     RUT
    |       |
    | -->   | NA
    |       |
    | ----> | Echo Request
    | <---- | Echo Reply
    |       |
    *       | Wait (DELAY_FIRST_PROBE_TIME)
    |       |
    | <---- | NS
    | <---- | NS
    | <---- | NS
    |       |
    V       V


1. Send NA w/ TLL (diff)

        IPv6 header
            hop limit   = 255
            source      = TR1 (link-local)
            destination = all-nodes multicast address
        NA
            R           = 1
            S           = 0
            O           = 1
            target      = TR1 (link-local)
        TLL option
            address     = TRX (ether)

2. Send Echo Request

        IPv6 header
            source      = TR1 (link-local)
            destination = RUT (link-local)
        Echo Request

3. Observe Echo Reply

        IPv6 header
            source      = RUT (link-local)
            destination = TR1 (link-local)
        Echo Reply

4. Wait (DELAY_FIRST_PROBE_TIME)

        Node constants:
            DELAY_FIRST_PROBE_TIME: 5 seconds

5. Observe MAX_UNICAST_SOLICIT NSs

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

        Node constants:
            MAX_UNICAST_SOLICIT: 3 transmissions

REFERENCE

RFC 2461 - Neighbor Discovery for IPv6