#!/usr/bin/perl
#
# $Copyright$
#
# $TAHI: ct/natpt/rfc2765_3.1_frag.seq,v 1.4 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_DF        => 'Send IPv4 with (DF,MF,Offset) = (1,0,0)',
  ipv6_DF        => 'Recv IPv6 with no fragment hdr',
  ipv4_NONE      => 'Send IPv4 with (DF,MF,Offset) = (0,0,0)',
  ipv6_NONE      => 'Recv IPv6 with fragment hdr, M = 0 and Offset = 0',
  ipv4_MF        => 'Send IPv4 with (DF,MF,Offset) = (0,1,0)',
  ipv6_MF        => 'Recv IPv6 with fragment hdr, M = 1 and Offset = 0',
  ipv4_DF_MF     => 'Send IPv4 with (DF,MF,Offset) = (1,1,0)',
  ipv6_DF_MF     => 'Recv IPv6 with fragment hdr, M = 1 and Offset = 0',
  ipv4_OFF       => 'Send IPv4 with (DF,MF,Offset) = (0,0,20)',
  ipv6_OFF       => 'Recv IPv6 with fragment hdr, M = 0 and Offset = 20',
  ipv4_DF_OFF    => 'Send IPv4 with (DF,MF,Offset) = (1,0,20)',
  ipv6_DF_OFF    => 'Recv IPv6 with fragment hdr, M = 0 and Offset = 20',
  ipv4_MF_OFF    => 'Send IPv4 with (DF,MF,Offset) = (0,1,20)',
  ipv6_MF_OFF    => 'Recv IPv6 with fragment hdr, M = 1 and Offset = 20',
  ipv4_DF_MF_OFF => 'Send IPv4 with (DF,MF,Offset) = (1,1,20)',
  ipv6_DF_MF_OFF => 'Recv IPv6 with fragment hdr, M = 1 and Offset = 20',

  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_DF', $IF, 'ipv6_DF');
$result += send_recv($IF1, 'ipv4_NONE', $IF, 'ipv6_NONE');
$result += send_recv($IF1, 'ipv4_MF', $IF, 'ipv6_MF');
$result += send_recv($IF1, 'ipv4_DF_MF', $IF, 'ipv6_DF_MF');
$result += send_recv($IF1, 'ipv4_OFF', $IF, 'ipv6_OFF');
$result += send_recv($IF1, 'ipv4_DF_OFF', $IF, 'ipv6_DF_OFF');
$result += send_recv($IF1, 'ipv4_MF_OFF', $IF, 'ipv6_MF_OFF');
$result += send_recv($IF1, 'ipv4_DF_MF_OFF', $IF, 'ipv6_DF_MF_OFF');

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_frag.seq - Verify IPv6 <-> IPv4 header 
        translation in accordance with RFC2765 [SIIT]

=head1 TARGET

	Router

=head1 SYNOPSIS

	rfc2765_3.1_frag.seq [-tooloption ...] 
        -p rfc2765_3.1_frag.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 translated an IPv4 fragment
        or IPv4 package with DF=0, to an IPv6 package with Fragment header.
	
	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 = 1
                        More fragments = 0
                        Offset = 0
                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
                        NextHeader = 58
                        PayloadLength = 14
                ICMPv6 echo request

=begin html <HR WIDTH=80%>

	2.1.[1-3]
                                   <===================
	ICMPv4 Echo request
                IPv4 Header
			src address : TN LINK1 IPv4 address
			dst address : TN LINK0 IPv4 address
                        (DF,MF,Offset) = (0, 0, 0)
                                      or (0, 1, 0)
                                      or (1, 1, 0)
                ICMPv4 echo request

	2.2.[1-3]
	<<JUDGMENT>>
	<===================
	ICMPv6 Echo Request
		IPv6 Header
			src address : TN LINK1 IPv4 embedded IPv6 address
			dst address : TN LINK0 IPv4 embedded IPv6 address
                        NextHeader = 44
                        PayloadLength = 22
                Fragment Header
                        More fragments = (0)
                                      or (1)
                                      or (1)
                        FragmentOffset = 0
                ICMPv6 echo request

=begin html <HR WIDTH=80%>

	3.1.[1-4]
                                   <===================
	ICMPv4 Echo request
                IPv4 Header
			src address : TN LINK1 IPv4 address
			dst address : TN LINK0 IPv4 address
                        (DF,MF,Offset) = (0, 0, 20)
                                      or (1, 0, 20)
                                      or (0, 1, 20)
                                      or (1, 1, 20)
                Payload data = ICMPv4 echo request

	3.2.[1-4]
	<<JUDGMENT>>
	<===================
	ICMPv6 Echo Request
		IPv6 Header
			src address : TN LINK1 IPv4 embedded IPv6 address
			dst address : TN LINK0 IPv4 embedded IPv6 address
                        NextHeader = 44
                        PayloadLength = 22
                Fragment Header
                        More fragments = (0)
                                      or (0)
                                      or (1)
                                      or (1)
                        FragmentOffset = 20
                Payload data = ICMPv4 echo request

=head1 JUDGMENT

	<< PASS >>
		NUT translates an IPv4 packages to IPv6 packages, including
                Fragment header when needed.

	<< FAIL >>	
		NUT fails the translation.

=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:

      IPv6 fields:

          Payload Length:
                  Total length value from IPv4 header, plus 8 for the
                  fragment header, minus the size of the IPv4 header
                  and IPv4 options, if present.

          Next Header:
                  Fragment Header (44).

      Fragment header fields:

          Fragment Offset:
                  Fragment Offset copied from the IPv4 header.

          M flag:
                  More Fragments bit copied from the IPv4 header.

=head1 SEE ALSO

	perldoc V6evalTool

=cut