Commit a470cc65 authored by schmitting's avatar schmitting
Browse files

RFC2765 finished

parent b094ed15

ttcn3/EtsiAts/AtsIpv6/AtsTransitioning/AtsIpv6_Transitioning_Testcases.ttcn

+747 −8
Original line number Diff line number Diff line
@@ -19,6 +19,7 @@ module AtsIpv6_Transitioning_Testcases { 
	import from LibIpv6_ExternalFunctions all;

	import from LibIpv6_CommonRfcs_TypesAndValues all;

	import from LibIpv6_CommonRfcs_Templates all;

	import from LibIpv6_Rfc2461NeighborDiscovery_TypesAndValues all;

	import from LibIpv6_Rfc2463Icmpv6_TypesAndValues all;

	import from LibIpv6_Rfc2463Icmpv6_Templates all;

	import from LibIpv6_Rfc792Icmpv4_TypesAndValues all;
@@ -4300,13 +4301,505 @@ group iPv6toIPv4 { 


		f_cfTwoPtcsDown(v_iPv4, v_iPv6);



	} // end TC_TRANS_3106_01

	} // end TC_TRANS_3108_01

	

	/*

	 * @desc Testcase function for IPv4 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3108_01_IPv4 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		activate(a_tn_nut_4(p_cfMsg.paramsRt01, p_cfMsg.paramsIut));



		//Preamble

		f_PR_tn_nut_4(p_cfMsg, e_cleanGla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);

		

		//Test body

		//check that no IPv4 packet is received

		f_TP_ipv6DiscardPacket_4(

			p_cfMsg.paramsRt01,

			p_cfMsg.paramsHs02

		);



		// postamble

		f_PO_tn_nut_4(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);



		deactivate;



		f_cfPtcDown_4();



	} // end f_TC_TRANS_3108_01_IPv4



	/*

	 * @desc Testcase function for IPv6 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3108_01_IPv6 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		//default

		activate(a_tn_nut ( p_cfMsg, p_cfMsg.paramsHs02, p_cfMsg.paramsIut));



		// preamble

		f_PR_tn_nut(p_cfMsg, e_cleanGla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);



		// test body

		// send IPv6 packet, MLD Multicast Listener Query

		f_TP_ipv6TranslatePacket_6(

					c_multicastListenerQuery,

					p_cfMsg.paramsHs02, 

					p_cfMsg.paramsRt01);



		//Postamble

		f_PO_tn_nut(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);

			

		deactivate;



	} // end f_TC_TRANS_3108_01_IPv6



} // end group TRANS_3108_01



	group TRANS_3109_01 {



	/*

	 * @desc  'Test dropping of MLD Multicast Listener Report messages'

	 *        Uses test configuration 3.

	*/

	testcase TC_TRANS3109_01() runs on Ipv6Node system NodeTestAdapter {

		//Variables

		var Ipv6Node v_iPv4, v_iPv6;

		var CfMessage v_cfMsgIPv4, v_cfMsgIPv6;



		//Configuration

		f_cfTrans03Up_SIIT(v_iPv4, v_iPv6, v_cfMsgIPv4, v_cfMsgIPv6);



		//Start

		v_iPv4.start(f_TC_TRANS_3109_01_IPv4(v_cfMsgIPv4));

		v_iPv6.start(f_TC_TRANS_3109_01_IPv6(v_cfMsgIPv6));



		//Synchronization

		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});



		f_cfTwoPtcsDown(v_iPv4, v_iPv6);



	} // end TC_TRANS_3109_01

	

	/*

	 * @desc Testcase function for IPv4 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3109_01_IPv4 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		activate(a_tn_nut_4(p_cfMsg.paramsRt01, p_cfMsg.paramsIut));



		//Preamble

		f_PR_tn_nut_4(p_cfMsg, e_cleanGla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);

		

		//Test body

		//check that no IPv4 packet is received

		f_TP_ipv6DiscardPacket_4(

			p_cfMsg.paramsRt01,

			p_cfMsg.paramsHs02

		);



		// postamble

		f_PO_tn_nut_4(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);



		deactivate;



		f_cfPtcDown_4();



	} // end f_TC_TRANS_3109_01_IPv4



	/*

	 * @desc Testcase function for IPv6 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3109_01_IPv6 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		//default

		activate(a_tn_nut ( p_cfMsg, p_cfMsg.paramsHs02, p_cfMsg.paramsIut));



		// preamble

		f_PR_tn_nut(p_cfMsg, e_cleanGla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);



		// test body

		// send IPv6 packet, MLD Multicast Listener Report

		f_TP_ipv6TranslatePacket_6(

					c_multicastListenerReport,

					p_cfMsg.paramsHs02, 

					p_cfMsg.paramsRt01);



		//Postamble

		f_PO_tn_nut(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);

			

		deactivate;



	} // end f_TC_TRANS_3108_01_IPv6



} // end group TRANS_3109_01



	group TRANS_3110_01 {



	/*

	 * @desc  'Test dropping of MLD Multicast Listener Done messages'

	 *        Uses test configuration 3.

	*/

	testcase TC_TRANS3110_01() runs on Ipv6Node system NodeTestAdapter {

		//Variables

		var Ipv6Node v_iPv4, v_iPv6;

		var CfMessage v_cfMsgIPv4, v_cfMsgIPv6;



		//Configuration

		f_cfTrans03Up_SIIT(v_iPv4, v_iPv6, v_cfMsgIPv4, v_cfMsgIPv6);



		//Start

		v_iPv4.start(f_TC_TRANS_3110_01_IPv4(v_cfMsgIPv4));

		v_iPv6.start(f_TC_TRANS_3110_01_IPv6(v_cfMsgIPv6));



		//Synchronization

		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});



		f_cfTwoPtcsDown(v_iPv4, v_iPv6);



	} // end TC_TRANS_3110_01

	

	/*

	 * @desc Testcase function for IPv4 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3110_01_IPv4 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		activate(a_tn_nut_4(p_cfMsg.paramsRt01, p_cfMsg.paramsIut));



		//Preamble

		f_PR_tn_nut_4(p_cfMsg, e_cleanGla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);

		

		//Test body

		//check that no IPv4 packet is received

		f_TP_ipv6DiscardPacket_4(

			p_cfMsg.paramsRt01,

			p_cfMsg.paramsHs02

		);



		// postamble

		f_PO_tn_nut_4(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);



		deactivate;



		f_cfPtcDown_4();



	} // end f_TC_TRANS_3110_01_IPv4



	/*

	 * @desc Testcase function for IPv6 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3110_01_IPv6 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		//default

		activate(a_tn_nut ( p_cfMsg, p_cfMsg.paramsHs02, p_cfMsg.paramsIut));



		// preamble

		f_PR_tn_nut(p_cfMsg, e_cleanGla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);



		// test body

		// send IPv6 packet, MLD Multicast Listener Done

		f_TP_ipv6TranslatePacket_6(

					c_multicastListenerDone,

					p_cfMsg.paramsHs02, 

					p_cfMsg.paramsRt01);



		//Postamble

		f_PO_tn_nut(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);

			

		deactivate;



	} // end f_TC_TRANS_3110_01_IPv6



} // end group TRANS_3110_01



	group TRANS_3110_01 {



	/*

	 * @desc  'Test dropping of Router Solicitation messages'

	 *        Uses test configuration 3.

	*/

	testcase TC_TRANS3111_01() runs on Ipv6Node system NodeTestAdapter {

		//Variables

		var Ipv6Node v_iPv4, v_iPv6;

		var CfMessage v_cfMsgIPv4, v_cfMsgIPv6;



		//Configuration

		f_cfTrans03Up_SIIT(v_iPv4, v_iPv6, v_cfMsgIPv4, v_cfMsgIPv6);



		//Start

		v_iPv4.start(f_TC_TRANS_3111_01_IPv4(v_cfMsgIPv4));

		v_iPv6.start(f_TC_TRANS_3111_01_IPv6(v_cfMsgIPv6));



		//Synchronization

		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});



		f_cfTwoPtcsDown(v_iPv4, v_iPv6);



	} // end TC_TRANS_3111_01

	

	/*

	 * @desc Testcase function for IPv4 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3111_01_IPv4 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		activate(a_tn_nut_4(p_cfMsg.paramsRt01, p_cfMsg.paramsIut));



		//Preamble

		f_PR_tn_nut_4(p_cfMsg, e_cleanGla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);

		

		//Test body

		//check that no IPv4 packet is received

		f_TP_ipv6DiscardPacket_4(

			p_cfMsg.paramsRt01,

			p_cfMsg.paramsHs02

		);



		// postamble

		f_PO_tn_nut_4(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);



		deactivate;



		f_cfPtcDown_4();



	} // end f_TC_TRANS_3111_01_IPv4



	/*

	 * @desc Testcase function for IPv6 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3111_01_IPv6 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		//default

		activate(a_tn_nut ( p_cfMsg, p_cfMsg.paramsHs02, p_cfMsg.paramsIut));



		// preamble

		f_PR_tn_nut(p_cfMsg, e_cleanGla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);



		// test body

		// send IPv6 packet, Router Solicitation

		f_TP_ipv6TranslatePacket_6(

					c_rtSolMsg,

					p_cfMsg.paramsHs02, 

					p_cfMsg.paramsRt01);



		//Postamble

		f_PO_tn_nut(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);

			

		deactivate;



	} // end f_TC_TRANS_3111_01_IPv6



} // end group TRANS_3111_01



	group TRANS_3112_01 {



	/*

	 * @desc  'Test dropping of Router Advertisement messages'

	 *        Uses test configuration 3.

	*/

	testcase TC_TRANS3112_01() runs on Ipv6Node system NodeTestAdapter {

		//Variables

		var Ipv6Node v_iPv4, v_iPv6;

		var CfMessage v_cfMsgIPv4, v_cfMsgIPv6;



		//Configuration

		f_cfTrans03Up_SIIT(v_iPv4, v_iPv6, v_cfMsgIPv4, v_cfMsgIPv6);



		//Start

		v_iPv4.start(f_TC_TRANS_3112_01_IPv4(v_cfMsgIPv4));

		v_iPv6.start(f_TC_TRANS_3112_01_IPv6(v_cfMsgIPv6));



		//Synchronization

		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});



		f_cfTwoPtcsDown(v_iPv4, v_iPv6);



	} // end TC_TRANS_3112_01

	

	/*

	 * @desc Testcase function for IPv4 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3112_01_IPv4 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		activate(a_tn_nut_4(p_cfMsg.paramsRt01, p_cfMsg.paramsIut));



		//Preamble

		f_PR_tn_nut_4(p_cfMsg, e_cleanGla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);

		

		//Test body

		//check that no IPv4 packet is received

		f_TP_ipv6DiscardPacket_4(

			p_cfMsg.paramsRt01,

			p_cfMsg.paramsHs02

		);



		// postamble

		f_PO_tn_nut_4(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);



		deactivate;



		f_cfPtcDown_4();



	} // end f_TC_TRANS_3112_01_IPv4



	/*

	 * @desc Testcase function for IPv6 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3112_01_IPv6 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		//default

		activate(a_tn_nut ( p_cfMsg, p_cfMsg.paramsHs02, p_cfMsg.paramsIut));



		// preamble

		f_PR_tn_nut(p_cfMsg, e_cleanGla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);



		// test body

		// send IPv6 packet, Router Advertisement

		f_TP_ipv6TranslatePacket_6(

					c_rtAdvMsg,

					p_cfMsg.paramsHs02, 

					p_cfMsg.paramsRt01);



		//Postamble

		f_PO_tn_nut(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);

			

		deactivate;



	} // end f_TC_TRANS_3112_01_IPv6



} // end group TRANS_3112_01



	group TRANS_3113_01 {



	/*

	 * @desc  'Test dropping of Neighbour Solicitation messages'

	 *        Uses test configuration 3.

	*/

	testcase TC_TRANS3113_01() runs on Ipv6Node system NodeTestAdapter {

		//Variables

		var Ipv6Node v_iPv4, v_iPv6;

		var CfMessage v_cfMsgIPv4, v_cfMsgIPv6;



		//Configuration

		f_cfTrans03Up_SIIT(v_iPv4, v_iPv6, v_cfMsgIPv4, v_cfMsgIPv6);



		//Start

		v_iPv4.start(f_TC_TRANS_3113_01_IPv4(v_cfMsgIPv4));

		v_iPv6.start(f_TC_TRANS_3113_01_IPv6(v_cfMsgIPv6));



		//Synchronization

		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});



		f_cfTwoPtcsDown(v_iPv4, v_iPv6);



	} // end TC_TRANS_3113_01

	

	/*

	 * @desc Testcase function for IPv4 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3113_01_IPv4 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		activate(a_tn_nut_4(p_cfMsg.paramsRt01, p_cfMsg.paramsIut));



		//Preamble

		f_PR_tn_nut_4(p_cfMsg, e_cleanGla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);

		

		//Test body

		//check that no IPv4 packet is received

		f_TP_ipv6DiscardPacket_4(

			p_cfMsg.paramsRt01,

			p_cfMsg.paramsHs02

		);



		// postamble

		f_PO_tn_nut_4(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);



		deactivate;



		f_cfPtcDown_4();



	} // end f_TC_TRANS_3113_01_IPv4



	/*

	 * @desc Testcase function for IPv6 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3113_01_IPv6 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		//default

		activate(a_tn_nut ( p_cfMsg, p_cfMsg.paramsHs02, p_cfMsg.paramsIut));



		// preamble

		f_PR_tn_nut(p_cfMsg, e_cleanGla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);



		// test body

		// send IPv6 packet, Neighbour Solicitation

		f_TP_ipv6TranslatePacket_6(

					c_nbrSolMsg,

					p_cfMsg.paramsHs02, 

					p_cfMsg.paramsRt01);



		//Postamble

		f_PO_tn_nut(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);

			

		deactivate;



	} // end f_TC_TRANS_3113_01_IPv6



} // end group TRANS_3113_01



	group TRANS_3114_01 {



	/*

	 * @desc  'Test dropping of Neighbour Advertisement messages'

	 *        Uses test configuration 3.

	*/

	testcase TC_TRANS3114_01() runs on Ipv6Node system NodeTestAdapter {

		//Variables

		var Ipv6Node v_iPv4, v_iPv6;

		var CfMessage v_cfMsgIPv4, v_cfMsgIPv6;



		//Configuration

		f_cfTrans03Up_SIIT(v_iPv4, v_iPv6, v_cfMsgIPv4, v_cfMsgIPv6);



		//Start

		v_iPv4.start(f_TC_TRANS_3114_01_IPv4(v_cfMsgIPv4));

		v_iPv6.start(f_TC_TRANS_3114_01_IPv6(v_cfMsgIPv6));



		//Synchronization

		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});



		f_cfTwoPtcsDown(v_iPv4, v_iPv6);



	} // end TC_TRANS_3114_01

	

	/*

	 * @desc Testcase function for IPv4 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3108_01_IPv4 (CfMessage p_cfMsg) 

	function f_TC_TRANS_3114_01_IPv4 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		activate(a_tn_nut_4(p_cfMsg.paramsRt01, p_cfMsg.paramsIut));
@@ -4328,13 +4821,13 @@ group iPv6toIPv4 { 


		f_cfPtcDown_4();



	} // end f_TC_TRANS_3108_01_IPv4

	} // end f_TC_TRANS_3114_01_IPv4



	/*

	 * @desc Testcase function for IPv6 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3108_01_IPv6 (CfMessage p_cfMsg) 

	function f_TC_TRANS_3114_01_IPv6 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		//default
@@ -4344,9 +4837,9 @@ group iPv6toIPv4 { 
		f_PR_tn_nut(p_cfMsg, e_cleanGla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);



		// test body

		// send IPv6 packet, MLD Multicast Listener Query

		// send IPv6 packet, Neighbour Advertisement

		f_TP_ipv6TranslatePacket_6(

					c_echoReplyMsg,

					c_nbrAdvMsg,

					p_cfMsg.paramsHs02, 

					p_cfMsg.paramsRt01);
@@ -4355,9 +4848,173 @@ group iPv6toIPv4 { 
			

		deactivate;



	} // end f_TC_TRANS_3108_01_IPv6

	} // end f_TC_TRANS_3114_01_IPv6



} // end group TRANS_3108_01

} // end group TRANS_3114_01



	group TRANS_3115_01 {



	/*

	 * @desc  'Test dropping of Redirect messages'

	 *        Uses test configuration 3.

	*/

	testcase TC_TRANS3115_01() runs on Ipv6Node system NodeTestAdapter {

		//Variables

		var Ipv6Node v_iPv4, v_iPv6;

		var CfMessage v_cfMsgIPv4, v_cfMsgIPv6;



		//Configuration

		f_cfTrans03Up_SIIT(v_iPv4, v_iPv6, v_cfMsgIPv4, v_cfMsgIPv6);



		//Start

		v_iPv4.start(f_TC_TRANS_3115_01_IPv4(v_cfMsgIPv4));

		v_iPv6.start(f_TC_TRANS_3115_01_IPv6(v_cfMsgIPv6));



		//Synchronization

		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});



		f_cfTwoPtcsDown(v_iPv4, v_iPv6);



	} // end TC_TRANS_3115_01

	

	/*

	 * @desc Testcase function for IPv4 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3115_01_IPv4 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		activate(a_tn_nut_4(p_cfMsg.paramsRt01, p_cfMsg.paramsIut));



		//Preamble

		f_PR_tn_nut_4(p_cfMsg, e_cleanGla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);

		

		//Test body

		//check that no IPv4 packet is received

		f_TP_ipv6DiscardPacket_4(

			p_cfMsg.paramsRt01,

			p_cfMsg.paramsHs02

		);



		// postamble

		f_PO_tn_nut_4(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);



		deactivate;



		f_cfPtcDown_4();



	} // end f_TC_TRANS_3115_01_IPv4



	/*

	 * @desc Testcase function for IPv6 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3115_01_IPv6 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		//default

		activate(a_tn_nut ( p_cfMsg, p_cfMsg.paramsHs02, p_cfMsg.paramsIut));



		// preamble

		f_PR_tn_nut(p_cfMsg, e_cleanGla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);



		// test body

		// send IPv6 packet, Redirect

		f_TP_ipv6TranslatePacket_6(

					c_redirectMsg,

					p_cfMsg.paramsHs02, 

					p_cfMsg.paramsRt01);



		//Postamble

		f_PO_tn_nut(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);

			

		deactivate;



	} // end f_TC_TRANS_3115_01_IPv6



} // end group TRANS_3115_01



	group TRANS_3116_01 {



	/*

	 * @desc  'Test dropping of unknown ICMPv6 informational messages'

	 *        Uses test configuration 3.

	*/

	testcase TC_TRANS3116_01() runs on Ipv6Node system NodeTestAdapter {

		//Variables

		var Ipv6Node v_iPv4, v_iPv6;

		var CfMessage v_cfMsgIPv4, v_cfMsgIPv6;



		//Configuration

		f_cfTrans03Up_SIIT(v_iPv4, v_iPv6, v_cfMsgIPv4, v_cfMsgIPv6);



		//Start

		v_iPv4.start(f_TC_TRANS_3116_01_IPv4(v_cfMsgIPv4));

		v_iPv6.start(f_TC_TRANS_3116_01_IPv6(v_cfMsgIPv6));



		//Synchronization

		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});



		f_cfTwoPtcsDown(v_iPv4, v_iPv6);



	} // end TC_TRANS_3116_01

	

	/*

	 * @desc Testcase function for IPv4 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3116_01_IPv4 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		activate(a_tn_nut_4(p_cfMsg.paramsRt01, p_cfMsg.paramsIut));



		//Preamble

		f_PR_tn_nut_4(p_cfMsg, e_cleanGla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);

		

		//Test body

		//check that no IPv4 packet is received

		f_TP_ipv6DiscardPacket_4(

			p_cfMsg.paramsRt01,

			p_cfMsg.paramsHs02

		);



		// postamble

		f_PO_tn_nut_4(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);



		deactivate;



		f_cfPtcDown_4();



	} // end f_TC_TRANS_3116_01_IPv4



	/*

	 * @desc Testcase function for IPv6 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3116_01_IPv6 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		//default

		activate(a_tn_nut ( p_cfMsg, p_cfMsg.paramsHs02, p_cfMsg.paramsIut));



		// preamble

		f_PR_tn_nut(p_cfMsg, e_cleanGla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);



		// test body

		// send IPv6 packet, unknown ICMP informational

		f_TP_ipv6TranslatePacket_6(

					c_unknownInformational,

					p_cfMsg.paramsHs02, 

					p_cfMsg.paramsRt01);



		//Postamble

		f_PO_tn_nut(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);

			

		deactivate;



	} // end f_TC_TRANS_3116_01_IPv6



} // end group TRANS_3116_01



	group TRANS_3118_01 {
@@ -5104,6 +5761,88 @@ group iPv6toIPv4 { 


} // end group TRANS_3127_01



	group TRANS_3129_01 {



	/*

	 * @desc  'Test dropping of unknown ICMPv6 error messages'

	 *        Uses test configuration 3.

	*/

	testcase TC_TRANS3129_01() runs on Ipv6Node system NodeTestAdapter {

		//Variables

		var Ipv6Node v_iPv4, v_iPv6;

		var CfMessage v_cfMsgIPv4, v_cfMsgIPv6;



		//Configuration

		f_cfTrans03Up_SIIT(v_iPv4, v_iPv6, v_cfMsgIPv4, v_cfMsgIPv6);



		//Start

		v_iPv4.start(f_TC_TRANS_3129_01_IPv4(v_cfMsgIPv4));

		v_iPv6.start(f_TC_TRANS_3129_01_IPv6(v_cfMsgIPv6));



		//Synchronization

		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});



		f_cfTwoPtcsDown(v_iPv4, v_iPv6);



	} // end TC_TRANS_3129_01

	

	/*

	 * @desc Testcase function for IPv4 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3129_01_IPv4 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		activate(a_tn_nut_4(p_cfMsg.paramsRt01, p_cfMsg.paramsIut));



		//Preamble

		f_PR_tn_nut_4(p_cfMsg, e_cleanGla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);

		

		//Test body

		//check that no IPv4 packet is received

		f_TP_ipv6DiscardPacket_4(

			p_cfMsg.paramsRt01,

			p_cfMsg.paramsHs02

		);



		// postamble

		f_PO_tn_nut_4(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsRt01, p_cfMsg.paramsIut);



		deactivate;



		f_cfPtcDown_4();



	} // end f_TC_TRANS_3129_01_IPv4



	/*

	 * @desc Testcase function for IPv6 interface of SIIT

 	 * @param p_cfMsg Configuration message for Test Adapter

	*/

	function f_TC_TRANS_3129_01_IPv6 (CfMessage p_cfMsg) 

	runs on Ipv6Node {



		//default

		activate(a_tn_nut ( p_cfMsg, p_cfMsg.paramsHs02, p_cfMsg.paramsIut));



		// preamble

		f_PR_tn_nut(p_cfMsg, e_cleanGla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);



		// test body

		// send IPv6 packet, unknown ICMP error

		f_TP_ipv6TranslatePacket_6(

					c_unknownError,

					p_cfMsg.paramsHs02, 

					p_cfMsg.paramsRt01);



		//Postamble

		f_PO_tn_nut(p_cfMsg, c_cleanOnlyLla, p_cfMsg.paramsHs02, p_cfMsg.paramsIut);

			

		deactivate;



	} // end f_TC_TRANS_3129_01_IPv6



} // end group TRANS_3129_01



} // end group iPv6toIPv4

} // end group rFC2765

} //end module AtsIpv6_Transitioning_Testcases