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