#!/usr/bin/perl
#
# Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
# 	Yokogawa Electric Corporation.
# All rights reserved.
# 
# Redistribution and use of this software in source and binary
# forms, with or without modification, are permitted provided that
# the following conditions and disclaimer are agreed and accepted
# by the user:
# 
# 1. Redistributions of source code must retain the above copyright
#    notice, this list of conditions and the following disclaimer.
# 
# 2. Redistributions in binary form must reproduce the above copyright
#    notice, this list of conditions and the following disclaimer in
#    the documentation and/or other materials provided with
#    the distribution.
# 
# 3. Neither the names of the copyrighters, the name of the project
#    which is related to this software (hereinafter referred to as
#    "project") nor the names of the contributors may be used to
#    endorse or promote products derived from this software without
#    specific prior written permission.
# 
# 4. No merchantable use may be permitted without prior written
#    notification to the copyrighters.
# 
# 5. The copyrighters, the project and the contributors may prohibit
#    the use of this software at any time.
# 
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHTERS, THE PROJECT AND
# CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING
# BUT NOT LIMITED THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
# FOR A PARTICULAR PURPOSE, ARE DISCLAIMED.  IN NO EVENT SHALL THE
# COPYRIGHTERS, THE PROJECT OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
# INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
# SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
# HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
# STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
# IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
# POSSIBILITY OF SUCH DAMAGE.
#
# $TAHI: ct/nd.p2/v6LC_2_3_16_D.seq,v 1.3 2005/04/11 08:54:42 akisada Exp $
#
########################################################################

use redirect;

BEGIN {}
END   {}

if($V6evalTool::NutDef{'Type'} ne 'router') {
	exitRouterOnly($Link0);
	#NOTREACHED
}

vCapture($Link0);

unless(commonSetup_1_1($Link0)) {
	exitInitFail($Link0);
	#NOTREACHED
}

$pktdesc{'local_ereq'} =
	'    Send Echo Request: '.
	'TN1 (global) -> TN2 solicited-node multicast address';

$pktdesc{'local_redirect'} =
	'    Recv Redirect w/o TLL, w/o Redirected Header: '.
	'RUT (link-local) -> TN1 (global)';

unless(v6LC_2_3_16_D($Link0)) {
	exitFail($Link0);
	#NOTREACHED
}

exitPass($Link0);
#NOTREACHED



#
# perldoc
#
########################################################################
__END__

=head1 NAME

=begin html
<BLOCKQUOTE><TT>
v6LC_2_3_16_D - Redirect - Transmit (Destination Multicast)

=end html

=begin html
</TT></BLOCKQUOTE>

=end html

=head1 TARGET

=begin html
<BLOCKQUOTE>
<TT>Router</TT>
</BLOCKQUOTE>

=end html

=head1 TOPOLOGY

=begin html
<BLOCKQUOTE>
<BLOCKQUOTE>
<PRE>
           TN2
            |
----+-------+----------- LinkX
    |
   TR1     TN1
    |       |
----+-------+-------+--- Link0
                    |
                   RUT
                    |
</PRE>
</BLOCKQUOTE>
<P>
<TABLE BORDER>
<TR>
<TD ROWSPAN="2"><TT>Link0</TT></TD>
<TD><TT>global</TT></TD>
<TD><TT>3ffe:501:ffff:100::/64</TT></TD>
</TR>
<TR>
<TD><TT>link-local</TT></TD>
<TD><TT>fe80::/64</TT></TD>
</TR>
<TR>
<TD ROWSPAN="2"><TT>LinkX</TT></TD>
<TD><TT>global</TT></TD>
<TD><TT>3ffe:501:ffff::/64</TT></TD>
</TR>
<TR>
<TD><TT>link-local</TT></TD>
<TD><TT>fe80::/64</TT></TD>
</TR>
<TR>
<TD ROWSPAN="3"><TT>TR1</TT></TD>
<TD><TT>global</TT></TD>
<TD><TT>3ffe:501:ffff:100:200:ff:fe00:a0a0</TT></TD>
</TR>
<TR>
<TD><TT>link-local</TT></TD>
<TD><TT>fe80::200:ff:fe00:a0a0</TT></TD>
</TR>
<TR>
<TD><TT>ether</TT></TD>
<TD><TT>00:00:00:00:a0:a0</TT></TD>
</TR>
<TR>
<TD ROWSPAN="3"><TT>TN1</TT></TD>
<TD><TT>global</TT></TD>
<TD><TT>3ffe:501:ffff:100::&lt;TnDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD><TT>link-local</TT></TD>
<TD><TT>fe80::&lt;TnDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD><TT>ether</TT></TD>
<TD><TT>&lt;TnDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD ROWSPAN="3"><TT>TN2</TT></TD>
<TD><TT>global</TT></TD>
<TD><TT>3ffe:501:ffff::&lt;TnDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD><TT>link-local</TT></TD>
<TD><TT>fe80::&lt;TnDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD><TT>ether</TT></TD>
<TD><TT>&lt;TnDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD ROWSPAN="3"><TT>RUT</TT></TD>
<TD><TT>global</TT></TD>
<TD><TT>3ffe:501:ffff:100::&lt;NutDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD><TT>link-local</TT></TD>
<TD><TT>fe80::&lt;NutDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD><TT>ether</TT></TD>
<TD><TT>&lt;NutDef.Link0_addr&gt;</TT></TD>
</TR>
</TABLE>
</BLOCKQUOTE>

=end html

=head1 SETUP

=begin html
<BLOCKQUOTE>
<TT><B>This minimal setup procedure provides the NUT with a default router TR1, a global prefix, and ensures that the NUT can communicate with TR1.</B></TT>
<BLOCKQUOTE>
<PRE>
   TR1     RUT
    |       |
    | ----> | Echo Request
    |   <-- | NS
    | ----> | NA
    | <---- | Echo Reply
    |       |
    V       V
</PRE>
</BLOCKQUOTE>
<P>
<PRE>
1. Send Echo Request
</PRE>
<PRE>
        IPv6 header
            source      = TR1 (link-local)
            destination = RUT (link-local)
        Echo Request
</PRE>
<PRE>
2. Observe NS
</PRE>
<PRE>
        IPv6 header
            hop limit   = 255
            source      = RUT (link-local)
            destination = TR1 (solicited-node multicast address)
        NS
            target      = TR1 (link-local)
        SLL option
</PRE>
<PRE>
3. Send NA
</PRE>
<PRE>
        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
</PRE>
<PRE>
4. Observe Echo Reply
</PRE>
<PRE>
        IPv6 header
            source      = RUT (link-local)
            destination = TR1 (link-local)
        Echo Reply
</PRE>
</BLOCKQUOTE>

=end html

=head1 TEST PROCEDURE

=begin html
<BLOCKQUOTE>
<TT><B>Verify that a router properly handles transmission of Redirect messages.</B></TT>
<BLOCKQUOTE>
<PRE>
   TN1     RUT     TR1     TN2
    |       |       |       |
    | ------+-------------> | Echo Request (via RUT)
    |  X--- |       |       | doesn't send Redirect <A NAME="PRC1">[<A HREF="#JDG1">Judgment #1</A>]
    |       |       |       |
    V       V       V       V
</PRE>
</BLOCKQUOTE>
<P>
<PRE>
1. Send Echo Request (via RUT)
</PRE>
<PRE>
        IPv6 header
            source      = TN1 (global)
            destination = TN2 (solicited-node multicast address)
        Echo Request
</PRE>
<PRE>
2. no response
</PRE>
</BLOCKQUOTE>

=end html

=head1 JUDGEMENT

=begin html
<BLOCKQUOTE>
<TT><A NAME="JDG1">[<A HREF="#PRC1">Judgment #1</A>] The RUT should not send a Redirect message.</TT><BR>
</BLOCKQUOTE>

=end html

=head1 CLEANUP

=begin html
<BLOCKQUOTE>
<TT><B>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.</B></TT>
<BLOCKQUOTE>
<PRE>
   TR1     RUT
    |       |
    | -->   | NA
    |       |
    | ----> | Echo Request
    | <---- | Echo Reply
    |       |
    *       | Wait (DELAY_FIRST_PROBE_TIME)
    |       |
    | <---- | NS
    | <---- | NS
    | <---- | NS
    |       |
    V       V
</PRE>
</BLOCKQUOTE>
<P>
<PRE>
1. Send NA w/ TLL (diff)
</PRE>
<PRE>
        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)
</PRE>
<PRE>
2. Send Echo Request
</PRE>
<PRE>
        IPv6 header
            source      = TR1 (link-local)
            destination = RUT (link-local)
        Echo Request
</PRE>
<PRE>
3. Observe Echo Reply
</PRE>
<PRE>
        IPv6 header
            source      = RUT (link-local)
            destination = TR1 (link-local)
        Echo Reply
</PRE>
<PRE>
4. Wait (DELAY_FIRST_PROBE_TIME)
</PRE>
<PRE>
        Node constants:
            DELAY_FIRST_PROBE_TIME: 5 seconds
</PRE>
<PRE>
5. Observe MAX_UNICAST_SOLICIT NSs
</PRE>
<PRE>
        IPv6 header
            hop limit   = 255
            source      = RUT (link-local)
            destination = TR1 (link-local)
        NS
            target      = TR1 (link-local)
        SLL option
</PRE>
<PRE>
        Node constants:
            MAX_UNICAST_SOLICIT: 3 transmissions
</PRE>
</BLOCKQUOTE>

=end html

=cut

# =head1 REFERENCE
# 
# =begin html
# <BLOCKQUOTE>
# <PRE>
# 8.2.  Router Specification
# </PRE>
# <PRE>
#    A router <FONT COLOR="#FF0000">SHOULD</FONT> send a redirect message, subject to rate limiting,
#    whenever it forwards a packet that is not explicitly addressed to
#    itself (i.e. a packet that is not source routed through the router)
#    in which:
# </PRE>
# <PRE>
#       - the Source Address field of the packet identifies a neighbor,
#         and
# </PRE>
# <PRE>
#       - the router determines that a better first-hop node resides on
#         the same link as the sending node for the Destination Address of
#         the packet being forwarded, and
# </PRE>
# <PRE>
#       - the Destination Address of the packet is not a multicast
#         address, and
# </PRE>
# <PRE>
#    The transmitted redirect packet contains, consistent with the message
#    format given in Section 4.5:
# </PRE>
# <PRE>
#       - In the Target Address field: the address to which subsequent
#         packets for the destination <FONT COLOR="#FF0000">SHOULD</FONT> be sent.  If the target is a
#         router, that router's link-local address <FONT COLOR="#FF0000">MUST</FONT> be used.  If the
#         target is a host the target address field <FONT COLOR="#FF0000">MUST</FONT> be set to the
#         same value as the Destination Address field.
# </PRE>
# <PRE>
#       - In the Destination Address field: the destination address of the
#         invoking IP packet.
# </PRE>
# <PRE>
#       - In the options:
# </PRE>
# <PRE>
#            o Target Link-Layer Address option: link-layer address of the
#              target, if known.
# </PRE>
# <PRE>
#            o Redirected Header: as much of the forwarded packet as can
#              fit without the redirect packet exceeding 1280 octets in
#              size.
# </PRE>
# <PRE>
#    A router <FONT COLOR="#FF0000">MUST</FONT> limit the rate at which Redirect messages are sent, in
#    order to limit the bandwidth and processing costs incurred by the
#    Redirect messages when the source does not correctly respond to the
#    Redirects, or the source chooses to ignore unauthenticated Redirect
#    messages.  More details on the rate-limiting of ICMP error messages
#    can be found in [ICMPv6].
# </PRE>
# <PRE>
#    A router <FONT COLOR="#FF0000">MUST NOT</FONT> update its routing tables upon receipt of a
#    Redirect.
# </PRE>
# </BLOCKQUOTE>
# 
# =end html
# 

=pod

=head1 REFERENCE

=begin html
<BLOCKQUOTE>
<PRE>
RFC 2461 - Neighbor Discovery for IPv6
</PRE>
</BLOCKQUOTE>

=end html

=cut