Test Information

Title	Receiving invalid CoTI (piggybacking)
CommandLine	./CoTI_Piggyback.seq -pkt ./CoTI_Piggyback.def -log 8.html -ti Receiving invalid CoTI (piggybacking)
TestVersion	REL_2_1_1
ToolVersion	REL_3_3_2
Start	2011/10/24 06:16:13
Tn	/usr/local/v6eval//etc//tn.def
Nu	/usr/local/v6eval//etc//nut.def
Pkt	./CoTI_Piggyback.def
System	freebsd-i386
TargetName	freebsd-head
HostName	ipv6-conf
Type	host

Test Sequence Execution Log

06:16:13	Start
06:16:13	Start Capturing Packets (Link0)
	INITIALIZATION
06:16:13	Clear Captured Packets (Link0)
	Check Reachability
06:16:13	vSend(Link0,ra_from_r0) Send RA: R0 (Link0) -> all-nodes multicast address (Link0)
06:16:13	Clear Captured Packets (Link0)
06:16:13	vSend(Link0,ereq_from_hoa_to_nut_global) Send Echo Request: MN (LinkX) -> NUT (Link0) (global)
06:16:13	vRecv(Link0,ns_from_nut_to_r0_multicast_global ns_from_nut_to_r0_multicast_linklocal ns_from_nut_to_r0_unicast_global ns_from_nut_to_r0_unicast_linklocal ns_from_nut_to_r0_unicast_sll_global ns_from_nut_to_r0_unicast_sll_linklocal ra_from_nut rs_from_nut rs_from_nut_sll erep_from_nut_to_hoa_global) timeout:1 cntLimit:0 seektime:0 Recv Echo Reply: NUT (Link0) -> MN (LinkX) (global)
	TEST PROCEDURE
06:16:13	Clear Captured Packets (Link0)
	Receiving CoTI
06:16:13	Clear Captured Packets (Link0)
06:16:13	vSend(Link0,CoTI_Piggyback) Send CoTI (piggybacking): MN' (LinkY) -> NUT (Link0) (global)
06:16:13	vRecv(Link0,ns_from_nut_to_r0_multicast_global ns_from_nut_to_r0_multicast_linklocal ns_from_nut_to_r0_unicast_global ns_from_nut_to_r0_unicast_linklocal ns_from_nut_to_r0_unicast_sll_global ns_from_nut_to_r0_unicast_sll_linklocal ra_from_nut rs_from_nut rs_from_nut_sll ParameterProblem_CoTI_Piggyback) timeout:1 cntLimit:0 seektime:0 recv unexpect packet at 06:16:13 vRecv() return status=1
	Recv unexpect packets
06:16:14	End

Packet Reverse Log

Send RA: R0 (Link0) -> all-nodes multicast address (Link0) at 06:16:13

Frame_Ether                     (length:118)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 33:33:00:00:00:01
| | SourceAddress                    = 00:00:00:00:a0:a0
| | Type                             = 34525
| Packet_IPv6                     (length:104)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 64
| | | NextHeader                       = 58
| | | HopLimit                         = 255
| | | SourceAddress                    = fe80::200:ff:fe00:a0a0
| | | DestinationAddress               = ff02::1
| | ICMPv6_RA                       (length:64)
| | | Type                             = 134
| | | Code                             = 0
| | | Checksum                         = 54628 calc(54628)
| | | CurHopLimit                      = 0
| | | MFlag                            = 0
| | | OFlag                            = 0
| | | HFlag                            = 0
| | | Preference                       = 0
| | | Reserved                         = 0
| | | LifeTime                         = 1800
| | | ReachableTime                    = 0
| | | RetransTimer                     = 0
| | | Opt_ICMPv6_SLL                  (length:8)
| | | | Type                             = 1
| | | | Length                           = 1
| | | | LinkLayerAddress                 = 00:00:00:00:a0:a0
| | | Opt_ICMPv6_MTU                  (length:8)
| | | | Type                             = 5
| | | | Length                           = 1
| | | | Reserved                         = 0
| | | | MTU                              = 1500
| | | Opt_ICMPv6_Prefix               (length:32)
| | | | Type                             = 3
| | | | Length                           = 4
| | | | PrefixLength                     = 64
| | | | LFlag                            = 1
| | | | AFlag                            = 1
| | | | RFlag                            = 0
| | | | Reserved1                        = 0
| | | | ValidLifetime                    = 2592000
| | | | PreferredLifetime                = 604800
| | | | Reserved2                        = 0
| | | | Prefix                           = 3ffe:501:ffff:100::

Send Echo Request: MN (LinkX) -> NUT (Link0) (global) at 06:16:13

Frame_Ether                     (length:70)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 00:1c:23:09:f4:e8
| | SourceAddress                    = 00:00:00:00:a0:a0
| | Type                             = 34525
| Packet_IPv6                     (length:56)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 16
| | | NextHeader                       = 58
| | | HopLimit                         = 64
| | | SourceAddress                    = 3ffe:501:ffff:102:200:ff:fe00:14
| | | DestinationAddress               = 3ffe:501:ffff:100:21c:23ff:fe09:f4e8
| | ICMPv6_EchoRequest              (length:16)
| | | Type                             = 128
| | | Code                             = 0
| | | Checksum                         = 15213 calc(15213)
| | | Identifier                       = 0
| | | SequenceNumber                   = 0
| | | Payload                         (length:8)
| | | | data                             = 01234567 89abcdef

Recv at 06:16:13

Frame_Ether                     (length:70)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 00:00:00:00:a0:a0
| | SourceAddress                    = 00:1c:23:09:f4:e8
| | Type                             = 34525
| Packet_IPv6                     (length:56)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 16
| | | NextHeader                       = 58
| | | HopLimit                         = 64
| | | SourceAddress                    = 3ffe:501:ffff:100:21c:23ff:fe09:f4e8
| | | DestinationAddress               = 3ffe:501:ffff:102:200:ff:fe00:14
| | ICMPv6_EchoReply                (length:16)
| | | Type                             = 129
| | | Code                             = 0
| | | Checksum                         = 14957 calc(14957)
| | | Identifier                       = 0
| | | SequenceNumber                   = 0
| | | Payload                         (length:8)
| | | | data                             = 01234567 89abcdef
===ns_from_nut_to_r0_multicast_global=================================
ng compare _HETHER_nut2r0solnode_global.DestinationAddress received:00:00:00:00:a0:a0 = 33:33:ff:00:a0:a0
ng compare _HDR_IPV6_ns_from_nut_to_r0_multicast_global.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_multicast_global.DestinationAddress received:3ffe:501:ffff:102:200:ff:fe00:14 = ff02::1:ff00:a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_EchoReply
===ns_from_nut_to_r0_multicast_linklocal=================================
ng compare _HETHER_nut2r0solnode_linklocal.DestinationAddress received:00:00:00:00:a0:a0 = 33:33:ff:00:a0:a0
ng compare _HDR_IPV6_ns_from_nut_to_r0_multicast_linklocal.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_multicast_linklocal.DestinationAddress received:3ffe:501:ffff:102:200:ff:fe00:14 = ff02::1:ff00:a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_EchoReply
===ns_from_nut_to_r0_unicast_global=================================
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_global.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_global.DestinationAddress received:3ffe:501:ffff:102:200:ff:fe00:14 = 3ffe:501:ffff:100::a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_EchoReply
===ns_from_nut_to_r0_unicast_linklocal=================================
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_linklocal.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_linklocal.DestinationAddress received:3ffe:501:ffff:102:200:ff:fe00:14 = fe80::200:ff:fe00:a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_EchoReply
===ns_from_nut_to_r0_unicast_sll_global=================================
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_sll_global.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_sll_global.DestinationAddress received:3ffe:501:ffff:102:200:ff:fe00:14 = 3ffe:501:ffff:100::a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_EchoReply
===ns_from_nut_to_r0_unicast_sll_linklocal=================================
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_sll_linklocal.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_sll_linklocal.DestinationAddress received:3ffe:501:ffff:102:200:ff:fe00:14 = fe80::200:ff:fe00:a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_EchoReply
===ra_from_nut=================================
ng compare _HETHER_nut2allnodes.DestinationAddress received:00:00:00:00:a0:a0 = 33:33:00:00:00:01
ng compare _HDR_IPV6_ra_from_nut.HopLimit received:64 = 255
ng compare _HDR_IPV6_ra_from_nut.SourceAddress received:3ffe:501:ffff:100:21c:23ff:fe09:f4e8 = fe80::21c:23ff:fe09:f4e8
ng compare _HDR_IPV6_ra_from_nut.DestinationAddress received:3ffe:501:ffff:102:200:ff:fe00:14 = ff02::1
ng meta Packet_IPv6.ICMPv6_RA != Packet_IPv6.ICMPv6_EchoReply
===rs_from_nut=================================
ng compare _HETHER_nut2allrouters.DestinationAddress received:00:00:00:00:a0:a0 = 33:33:00:00:00:02
ng compare _HDR_IPV6_rs_from_nut.HopLimit received:64 = 255
ng compare _HDR_IPV6_rs_from_nut.SourceAddress received:3ffe:501:ffff:100:21c:23ff:fe09:f4e8 = oneof(v6("::0"),nutv6())
ng compare _HDR_IPV6_rs_from_nut.DestinationAddress received:3ffe:501:ffff:102:200:ff:fe00:14 = ff02::2
ng meta Packet_IPv6.ICMPv6_RS != Packet_IPv6.ICMPv6_EchoReply
===rs_from_nut_sll=================================
ng compare _HETHER_nut2allrouters.DestinationAddress received:00:00:00:00:a0:a0 = 33:33:00:00:00:02
ng compare _HDR_IPV6_rs_from_nut_sll.HopLimit received:64 = 255
ng compare _HDR_IPV6_rs_from_nut_sll.SourceAddress received:3ffe:501:ffff:100:21c:23ff:fe09:f4e8 = fe80::21c:23ff:fe09:f4e8
ng compare _HDR_IPV6_rs_from_nut_sll.DestinationAddress received:3ffe:501:ffff:102:200:ff:fe00:14 = ff02::2
ng meta Packet_IPv6.ICMPv6_RS != Packet_IPv6.ICMPv6_EchoReply
===erep_from_nut_to_hoa_global=================================

Send CoTI (piggybacking): MN' (LinkY) -> NUT (Link0) (global) at 06:16:13

Frame_Ether                     (length:86)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 00:1c:23:09:f4:e8
| | SourceAddress                    = 00:00:00:00:a0:a0
| | Type                             = 34525
| Packet_IPv6                     (length:72)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 32
| | | NextHeader                       = 135
| | | HopLimit                         = 64
| | | SourceAddress                    = 3ffe:501:ffff:103:200:ff:fe00:14
| | | DestinationAddress               = 3ffe:501:ffff:100:21c:23ff:fe09:f4e8
| | Hdr_MH_CoTI                     (length:16)
| | | NextHeader                       = 58
| | | HeaderExtLength                  = 1
| | | Type                             = 2
| | | Reserved1                        = 0
| | | Checksum                         = 7492 calc(7492)
| | | Reserved2                        = 0
| | | InitCookie                       = ffffffffffffffff
| | ICMPv6_EchoRequest              (length:16)
| | | Type                             = 128
| | | Code                             = 0
| | | Checksum                         = 15212 calc(15212)
| | | Identifier                       = 0
| | | SequenceNumber                   = 0
| | | Payload                         (length:8)
| | | | data                             = 01234567 89abcdef

Recv at 06:16:13

Frame_Ether                     (length:134)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 00:00:00:00:a0:a0
| | SourceAddress                    = 00:1c:23:09:f4:e8
| | Type                             = 34525
| Packet_IPv6                     (length:120)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 80
| | | NextHeader                       = 58
| | | HopLimit                         = 64
| | | SourceAddress                    = 3ffe:501:ffff:100:21c:23ff:fe09:f4e8
| | | DestinationAddress               = 3ffe:501:ffff:103:200:ff:fe00:14
| | ICMPv6_ParameterProblem         (length:80)
| | | Type                             = 4
| | | Code                             = 1
| | | Checksum                         = 5359 calc(5359)
| | | Pointer                          = 6
| | | Payload                         (length:72)
| | | | data                             = 
| | | |   60000000 00208740  3ffe0501 ffff0103  020000ff fe000014  3ffe0501 ffff0100
| | | |   021c23ff fe09f4e8  3a010200 1d440000  ffffffff ffffffff  80003b6c 00000000
| | | |   01234567 89abcdef
===ns_from_nut_to_r0_multicast_global=================================
ng compare _HETHER_nut2r0solnode_global.DestinationAddress received:00:00:00:00:a0:a0 = 33:33:ff:00:a0:a0
ng compare _HDR_IPV6_ns_from_nut_to_r0_multicast_global.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_multicast_global.DestinationAddress received:3ffe:501:ffff:103:200:ff:fe00:14 = ff02::1:ff00:a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_ParameterProblem
===ns_from_nut_to_r0_multicast_linklocal=================================
ng compare _HETHER_nut2r0solnode_linklocal.DestinationAddress received:00:00:00:00:a0:a0 = 33:33:ff:00:a0:a0
ng compare _HDR_IPV6_ns_from_nut_to_r0_multicast_linklocal.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_multicast_linklocal.DestinationAddress received:3ffe:501:ffff:103:200:ff:fe00:14 = ff02::1:ff00:a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_ParameterProblem
===ns_from_nut_to_r0_unicast_global=================================
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_global.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_global.DestinationAddress received:3ffe:501:ffff:103:200:ff:fe00:14 = 3ffe:501:ffff:100::a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_ParameterProblem
===ns_from_nut_to_r0_unicast_linklocal=================================
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_linklocal.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_linklocal.DestinationAddress received:3ffe:501:ffff:103:200:ff:fe00:14 = fe80::200:ff:fe00:a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_ParameterProblem
===ns_from_nut_to_r0_unicast_sll_global=================================
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_sll_global.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_sll_global.DestinationAddress received:3ffe:501:ffff:103:200:ff:fe00:14 = 3ffe:501:ffff:100::a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_ParameterProblem
===ns_from_nut_to_r0_unicast_sll_linklocal=================================
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_sll_linklocal.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_from_nut_to_r0_unicast_sll_linklocal.DestinationAddress received:3ffe:501:ffff:103:200:ff:fe00:14 = fe80::200:ff:fe00:a0a0
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_ParameterProblem
===ra_from_nut=================================
ng compare _HETHER_nut2allnodes.DestinationAddress received:00:00:00:00:a0:a0 = 33:33:00:00:00:01
ng compare _HDR_IPV6_ra_from_nut.HopLimit received:64 = 255
ng compare _HDR_IPV6_ra_from_nut.SourceAddress received:3ffe:501:ffff:100:21c:23ff:fe09:f4e8 = fe80::21c:23ff:fe09:f4e8
ng compare _HDR_IPV6_ra_from_nut.DestinationAddress received:3ffe:501:ffff:103:200:ff:fe00:14 = ff02::1
ng meta Packet_IPv6.ICMPv6_RA != Packet_IPv6.ICMPv6_ParameterProblem
===rs_from_nut=================================
ng compare _HETHER_nut2allrouters.DestinationAddress received:00:00:00:00:a0:a0 = 33:33:00:00:00:02
ng compare _HDR_IPV6_rs_from_nut.HopLimit received:64 = 255
ng compare _HDR_IPV6_rs_from_nut.SourceAddress received:3ffe:501:ffff:100:21c:23ff:fe09:f4e8 = oneof(v6("::0"),nutv6())
ng compare _HDR_IPV6_rs_from_nut.DestinationAddress received:3ffe:501:ffff:103:200:ff:fe00:14 = ff02::2
ng meta Packet_IPv6.ICMPv6_RS != Packet_IPv6.ICMPv6_ParameterProblem
===rs_from_nut_sll=================================
ng compare _HETHER_nut2allrouters.DestinationAddress received:00:00:00:00:a0:a0 = 33:33:00:00:00:02
ng compare _HDR_IPV6_rs_from_nut_sll.HopLimit received:64 = 255
ng compare _HDR_IPV6_rs_from_nut_sll.SourceAddress received:3ffe:501:ffff:100:21c:23ff:fe09:f4e8 = fe80::21c:23ff:fe09:f4e8
ng compare _HDR_IPV6_rs_from_nut_sll.DestinationAddress received:3ffe:501:ffff:103:200:ff:fe00:14 = ff02::2
ng meta Packet_IPv6.ICMPv6_RS != Packet_IPv6.ICMPv6_ParameterProblem
===ParameterProblem_CoTI_Piggyback=================================
ng compare _ICMPV6_ParameterProblem_CoTI_Piggyback.Code received:1 = 0
ng compare _ICMPV6_ParameterProblem_CoTI_Piggyback.Pointer received:6 = 40