#!/usr/bin/perl
#
# $Copyright$
#
# $TAHI: ct/natpt/rfc2765_3.1_nextheaderfrag.seq,v 1.3 2001/10/11 01:41:46 akisada Exp $
#

BEGIN { $V6evalTool::TestVersion = '$Name:  $'; }
use V6evalTool;
use natpt;

checkNUT(router);

# Interface 
$IF="Link0";
$IF1="Link1";
vCapture($IF);
vCapture($IF1);

%pktdesc = (
  ipv4_icmp          => 'Send IPv4 ICMP packet on Link1',
  ipv6_icmp          => 'Recv IPv6 ICMP packet on Link0',
  ipv4_udp           => 'Send IPv4 UDP packet on link1',
  ipv6_udp           => 'Recv IPv6 UDP packet on Link0',
  ipv4_tcp           => 'Send IPv4 TCP packet on link1',
  ipv6_tcp           => 'Recv IPv6 TCP packet on Link0',
  ipv4_unknown       => 'Send IPv4 unknown protocol packet on link1',
  ipv6_unknown       => 'Recv IPv6 unknown protocol packet on Link0',
  arp_nut2tn_request => 'Recv ARP request on Link1 (TN IPv4addr)',
  arp_tn2nut_reply   => 'Send ARP reply on Link1 (TN IPv4addr)',
  ns_nut2tn_siit0    => 'Recv Neighbor Solicitation on Link0 (SIIT V6addr)',
  na_tn2nut_siit0    => 'Send Neighbor Advertisement on Link0 (SIIT V6addr)',
);

$result = $V6evalTool::exitPass;
$result += send_recv($IF1, 'ipv4_icmp', $IF, 'ipv6_icmp');
$result += send_recv($IF1, 'ipv4_udp', $IF, 'ipv6_udp');
$result += send_recv($IF1, 'ipv4_tcp', $IF, 'ipv6_tcp');
$result += send_recv($IF1, 'ipv4_unknown', $IF, 'ipv6_unknown');

if($result == $V6evalTool::exitPass) {
    vLogHTML("<H3>OK</H3>");
    exit $V6evalTool::exitPass;
}

error:
vLogHTML("<FONT COLOR=#FF0000><H3>NG</H3></FONT>");
exit $V6evalTool::exitFail;

########################################################################
__END__

=head1 NAME

	rfc2765_3.1_nextheaderfrag.seq - Verify IPv6 <-> IPv4 header 
        translation in accordance with RFC2765 [SIIT]

=head1 TARGET

	Router

=head1 SYNOPSIS

	rfc2765_3.1_nextheaderfrag.seq [-tooloption ...] 
        -p rfc2765_3.1_nextheaderfrag.def

=head1 INITIALIZATION

=begin html
<PRE>
	Before this test starts, run <A HREF="./initialize.html">initialize.seq</A>.
</PRE>

=end html

=head1 TEST PROCEDURE

	This test verifies that NUT can translates IPv4 Protocol field 
        to IPv6 Next Header field.
	
	Network Topology

	Link0
	--------------------------
	    |               |
	   TN              NUT
	    |               |
	--------------------------
	Link1

	TN -- (Link0) -- NUT        NUT -- (Link1) -- TN
	
	---------------------      ------------------------

=begin html <HR WIDTH=80%>

	1.1.
                                   <===================
	ICMPv4 Echo request
                IPv4 Header
			src address : TN LINK1 IPv4 address
			dst address : TN LINK0 IPv4 address
                        Don't Fragment = 0
                        Protocol = 1
                        Identifier = 10000
                ICMPv4 echo request

	1.2.
	<<JUDGMENT>>
	<===================
	ICMPv6 Echo Request
		IPv6 Header
			src address : TN LINK1 IPv4 embedded IPv6 address
			dst address : TN LINK0 IPv4 embedded IPv6 address
                Fragment Header
                        Next Header = 58
                        Identification = 10000
                ICMPv6 echo request

=begin html <HR WIDTH=80%>

	2.1.
                                   <===================
	IPv4 UDP packet
                IPv4 Header
			src address : TN LINK1 IPv4 address
			dst address : TN LINK0 IPv4 address
                        Don't Fragment = 1
                        Protocol = 17
                        Identifier = 20000
                UDP packet
                        Checksum including IPv4 pseudo header
                        data = repeat(0xff,64)
	2.2.
	<<JUDGMENT>>
	<===================
	IPv6 UDP packet
		IPv6 Header
			src address : TN LINK1 IPv4 embedded IPv6 address
			dst address : TN LINK0 IPv4 embedded IPv6 address
                Fragment Header
                        Next Header = 17
                        Identification = 20000
                UDP packet
                        Checksum including IPv6 pseudo header
                        data = repeat(0xff,64)

=begin html <HR WIDTH=80%>

	3.1.
                                   <===================
	IPv4 TCP packet
                IPv4 Header
			src address : TN LINK1 IPv4 address
			dst address : TN LINK0 IPv4 address
                        Don't Fragment = 0
                        Protocol = 6
                        Identifier = 30000
                TCP packet
                        Checksum including IPv4 pseudo header
                        data = repeat(0xff,64)

	3.2.
	<<JUDGMENT>>
	<===================
	IPv6 UDP packet
		IPv6 Header
			src address : TN LINK1 IPv4 embedded IPv6 address
			dst address : TN LINK0 IPv4 embedded IPv6 address
                Fragment Header
                        Next Header = 6
                        Identification = 30000
                TCP packet
                        Checksum including IPv6 pseudo header
                        data = repeat(0xff,64)

=begin html <HR WIDTH=80%>

	4.1.
                                   <===================
	IPv4 unknown protocol(255) packet
                IPv4 Header
			src address : TN LINK1 IPv4 address
			dst address : TN LINK0 IPv4 address
                        Don't Fragment = 1
                        Protocol = 255
                        Identifier = 40000
                data = repeat(0xff,64)

	4.2.
	<<JUDGMENT>>
	<===================
	IPv6 unknown protocol(255) packet
		IPv6 Header
			src address : TN LINK1 IPv4 embedded IPv6 address
			dst address : TN LINK0 IPv4 embedded IPv6 address
                Fragment Header
                        Next Header = 255
                        Identification = 40000
                data = repeat(0xff,64)
         

=head1 JUDGMENT

	<< PASS >>
		NUT translates ICMPv4 to ICMPv6, recalculates header
                checksum for UDP and TCP, and let other protocols
                pass through unchanged.
		
	<< FAIL >>	
		TN (Link0) does not receive an ICMPv6, an UDP, a TCP
                and an IPv6 packet with Next Header = 255.

=head1 NOTE

=head1 REFERENCE

B<RFC2765>

3.1.  Translating IPv4 Headers into IPv6 Headers

   If there is need to add a fragment header (the DF bit is not set or
   the packet is a fragment) the header fields are set as above with the
   following exceptions:

      Fragment header fields:

          Next Header:
                  Protocol field copied from IPv4 header.

          Identification:
                  The low-order 16 bits copied from the Identification
                  field in the IPv4 header.  The high-order 16 bits set
                  to zero.

=head1 SEE ALSO

	perldoc V6evalTool

=cut