NAME

V6LC_2_1_6_A - Verify that the NUT transmits NSs in INCOMPLETE (link-local => link-local)

TARGET

Host/Router

TOPOLOGY

                    |
   TN1     NUT      R0
    |       |       |
----+-------+-------+--- Link0

Link0	global	3ffe:501:ffff:100::/64
	link-local	fe80::/64
R0	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:100::<TnDef.Link0_addr>
	link-local	fe80::<TnDef.Link0_addr>
	ether	<TnDef.Link0_addr>
NUT	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     HUT
    |       |
    | -->   | RA
    |       |
    *       | Wait (MAX_RTR_SOLICITATION_DELAY + RetransTimer * DupAddrDetectTransmits)
    |       |
    | ----> | Echo Request
    |   <-- | NS
    | ----> | NA
    | <---- | Echo Reply
    |       |
    V       V

1. Send RA

        IPv6 header
            hop limit          = 255
            source             = TR1 (link-local)
            destination        = all-nodes multicast address
        RA
            cur hop limit      = 64
            M                  = 0
            O                  = 0
            router lifetime    = 1800
            reachable time     = 30000
            retrans timer      = 1000
        Prefix Information option
            prefix length      = 64
            L                  = 1
            A                  = 1
            valid Lifetime     = 2592000
            preferred lifetime = 604800
            prefix             = 3ffe:501:ffff:100::

2.  Wait (MAX_RTR_SOLICITATION_DELAY + RetransTimer * DupAddrDetectTransmits)

        Host constants:
            MAX_RTR_SOLICITATION_DELAY: 1 second

        Node constants:
            RETRANS_TIMER             : 1,000 milliseconds

        Host Variables:
            RetransTimer
                Default               : RETRANS_TIMER milliseconds

        Node Variables:
            DupAddrDetectTransmits
                Default               : 1

3. Send Echo Request

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

4. Observe NS

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

5. Send NA

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

6. Observe Echo Reply

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

INITIALIZATION

none

TEST PROCEDURE

- Verify that NUT transmits valid NSs in INCOMPLETE state
- Verify that NUT transmits multicast NSs 3 times
- Verify that NUT selects source address of NS correctly

   TN1     NUT
    |       |
    | ----> | Echo Request
    |   <-- | NS (multicast) [Judgment #1]
    |   <-- | NS (multicast)
    |   <-- | NS (multicast)
    |       |
    | -->   | RA
    | ----> | Echo Request
    |   <-- | NS (multicast) [Judgment #2]
    |   <-- | NS (multicast)
    |   <-- | NS (multicast)
    |       |
    V       V

1. Send Echo Request

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

    State: INCOMPLETE (TN1) (global)

2. Observe MAX_MULTICAST_SOLICIT NSs [Judgment #1]

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

        Node constants:
            MAX_MULTICAST_SOLICIT: 3 transmissions

3. Send RA

        IPv6 header
            hop limit          = 255
            source             = TR1 (link-local)
            destination        = all-nodes multicast address
        RA
            cur hop limit      = 64
            M                  = 0
            O                  = 0
            router lifetime    = 1800
            reachable time     = 30000
            retrans timer      = 5000
        Prefix Information option
            prefix length      = 64
            L                  = 1
            A                  = 1
            valid Lifetime     = 2592000
            preferred lifetime = 604800
            prefix             = 3ffe:501:ffff:100::

4. Send Echo Request

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

5. Observe MAX_MULTICAST_SOLICIT NSs [Judgment #2]

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

        Node constants:
            MAX_MULTICAST_SOLICIT: 3 transmissions

JUDGEMENT

[Judgment #1] NUT must transmit 3 NSs to TN1 (solicited-node multicast address) at intervals of 1 second
[Judgment #2] NUT must transmit 3 NSs to TN1 (solicited-node multicast address) at intervals of 5 seconds

CLEANUP

- Remove global address

   TN1     NUT      R0
    |       |       |
    |       |   <-- | RA (rltime=0, vltime=0, pltime=0) (If NUT isn't Router)
    |       |       |
    V       V       V

    State: NONE (TN1) (link-local)

1. Send RA (If NUT isn't Router)

        IPv6 header
            hop limit   = 255
            source      = R0 (link-local)
            destination = all-nodes multicast address
        RA
            cur hop limit   = 64
            M               = 0
            O               = 0
            router lifetime = 0
            reachable time  = 0
            retrans timer   = 0
        Prefix Information option
            prefix length      = 64
            L                  = 1
            A                  = 1
            valid Lifetime     = 0
            preferred lifetime = 0
            prefix             = 3ffe:501:ffff:100::

    State: NONE (TN1) (link-local)

REFERENCE

RFC 2461 - Neighbor Discovery for IPv6