# 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