NAME

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

TARGET

        Router

SYNOPSIS

        automatic_encapsulation_router.seq [-tooloption ...] -p 
        automatic_encapsulation_router.def

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