# NAME

            icmpv4.seq - Verify that node send a ICMPv6 error message when
            receive a ICMPv4 error message

# TARGET

            Router

# SYNOPSIS

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

# INITIALIZATION

    	Before this test starts, run initialize.seq.

# TEST PROCEDURE

            This test verifies that NUT received valid ICMPv6 Error Message
            in response to receive ICMPv4 Error Message generated by IPv4
            tunneling packet

            Network Topology

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

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

            ---------------------      ------------------------

            0.
            ===================>
            ICMPv6 Echo Request (#1)
                    IPv6 Header
                            src address : TN LINK0  IPv6 global address
                            dst address : Off-link IPv6 global address

                                    <===================
            v6 over v4 packet (#2)
                    Outer Header (IPv4)
                            src address : NUT Link1 IPv4 address
                            dst address : Off-link IPv4 address
                    Inner Header (IPv6)
                            src address : TN LINK0  IPv6 global address
                            dst address : Off-link IPv6 global address

            -- hop limit --

            1.
                                        ===================>
            ICMPv4 Time Exceed message
                    IPv4 Header
                            src address : Off-link IPv4 address
                            dst address : NUT Link1 IPv4 address
                    ICMPv4
                            code : 0
                            payload : v6 over v4 packet (#2)

            2.
            << JUDGMENT >>

            <===================
            ICMPv6 Time Exceed message
                    IPv6 Header
                            src address : NUT LINK0 IPv6 global address
                            dst address : TN LINK0  IPv6 global address
                    ICMPv6
                            code : 0
                            payload : v6 packet (#1)

            -- address unreachable --

            1.
                                        ===================>
            ICMPv4 Destination Unreachable message
                    IPv4 Header
                            src address : Off-link IPv4 address
                            dst address : NUT Link1 IPv4 address
                    ICMPv4
                            code : 1
                            payload : v6 over v4 packet (#2)

            2.
            << JUDGMENT >>

            <===================
            ICMPv6 Destination Unreachable message
                    IPv6 Header
                            src address : NUT LINK0 IPv6 global address
                            dst address : TN LINK0  IPv6 global address
                    ICMPv6
                            code : 3
                            payload : v6 packet (#1)

# JUDGMENT

            << PASS >>
                    NUT received ICMPv6 error messages

            << FAIL >>
                    NUT did not receive ICMPv6 error messages

# SEE ALSO

              perldoc V6evalTool