Commit 5808ebc2 authored by mullers's avatar mullers
Browse files

some more TCs added

parent 1170ab19
Loading
Loading
Loading
Loading
+0 −1
Original line number Original line Diff line number Diff line
@@ -1150,7 +1150,6 @@ group ipv4Definitions {


	group ipv4Constants {
	group ipv4Constants {
		
		
		//const UInt32  	c_ipv4IcmpPointer4 := 4;
		const UInt4 	c_defaultIhsLength := 5;
		const UInt4 	c_defaultIhsLength := 5;
		const UInt1 	c_doNotFragFlag0 := 0;
		const UInt1 	c_doNotFragFlag0 := 0;
		const UInt1 	c_doNotFragFlag1 := 1;
		const UInt1 	c_doNotFragFlag1 := 1;
+15 −0
Original line number Original line Diff line number Diff line
@@ -429,6 +429,21 @@
			 }}
			 }}
		 }
		 }


		template NeighborSolicitation mw_nbrSol_noExtHdr_noOpts (	template Ipv6Address p_src,
																	 template Ipv6Address p_dst,
																	 template Ipv6Address p_targetAddr) := {
			 ipv6Hdr := mw_ipHdr_nextHdr_srcDst(c_icmpHdr, p_src, p_dst),
			 extHdrList := omit,
			 ipv6Payload := { nbrSolMsg := {
				 icmpType:= c_nbrSolMsg,
				 icmpCode:= c_icmpCode0,
				 checksum:= ?,
				 reserved:= c_uInt16Zero,
				 targetAddr:= p_targetAddr,
				 nbrSolOptions:= omit
			 }}
		 }

		 /*
		 /*
		  *	@param  p_src Binary IPv6 address associated with the
		  *	@param  p_src Binary IPv6 address associated with the
		  *          test component.
		  *          test component.
+39 −0
Original line number Original line Diff line number Diff line
@@ -1645,4 +1645,43 @@


	}//end f_receiveRtAdvOverIpv4
	}//end f_receiveRtAdvOverIpv4


	/*
	 * @desc 	This sends an ICMPv4 packet with tunneled EchoRequest from an IPv6over4 node to any
	 *			NUT, and waits for a Neibor Solicitation for a fixed amount of time.
	 * @remark  Time limit is defined by module parameter PX_TAC (see comp type)
	 * @param 	p_ipv4NutAddr IPv4 address of node under test
	 * @param 	p_ipv4TnAddr IPv4 address of testing node which calls this function 
	 * @param 	p_nbrSol Template which is expected to be received
	 * @param	p_ipv4Packet Received IPv4 packet
	 * @return 	execution status
	*/
	function f_receiveNbrSol(
		in template Ipv4Address 			p_ipv4NutAddr,
		in template Ipv4Address				p_ipv4TnAddr,
		in template NeighborSolicitation 	p_nbrSol,
		out Ipv4Packet						p_ipv4Packet
	)
	runs on LibIpv6Node
	return FncRetCode {

		var FncRetCode v_ret := e_error;

		tc_ac.start;
		alt{
			[] ipv4Port.receive(mw_ipv4Packet_tunneledIpv6 (
									p_ipv4NutAddr,
									p_ipv4TnAddr,
									p_nbrSol
								)) -> value p_ipv4Packet {
				tc_ac.stop;
				return e_success;
			}
			[] tc_ac.timeout {
				log("**** f_receiveNbrSol: Timeout tc_ac: Expected message not received. ****");
				return e_timeout;
			}
		}//end alt

	}//end f_receiveNbrSol

} // end module LibIpv6_CommonTrans_Functions
} // end module LibIpv6_CommonTrans_Functions