NAME

        automatic_encapsulation_router.seq - Verify that encapsulation a 
        IPv6 datagram in the automatic tunneling of IPv6 over IPv4 


TARGET

        Router


INITIALIZATION

	Before this test starts, run initialize.seq.


TEST PROCEDURE

        This test verifies that NUT encapsulates the IPv6 packet in 
        automatic tunneling of IPv6 over IPv4.
        
        Network Topology

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

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

        1.
        ===================>
        ICMPv6 Echo Request
                IPv6 Header
                        src address : TN LINK0 IPv4 compatible IPv6 address
                        dst address : Off-link IPv4 compatible IPv6 address

        2.
        <<JUDGMENT>>
                                <===================
        IPv4 packet encapsulating IPv6 packet
                Outer Header (IPv4)
                        src address : NUT's Link1 IPv6 address
                        dst address : Off-link IPv6 address
                Inner Header (IPv6)
                        src address : TN LINK0 IPv4 compatible IPv6 address
                        dst address : Off-link IPv4 compatible IPv6 address
         
=head1 JUDGMENT

        << PASS >>
                NUT received IPv4 packet encapsulating IPv6 datagram
                

        << FAIL >>      
                NUT did not receive IPv4 packet encapsulating IPv6 datagram


SEE ALSO

        perldoc V6evalTool