mw interface changed to ic interface (1a823939) · Commits · INT - Core Network and Interoperability Testing / IMS / IMS_IOT

AtsImsIot/AtsImsIot_Behavior.ttcn

+193 −193

File changed.

Preview size limit exceeded, changes collapsed.

AtsImsIot/AtsImsIot_Templates.ttcn

+72 −72

Original line number	Diff line number	Diff line
		@@ -113,7 +113,7 @@ module AtsImsIot_Templates {
		*
		* @desc REGISTER Request checking TP_IMS_5011_01.
		*/
		template REGISTER_Request mdw_TP_IMS_5011_01p_mw ( charstring p_EUTHostname ) modifies mw_REGISTER_Request_Base := {
		template REGISTER_Request mdw_TP_IMS_5011_01p_ic ( charstring p_EUTHostname ) modifies mw_REGISTER_Request_Base := {
		msgHeader := {
		path := mw_PathDef (p_EUTHostname),
		require := mw_Require ({"path", *}),
		@@ -136,7 +136,7 @@ module AtsImsIot_Templates {
		*
		* @desc REGISTER Request checking TP_IMS_5011_01.
		*/
		template REGISTER_Request mdw_TP_IMS_5011_01f_mw modifies mw_REGISTER_Request_Base := {
		template REGISTER_Request mdw_TP_IMS_5011_01f_ic modifies mw_REGISTER_Request_Base := {
		msgHeader := {
		pChargingVector := {
		fieldName := P_CHARGING_VECTOR_E,
		@@ -152,7 +152,7 @@ module AtsImsIot_Templates {
		*
		* @desc REGISTER Request checking TP_IMS_5134_01.
		*/
		template REGISTER_Request mdw_TP_IMS_5134_01_mw ( charstring p_EUTHostname ) modifies mw_REGISTER_Request_Base := {
		template REGISTER_Request mdw_TP_IMS_5134_01_ic ( charstring p_EUTHostname ) modifies mw_REGISTER_Request_Base := {
		msgHeader := {
		path := mw_PathDef (p_EUTHostname)
		}
		@@ -162,7 +162,7 @@ module AtsImsIot_Templates {
		*
		* @desc REGISTER Request checking TP_IMS_5011_02.
		*/
		template REGISTER_Request mdw_TP_IMS_5011_02p_mw ( charstring p_EUTHostname ) modifies mw_REGISTER_Request_Base := {
		template REGISTER_Request mdw_TP_IMS_5011_02p_ic ( charstring p_EUTHostname ) modifies mw_REGISTER_Request_Base := {
		msgHeader := {
		path := mw_PathDef (p_EUTHostname),
		require := mw_Require ({"path", *}),
		@@ -182,7 +182,7 @@ module AtsImsIot_Templates {
		*
		* @desc REGISTER Request checking TP_IMS_5011_02.
		*/
		template REGISTER_Request mdw_TP_IMS_5011_02f_mw modifies mw_REGISTER_Request_Base := {
		template REGISTER_Request mdw_TP_IMS_5011_02f_ic modifies mw_REGISTER_Request_Base := {
		msgHeader := {
		pChargingVector := mw_PChargingVector({
		{id := "term-ioi", paramValue := ?},
		@@ -195,7 +195,7 @@ module AtsImsIot_Templates {
		*
		* @desc REGISTER Request checking TP_IMS_5089_01.
		*/
		template REGISTER_Request mdw_TP_IMS_5089_01_mw_when modifies mw_REGISTER_Request_Base := {
		template REGISTER_Request mdw_TP_IMS_5089_01_ic_when modifies mw_REGISTER_Request_Base := {
		msgHeader := {
		authorization := m_Authorization(mw_credentialIntegrityNo)
		}
		@@ -205,7 +205,7 @@ module AtsImsIot_Templates {
		*
		* @desc REGISTER Request checking TP_IMS_5092_01.
		*/
		template REGISTER_Request mdw_TP_IMS_5092_01_mw_when modifies mw_REGISTER_Request_Base := {
		template REGISTER_Request mdw_TP_IMS_5092_01_ic_when modifies mw_REGISTER_Request_Base := {
		msgHeader := {
		authorization := m_Authorization(mw_credentialIntegrityNo)
		}
		@@ -215,7 +215,7 @@ module AtsImsIot_Templates {
		*
		* @desc 200 OK message for TP_IMS_5092_01
		*/
		template Response mdw_TP_IMS_5092_01_mw (charstring p_EUTHostname, template SipUrl p_eutBUri) modifies mw_200OK_Base := {
		template Response mdw_TP_IMS_5092_01_ic (charstring p_EUTHostname, template SipUrl p_eutBUri) modifies mw_200OK_Base := {
		msgHeader := {
		path := mw_PathDef (p_EUTHostname),
		pAssociatedURI := {
		@@ -237,9 +237,9 @@ module AtsImsIot_Templates {
		}
		/**
		*
		* @desc 401 Unauthorized message checking f_mtc_check_TP_IMS_5089_01_mw.
		* @desc 401 Unauthorized message checking f_mtc_check_TP_IMS_5089_01_ic.
		*/
		template Response mdw_TP_IMS_5089_01_mw modifies mw_401Unauthorized_Base := {
		template Response mdw_TP_IMS_5089_01_ic modifies mw_401Unauthorized_Base := {
		msgHeader := {
		wwwAuthenticate := mw_WwwAuthenticate
		}
		@@ -250,7 +250,7 @@ module AtsImsIot_Templates {
		*
		* @desc SUBSCRIBE checking TP_IMS_5044_01.
		*/
		template SUBSCRIBE_Request mdw_TP_IMS_5044_01_mw(
		template SUBSCRIBE_Request mdw_TP_IMS_5044_01_ic(
		template SipUrl p_subscribe_uri,
		template SipUrl p_eutAUri,
		template charstring p_EUTB_PublicId
		@@ -274,7 +274,7 @@ module AtsImsIot_Templates {
		}
		}

		template SUBSCRIBE_Request mdw_TP_IMS_5405_01_mw
		template SUBSCRIBE_Request mdw_TP_IMS_5405_01_ic
		modifies mw_SUBSCRIBE_Request_Base := {

		requestLine := {
		@@ -294,7 +294,7 @@ module AtsImsIot_Templates {
		*
		* @desc INVITE Request checking TP_IMS_5046_01
		*/
		template INVITE_Request mdw_TP_IMS_5046_01_mw (template SipUrl p_pcscfEutAUri, template SipUrl p_userEutBUrl)
		template INVITE_Request mdw_TP_IMS_5046_01_ic (template SipUrl p_pcscfEutAUri, template SipUrl p_userEutBUrl)
		modifies mw_INVITE_Request_Base := {
		msgHeader := {
		route := {
		@@ -322,7 +322,7 @@ module AtsImsIot_Templates {
		*
		* @desc INVITE Request checking TP_IMS_5048_01
		*/
		template INVITE_Request mdw_TP_IMS_5048_01_mw (template SipUrl p_pcscfEutAUri)
		template INVITE_Request mdw_TP_IMS_5048_01_ic (template SipUrl p_pcscfEutAUri)
		modifies mw_INVITE_Request_Base := {
		msgHeader := {
		route := {
		@@ -348,7 +348,7 @@ module AtsImsIot_Templates {
		*
		* @desc BYE Request checking TP_IMS_5052_01 on MW
		*/
		template BYE_Request mdw_TP_IMS_5052_01_p_mw(template CallId p_callId, template RecordRoute p_route)
		template BYE_Request mdw_TP_IMS_5052_01_p_ic(template CallId p_callId, template RecordRoute p_route)
		modifies mw_BYE_Request_Base := {
		msgHeader := {
		route := {
		@@ -359,7 +359,7 @@ module AtsImsIot_Templates {
		}
		}

		template BYE_Request mdw_TP_IMS_5052_01_f_mw(
		template BYE_Request mdw_TP_IMS_5052_01_f_ic(
		template CallId p_callId,
		template SipUrl p_pcscfEutAUri)
		modifies mw_BYE_Request_Base := {
		@@ -380,7 +380,7 @@ module AtsImsIot_Templates {
		*
		* @desc 180 Ringing Response checking TP_IMS_5055_01 on MW
		*/
		template Response mdw_TP_IMS_5055_01_mw(template SipUrl p_pcscfEutAUri, template SipUrl p_userEutAUri)
		template Response mdw_TP_IMS_5055_01_ic(template SipUrl p_pcscfEutAUri, template SipUrl p_userEutAUri)
		modifies mw_180Ringing_Base := {
		msgHeader := {
		recordRoute := {
		@@ -396,7 +396,7 @@ module AtsImsIot_Templates {
		*
		* @desc 200 OK Response checking TP_IMS_5055_02 on MW
		*/
		template Response mdw_TP_IMS_5055_02_mw(template SipUrl p_pcscfEutAUri, template SipUrl p_userEutAUri)
		template Response mdw_TP_IMS_5055_02_ic(template SipUrl p_pcscfEutAUri, template SipUrl p_userEutAUri)
		modifies mw_200OK_Base := {
		msgHeader := {
		recordRoute := {
		@@ -412,7 +412,7 @@ module AtsImsIot_Templates {
		*
		* @desc INVITE Request checking TP_IMS_5067_01 on MW
		*/
		template INVITE_Request mdw_TP_IMS_5067_01_mw
		template INVITE_Request mdw_TP_IMS_5067_01_ic
		modifies mw_INVITE_Request_Base := {
		msgHeader := {
		pChargingVector := mw_PChargingVector({
		@@ -446,7 +446,7 @@ module AtsImsIot_Templates {
		*
		* @desc INVITE Request checking TP_IMS_5080_01 on MW
		*/
		template INVITE_Request mdw_TP_IMS_5080_01_mw
		template INVITE_Request mdw_TP_IMS_5080_01_ic
		modifies mw_INVITE_Request_Base := {
		msgHeader := {
		pChargingVector := mw_PChargingVector({
		@@ -460,7 +460,7 @@ module AtsImsIot_Templates {
		*
		* @desc 200 OK Response checking TP_IMS_5082_01 on MW
		*/
		template Response mdw_TP_IMS_5082_01_mw
		template Response mdw_TP_IMS_5082_01_ic
		modifies mw_200OK_Base := {
		msgHeader := {
		pChargingVector := mw_PChargingVector({
		@@ -474,7 +474,7 @@ module AtsImsIot_Templates {
		*
		* @desc SUBSCRIBE checking TP_IMS_5096_01.
		*/
		template SUBSCRIBE_Request mdw_TP_IMS_5096_01_mw_when modifies mw_SUBSCRIBE_Request_Base := {
		template SUBSCRIBE_Request mdw_TP_IMS_5096_01_ic_when modifies mw_SUBSCRIBE_Request_Base := {
		msgHeader := {
		event := m_Event_reg
		}
		@@ -483,7 +483,7 @@ module AtsImsIot_Templates {
		/**
		* @desc INVITE Request checking TP_IMS_5097_01
		*/
		template INVITE_Request mdw_TP_IMS_5097_01_mw (template SipUrl p_SCSCF_SIP_URI)
		template INVITE_Request mdw_TP_IMS_5097_01_ic (template SipUrl p_SCSCF_SIP_URI)
		modifies mw_INVITE_Request_Base := {
		msgHeader := {
		route := ({
		@@ -519,7 +519,7 @@ module AtsImsIot_Templates {
		/**
		* @desc INVITE Request checking TP_IMS_5097_02
		*/
		template INVITE_Request mdw_TP_IMS_5097_02_mw (
		template INVITE_Request mdw_TP_IMS_5097_02_ic (
		template SipUrl p_SIP_URI,
		template SipUrl p_TEL_URI)
		modifies mw_INVITE_Request_Base := {
		@@ -550,7 +550,7 @@ module AtsImsIot_Templates {
		/**
		* @desc INVITE Request checking TP_IMS_5097_04
		*/
		template INVITE_Request mdw_TP_IMS_5097_04_mw(template SipUrl p_requestUri)
		template INVITE_Request mdw_TP_IMS_5097_04_ic(template SipUrl p_requestUri)
		modifies mw_INVITE_Request_Base := {
		requestLine := {
		requestUri := p_requestUri
		@@ -572,7 +572,7 @@ module AtsImsIot_Templates {
		*
		* @desc BYE Request checking TP_IMS_5107_01 on MW
		*/
		template BYE_Request mdw_TP_IMS_5107_01_mw(template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
		template BYE_Request mdw_TP_IMS_5107_01_ic(template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
		modifies mw_BYE_Request_Base := {
		msgHeader := {
		route := {
		@@ -590,7 +590,7 @@ module AtsImsIot_Templates {
		*
		* @desc ACK Request checking TP_IMS_5107_02 on MW
		*/
		template ACK_Request mdw_TP_IMS_5107_02_mw(template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
		template ACK_Request mdw_TP_IMS_5107_02_ic(template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
		modifies mw_ACK_Request_Base := {
		msgHeader := {
		route := {
		@@ -608,7 +608,7 @@ module AtsImsIot_Templates {
		*
		* @desc CANCEL Request checking TP_IMS_5107_03 on MW
		*/
		template CANCEL_Request mdw_TP_IMS_5107_03_mw (template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
		template CANCEL_Request mdw_TP_IMS_5107_03_ic (template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
		modifies mw_CANCEL_Request_Base := {
		msgHeader := {
		route := (
		@@ -629,7 +629,7 @@ module AtsImsIot_Templates {
		*
		* @desc INVITE Request checking TP_IMS_5108_01 on MW
		*/
		template INVITE_Request mdw_TP_IMS_5108_01_mw(
		template INVITE_Request mdw_TP_IMS_5108_01_ic(
		template SipUrl p_SCSCF_Uri,
		template GenericParam p_param
		) modifies mw_INVITE_Request_Base := {
		@@ -669,7 +669,7 @@ module AtsImsIot_Templates {
		* @desc INVITE Request checking TP_IMS_5108_01_f on MW
		* ifpresent ioi params than fail
		*/
		template INVITE_Request mdw_TP_IMS_5108_01_f_mw
		template INVITE_Request mdw_TP_IMS_5108_01_f_ic
		modifies mw_INVITE_Request_Base := {
		msgHeader := {
		pChargingVector := {
		@@ -745,7 +745,7 @@ module AtsImsIot_Templates {
		*
		* @desc 180 Ringing Response checking TP_IMS_5115_01 on MW
		*/
		template Response mdw_TP_IMS_5115_01_mw
		template Response mdw_TP_IMS_5115_01_ic
		modifies mw_180Ringing_Base := {
		msgHeader := {
		pChargingVector := mw_PChargingVector({
		@@ -760,7 +760,7 @@ module AtsImsIot_Templates {
		*
		* @desc 200 OK Response checking TP_IMS_5115_02 on MW
		*/
		template Response mdw_TP_IMS_5115_02_mw
		template Response mdw_TP_IMS_5115_02_ic
		modifies mw_200OK_Base := {
		msgHeader := {
		pChargingVector := mw_PChargingVector({
		@@ -775,7 +775,7 @@ module AtsImsIot_Templates {
		*
		* @desc 180 Ringing Response checking TP_IMS_5115_03 on MW
		*/
		template Response mdw_TP_IMS_5115_03_mw(
		template Response mdw_TP_IMS_5115_03_ic(
		template SipUrl p_SIP_URI,
		template SipUrl p_TEL_URI)
		modifies mw_180Ringing_Base := {
		@@ -797,7 +797,7 @@ module AtsImsIot_Templates {
		*
		* @desc 200 OK Response checking TP_IMS_5115_04 on MW
		*/
		template Response mdw_TP_IMS_5115_04_mw(
		template Response mdw_TP_IMS_5115_04_ic(
		template SipUrl p_SIP_URI,
		template SipUrl p_TEL_URI)
		modifies mw_200OK_Base := {
		@@ -819,7 +819,7 @@ module AtsImsIot_Templates {
		*
		* @desc 200 OK Response checking TP_IMS_5115_08 on MW
		*/
		template Response mdw_TP_IMS_5115_08_mw
		template Response mdw_TP_IMS_5115_08_ic
		modifies mw_200OK_Base := {
		msgHeader := {
		pChargingVector := mw_PChargingVector({
		@@ -834,7 +834,7 @@ module AtsImsIot_Templates {
		*
		* @desc 180 Ringing Response checking TP_IMS_5131_01 on MW
		*/
		template Response mdw_TP_IMS_5131_01_mw
		template Response mdw_TP_IMS_5131_01_ic
		modifies mw_180Ringing_Base := {
		msgHeader := {
		pChargingFunctionAddresses := omit
		@@ -845,7 +845,7 @@ module AtsImsIot_Templates {
		*
		* @desc 200 OK Response checking TP_IMS_5131_02 on MW
		*/
		template Response mdw_TP_IMS_5131_02_mw
		template Response mdw_TP_IMS_5131_02_ic
		modifies mw_200OK_Base := {
		msgHeader := {
		pChargingFunctionAddresses := omit
		@@ -856,7 +856,7 @@ module AtsImsIot_Templates {
		*
		* @desc INVITE Request checking TP_IMS_5135_01
		*/
		template INVITE_Request mdw_TP_IMS_5135_01_mw (template SipUrl p_ibcfEutAUri)
		template INVITE_Request mdw_TP_IMS_5135_01_ic (template SipUrl p_ibcfEutAUri)
		modifies mw_INVITE_Request_Base := {
		msgHeader := {
		recordRoute := {
		@@ -870,7 +870,7 @@ module AtsImsIot_Templates {
		*
		* @desc INVITE Request checking TP_IMS_5137_01
		*/
		template INVITE_Request mdw_TP_IMS_5137_01_mw (template SipUrl p_ibcfEutAUri)
		template INVITE_Request mdw_TP_IMS_5137_01_ic (template SipUrl p_ibcfEutAUri)
		modifies mw_INVITE_Request_Base := {
		msgHeader := {
		route := {
		@@ -902,7 +902,7 @@ module AtsImsIot_Templates {
		*
		* @desc 180 Ringing Response checking TP_IMS_5137_02 on MW
		*/
		template Response mdw_TP_IMS_5137_02_mw
		template Response mdw_TP_IMS_5137_02_ic
		modifies mw_180Ringing_Base := {
		msgHeader := {
		via := {
		@@ -927,7 +927,7 @@ module AtsImsIot_Templates {
		*
		* @desc 200 OK Response checking TP_IMS_5137_03 on MW
		*/
		template Response mdw_TP_IMS_5137_03_mw
		template Response mdw_TP_IMS_5137_03_ic
		modifies mw_200OK_Base := {
		msgHeader := {
		via := {
		@@ -952,7 +952,7 @@ module AtsImsIot_Templates {
		*
		* @desc BYE Request checking TP_IMS_5139_01 on MW
		*/
		template BYE_Request mdw_TP_IMS_5139_01_mw(
		template BYE_Request mdw_TP_IMS_5139_01_ic(
		template CallId p_callId,
		template SipUrl p_UE_URI,
		template To p_to,
		@@ -978,7 +978,7 @@ module AtsImsIot_Templates {
		*
		* @desc BYE Request checking TP_IMS_5301_01 on MW
		*/
		template BYE_Request mdw_TP_IMS_5301_01_mw(template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
		template BYE_Request mdw_TP_IMS_5301_01_ic(template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
		modifies mw_BYE_Request_Base := {
		msgHeader := {
		route := {
		@@ -1072,7 +1072,7 @@ module AtsImsIot_Templates {
		*
		* @desc 200 OK Response checking TP_IMS_5312_01 on MW
		*/
		template Response mdw_TP_IMS_5312_01_mw
		template Response mdw_TP_IMS_5312_01_ic
		modifies mw_200OK_Base := {
		msgHeader := {
		pChargingVector := mw_PChargingVector({
		@@ -1099,7 +1099,7 @@ module AtsImsIot_Templates {
		*
		* @desc 433 Anonymity Disallowe Response checking TP_IMS_5313_01 on MW
		*/
		template Response mdw_TP_IMS_5313_01_mw
		template Response mdw_TP_IMS_5313_01_ic
		modifies mw_433Anony_Base := {
		msgHeader := {
		pChargingVector := mw_PChargingVector({
		@@ -1138,7 +1138,7 @@ module AtsImsIot_Templates {
		*
		* @desc INVITE Request checking TP_IMS_5404_01 on MW
		*/
		template INVITE_Request mdw_TP_IMS_5404_01_mw
		template INVITE_Request mdw_TP_IMS_5404_01_ic
		modifies mw_INVITE_Request_Base := {
		msgHeader := {
		pChargingFunctionAddresses := omit
		@@ -1149,7 +1149,7 @@ module AtsImsIot_Templates {
		*
		* @desc ACK Request checking TP_IMS_5408_01 on MW
		*/
		template ACK_Request mdw_TP_IMS_5408_01_mw(template CallId p_callId, template SipUrl p_IBCF_SIP_URI)
		template ACK_Request mdw_TP_IMS_5408_01_ic(template CallId p_callId, template SipUrl p_IBCF_SIP_URI)
		modifies mw_ACK_Request_Base := {
		msgHeader := {
		route := {
		@@ -1177,7 +1177,7 @@ module AtsImsIot_Templates {
		*
		* @desc BYE Request checking TP_IMS_5408_02 on MW
		*/
		template CANCEL_Request mdw_TP_IMS_5408_02_mw(template CallId p_callId, template SipUrl p_IBCF_SIP_URI)
		template CANCEL_Request mdw_TP_IMS_5408_02_ic(template CallId p_callId, template SipUrl p_IBCF_SIP_URI)
		modifies mw_CANCEL_Request_Base := {
		msgHeader := {
		route := {
		@@ -1209,7 +1209,7 @@ module AtsImsIot_Templates {
		*
		* @desc BYE Request checking TP_IMS_5408_03 on MW
		*/
		template BYE_Request mdw_TP_IMS_5408_03_mw(template CallId p_callId, template SipUrl p_IBCF_SIP_URI)
		template BYE_Request mdw_TP_IMS_5408_03_ic(template CallId p_callId, template SipUrl p_IBCF_SIP_URI)
		modifies mw_BYE_Request_Base := {
		msgHeader := {
		route := {
		@@ -1241,7 +1241,7 @@ module AtsImsIot_Templates {
		*
		* @desc INVITE Request checking TP_IMS_5408_04
		*/
		template INVITE_Request mdw_TP_IMS_5408_04_mw (template SipUrl p_ibcfEutAUri)
		template INVITE_Request mdw_TP_IMS_5408_04_ic (template SipUrl p_ibcfEutAUri)
		modifies mw_INVITE_Request_Base := {
		msgHeader := {
		route := {
		@@ -1305,7 +1305,7 @@ module AtsImsIot_Templates {
		}
		}

		template MESSAGE_Request mdw_TP_IMS_5097_05_p_mw(
		template MESSAGE_Request mdw_TP_IMS_5097_05_p_ic(
		template CallId p_callId
		) modifies mw_MESSAGE_Request_Base := {
		msgHeader := {
		@@ -1321,7 +1321,7 @@ module AtsImsIot_Templates {
		}
		}

		template MESSAGE_Request mdw_TP_IMS_5097_05_f2_mw(
		template MESSAGE_Request mdw_TP_IMS_5097_05_f2_ic(
		template CallId p_callId,
		template SipUrl p_SCSCF_SIP_URI
		) modifies mw_MESSAGE_Request_Base := {
		@@ -1336,7 +1336,7 @@ module AtsImsIot_Templates {
		}
		}

		template MESSAGE_Request mdw_TP_IMS_5097_05_f_mw(
		template MESSAGE_Request mdw_TP_IMS_5097_05_f_ic(
		template CallId p_callId
		) modifies mw_MESSAGE_Request_Base := {
		msgHeader := {
		@@ -1357,7 +1357,7 @@ module AtsImsIot_Templates {
		requestLine := { requestUri := mw_TEL_URI_Base }
		}

		template MESSAGE_Request mdw_TP_IMS_5097_08_mw(
		template MESSAGE_Request mdw_TP_IMS_5097_08_ic(
		template CallId p_callId
		) modifies mw_MESSAGE_Request_Base := {
		requestLine := {
		@@ -1374,7 +1374,7 @@ module AtsImsIot_Templates {
		}
		}

		template MESSAGE_Request mdw_TP_IMS_5097_07_mw(
		template MESSAGE_Request mdw_TP_IMS_5097_07_ic(
		template CallId p_callId,
		template SipUrl p_SIP_URI,
		template SipUrl p_TEL_URI)
		@@ -1391,7 +1391,7 @@ module AtsImsIot_Templates {
		}
		}

		template MESSAGE_Request mdw_TP_IMS_5108_02a_mw(
		template MESSAGE_Request mdw_TP_IMS_5108_02a_ic(
		template CallId p_callId
		) modifies mw_MESSAGE_Request_Base := {
		msgHeader := {
		@@ -1405,7 +1405,7 @@ module AtsImsIot_Templates {
		}
		}

		template MESSAGE_Request mdw_TP_IMS_5108_02b_p_mw(
		template MESSAGE_Request mdw_TP_IMS_5108_02b_p_ic(
		template CallId p_callId,
		template SipUrl p_SCSCF_Uri,
		template GenericParam p_param
		@@ -1432,7 +1432,7 @@ module AtsImsIot_Templates {
		}
		}

		template MESSAGE_Request mdw_TP_IMS_5108_02b_f_mw(
		template MESSAGE_Request mdw_TP_IMS_5108_02b_f_ic(
		template CallId p_callId
		) modifies mw_MESSAGE_Request_Base := {
		msgHeader := {
		@@ -1451,7 +1451,7 @@ module AtsImsIot_Templates {
		/**
		* @desc INVITE Request checking TP_IMS_5120_01
		*/
		template INVITE_Request mdw_TP_IMS_5120_01_mw(
		template INVITE_Request mdw_TP_IMS_5120_01_ic(
		template SipUrl p_SCSCF_URI
		) modifies mw_INVITE_Request_Base := {
		msgHeader := {
		@@ -1472,7 +1472,7 @@ module AtsImsIot_Templates {
		}
		}

		template Response mw_TP_IMS_5121_02_mw modifies mdw_2XX_Base := {
		template Response mw_TP_IMS_5121_02_ic modifies mdw_2XX_Base := {
		msgHeader := {
		pChargingVector := {
		fieldName := P_CHARGING_VECTOR_E,
		@@ -1484,7 +1484,7 @@ module AtsImsIot_Templates {
		}
		}

		template Response mw_TP_IMS_5117_02_mw modifies mdw_2XX_Base := {
		template Response mw_TP_IMS_5117_02_ic modifies mdw_2XX_Base := {
		msgHeader := {
		pChargingVector := {
		fieldName := P_CHARGING_VECTOR_E,
		@@ -1496,7 +1496,7 @@ module AtsImsIot_Templates {
		}
		}

		template Response mw_TP_IMS_5117_06_mw modifies mdw_2XX_Base := {
		template Response mw_TP_IMS_5117_06_ic modifies mdw_2XX_Base := {
		msgHeader := {
		pAssertedID := {
		fieldName := P_ASSERTED_ID_E,
		@@ -1509,7 +1509,7 @@ module AtsImsIot_Templates {
		}
		}

		template Response mw_TP_IMS_5118_01_mw modifies mw_200OK_Base := {
		template Response mw_TP_IMS_5118_01_ic modifies mw_200OK_Base := {
		msgHeader := {
		pChargingVector := {
		fieldName := P_CHARGING_VECTOR_E,
		@@ -1522,7 +1522,7 @@ module AtsImsIot_Templates {
		}
		}

		template MESSAGE_Request mdw_TP_IMS_5050_01_mw(
		template MESSAGE_Request mdw_TP_IMS_5050_01_ic(
		template CallId p_callId,
		template SipUrl p_PCSCF_URI,
		template SipUrl p_UE_A_URI
		@@ -1647,7 +1647,7 @@ module AtsImsIot_Templates {
		msgHeader := {authorization := m_Authorization(mw_credentialIntegrityYes)}
		}

		template NOTIFY_Request mdw_TP_IMS_5088_01_mw(template CallId p_callId, template SipUrl p_PCSCF_SIP_URI) modifies mw_NOTIFY_Request_Base := {
		template NOTIFY_Request mdw_TP_IMS_5088_01_ic(template CallId p_callId, template SipUrl p_PCSCF_SIP_URI) modifies mw_NOTIFY_Request_Base := {
		requestLine := { requestUri := p_PCSCF_SIP_URI },
		msgHeader := {
		event := {
		@@ -1658,7 +1658,7 @@ module AtsImsIot_Templates {
		messageBody := ? // TODO
		}

		template NOTIFY_Request mdw_TP_IMS_5093_01_UE_mw(template CallId p_callId, template SipUrl p_UE_SIP_URI) modifies mw_NOTIFY_Request_Base := {
		template NOTIFY_Request mdw_TP_IMS_5093_01_UE_ic(template CallId p_callId, template SipUrl p_UE_SIP_URI) modifies mw_NOTIFY_Request_Base := {
		requestLine := { requestUri := p_UE_SIP_URI },
		msgHeader := {
		event := {
		@@ -1669,7 +1669,7 @@ module AtsImsIot_Templates {
		messageBody := ? // TODO
		}

		template NOTIFY_Request mdw_TP_IMS_5093_01_IMS_mw(template CallId p_callId, template SipUrl p_PCSCF_SIP_URI) modifies mw_NOTIFY_Request_Base := {
		template NOTIFY_Request mdw_TP_IMS_5093_01_IMS_ic(template CallId p_callId, template SipUrl p_PCSCF_SIP_URI) modifies mw_NOTIFY_Request_Base := {
		requestLine := { requestUri := p_PCSCF_SIP_URI },
		msgHeader := {
		event := {
		@@ -1691,7 +1691,7 @@ module AtsImsIot_Templates {
		messageBody := ? // TODO
		}

		template NOTIFY_Request mdw_TP_IMS_5094_01_IMS_mw(template CallId p_callId, template SipUrl p_PCSCF_SIP_URI) modifies mw_NOTIFY_Request_Base := {
		template NOTIFY_Request mdw_TP_IMS_5094_01_IMS_ic(template CallId p_callId, template SipUrl p_PCSCF_SIP_URI) modifies mw_NOTIFY_Request_Base := {
		requestLine := { requestUri := p_PCSCF_SIP_URI },
		msgHeader := {
		event := {
		@@ -1706,7 +1706,7 @@ module AtsImsIot_Templates {
		/**
		* @desc INVITE Request checking TP_IMS_5106_01
		*/
		template INVITE_Request mdw_TP_IMS_5106_01_mw(
		template INVITE_Request mdw_TP_IMS_5106_01_ic(
		template SipUrl p_SCSCF_URI
		) modifies mw_INVITE_Request_Base := {
		msgHeader := {
		@@ -1735,7 +1735,7 @@ module AtsImsIot_Templates {
		/**
		* @desc VYE Request checking TP_IMS_5074_01
		*/
		template BYE_Request mdw_TP_IMS_5074_01_mw(
		template BYE_Request mdw_TP_IMS_5074_01_ic(
		template CallId p_callId,
		template SipUrl p_UE_URI // must be the IP address
		) modifies mw_BYE_Request_Base := {
		@@ -1764,7 +1764,7 @@ module AtsImsIot_Templates {
		/**
		* @desc UPDATE Request checking TP_IMS_5106_02
		*/
		template UPDATE_Request mdw_TP_IMS_5106_02_p_mw(
		template UPDATE_Request mdw_TP_IMS_5106_02_p_ic(
		template CallId p_callId,
		template SipUrl p_SCSCF_URI
		) modifies mw_UPDATE_Request_Base := {
		@@ -1789,7 +1789,7 @@ module AtsImsIot_Templates {
		}


		template UPDATE_Request mdw_TP_IMS_5106_02_f_mw(
		template UPDATE_Request mdw_TP_IMS_5106_02_f_ic(
		template CallId p_callId,
		template SipUrl p_SCSCF_URI
		) modifies mw_UPDATE_Request_Base := {

AtsImsIot/AtsImsIot_TestCases_CALL.ttcn

+157 −157

File changed.

Preview size limit exceeded, changes collapsed.

AtsImsIot/AtsImsIot_TestCases_MESS.ttcn

+30 −30

Original line number	Diff line number	Diff line
		@@ -45,8 +45,8 @@ module AtsImsIot_TestCases_MESS {
		var IotEquipmentUser v_ueA := f_cf_create_IotEquipmentUser(c_userUE_A);
		var IotEquipmentUser v_ueB := f_cf_create_IotEquipmentUser(c_userUE_B);
		var ImsInterfaceMonitor v_gmA := f_cf_create_monitor(c_gm_A);
		var ImsInterfaceMonitor v_mw := f_cf_create_monitor(c_mw);
		var CF_INT_CALL v_config := {v_gmA, v_mw, omit};
		var ImsInterfaceMonitor v_ic := f_cf_create_monitor(c_ic);
		var CF_INT_CALL v_config := {v_gmA, v_ic, omit};

		// map/connect component ports
		f_cf_adapter_up();
		@@ -62,7 +62,7 @@ module AtsImsIot_TestCases_MESS {
		// test body
		f_mtc_userSendMessage(v_ueA, f_getMessageBody(1301));
		f_mtc_check_TP_IMS_4002_01_gm(v_gmA);
		f_mtc_check_TP_IMS_4002_01_mw(v_mw);
		f_mtc_check_TP_IMS_4002_01_ic(v_ic);
		f_mtc_userCheckMessageReceipt(v_ueB);

		// postabmle
		@@ -90,8 +90,8 @@ module AtsImsIot_TestCases_MESS {
		var IotEquipmentUser v_ueB := f_cf_create_IotEquipmentUser(c_userUE_B);
		var ImsInterfaceMonitor v_gmA := f_cf_create_monitor(c_gm_A);
		var ImsInterfaceMonitor v_gmB := f_cf_create_monitor(c_gm_B);
		var ImsInterfaceMonitor v_mw := f_cf_create_monitor(c_mw);
		var CF_INT_CALL v_config := {v_gmA, v_mw, v_gmB};
		var ImsInterfaceMonitor v_ic := f_cf_create_monitor(c_ic);
		var CF_INT_CALL v_config := {v_gmA, v_ic, v_gmB};

		// map/connect component ports
		f_cf_adapter_up();
		@@ -108,15 +108,15 @@ module AtsImsIot_TestCases_MESS {

		f_mtc_check_TP_IMS_5097_05_gm(v_gmA, false); // message not removed from port queue
		//f_mtc_check_TP_IMS_5097_07_gm(v_gmA, false); // message removed from port queue
		f_mtc_check_TP_IMS_5097_05_mw(v_mw, false);// message not removed from port queue
		//f_mtc_check_TP_IMS_5097_07_mw(v_mw, false);// message removed from port queue
		f_mtc_check_TP_IMS_5097_05_ic(v_ic, false);// message not removed from port queue
		//f_mtc_check_TP_IMS_5097_07_ic(v_ic, false);// message removed from port queue

		f_mtc_userCheckMessageReceipt(v_ueB);

		f_mtc_check_TP_IMS_5117_02_gm(v_gmB, true);// message not removed from port queue
		f_mtc_check_TP_IMS_5118_01_gm(v_gmB, false);// message removed from port queue
		f_mtc_check_TP_IMS_5117_02_mw(v_mw, true);// message not removed from port queue
		f_mtc_check_TP_IMS_5118_01_mw(v_mw, false);// message removed from port queue
		f_mtc_check_TP_IMS_5117_02_ic(v_ic, true);// message not removed from port queue
		f_mtc_check_TP_IMS_5118_01_ic(v_ic, false);// message removed from port queue

		// postabmle
		f_PO_user_home_deregistration(v_ueA);
		@@ -141,8 +141,8 @@ module AtsImsIot_TestCases_MESS {
		var IotEquipmentUser v_ueB := f_cf_create_IotEquipmentUser(c_userUE_B);
		var ImsInterfaceMonitor v_gmA := f_cf_create_monitor(c_gm_A);
		var ImsInterfaceMonitor v_gmB := f_cf_create_monitor(c_gm_B);
		var ImsInterfaceMonitor v_mw := f_cf_create_monitor(c_mw);
		var CF_INT_CALL v_config := {v_gmA, v_mw, v_gmB};
		var ImsInterfaceMonitor v_ic := f_cf_create_monitor(c_ic);
		var CF_INT_CALL v_config := {v_gmA, v_ic, v_gmB};

		// map/connect component ports
		f_cf_adapter_up();
		@@ -158,16 +158,16 @@ module AtsImsIot_TestCases_MESS {
		f_mtc_userSendMessage(v_ueA, "test");

		f_mtc_check_TP_IMS_5097_07_gm(v_gmA, false);
		f_mtc_check_TP_IMS_5097_07_mw(v_mw, false);
		f_mtc_check_TP_IMS_5097_07_ic(v_ic, false);

		f_mtc_userCheckMessageReceipt(v_ueB);

		f_mtc_check_TP_IMS_5117_02_gm(v_gmB, true);// message not removed from port queue
		f_mtc_check_TP_IMS_5118_01_gm(v_gmB, true);// message not removed from port queue
		f_mtc_check_TP_IMS_5117_06_gm(v_gmB, false);// message removed from port queue
		f_mtc_check_TP_IMS_5117_02_mw(v_mw, true);// message not removed from port queue
		f_mtc_check_TP_IMS_5118_01_mw(v_mw, true);// message not removed from port queue
		f_mtc_check_TP_IMS_5117_06_mw(v_mw, false);// message removed from port queue
		f_mtc_check_TP_IMS_5117_02_ic(v_ic, true);// message not removed from port queue
		f_mtc_check_TP_IMS_5118_01_ic(v_ic, true);// message not removed from port queue
		f_mtc_check_TP_IMS_5117_06_ic(v_ic, false);// message removed from port queue

		// postabmle
		f_PO_user_home_deregistration(v_ueA);
		@@ -191,8 +191,8 @@ module AtsImsIot_TestCases_MESS {
		var IotEquipmentUser v_ueB := f_cf_create_IotEquipmentUser(c_userUE_B);
		var ImsInterfaceMonitor v_gmA := f_cf_create_monitor(c_gm_A);
		var ImsInterfaceMonitor v_gmB := f_cf_create_monitor(c_gm_B);
		var ImsInterfaceMonitor v_mw := f_cf_create_monitor(c_mw);
		var CF_INT_CALL v_config := {v_gmA, v_mw, v_gmB};
		var ImsInterfaceMonitor v_ic := f_cf_create_monitor(c_ic);
		var CF_INT_CALL v_config := {v_gmA, v_ic, v_gmB};

		// map/connect component ports
		f_cf_adapter_up();
		@@ -208,14 +208,14 @@ module AtsImsIot_TestCases_MESS {
		f_mtc_userSendMessage(v_ueA, "test");

		f_mtc_check_TP_IMS_5097_08_gm(v_gmA, false);
		f_mtc_check_TP_IMS_5097_08_mw(v_mw, false);
		f_mtc_check_TP_IMS_5097_08_ic(v_ic, false);

		// TODO add DNS checks

		f_mtc_userCheckMessageReceipt(v_ueB);

		f_mtc_check_TP_IMS_5117_06_gm(v_gmB, false);
		f_mtc_check_TP_IMS_5117_06_mw(v_mw, false);
		f_mtc_check_TP_IMS_5117_06_ic(v_ic, false);

		// postabmle
		f_PO_user_home_deregistration(v_ueA);
		@@ -240,13 +240,13 @@ module AtsImsIot_TestCases_MESS {
		var IotEquipmentUser v_ueA := f_cf_create_IotEquipmentUser(c_userUE_A);
		var IotEquipmentUser v_ueB := f_cf_create_IotEquipmentUser(c_userUE_B);
		var ImsInterfaceMonitor v_gmA := f_cf_create_monitor(c_gm_A);
		var ImsInterfaceMonitor v_mw := f_cf_create_monitor(c_mw);
		var ImsInterfaceMonitor v_ic := f_cf_create_monitor(c_ic);

		// map/connect component ports
		f_cf_adapter_up();
		f_cf_user_up(v_ueA);
		f_cf_user_up(v_ueB);
		f_cf_roam_call_up(v_gmA, v_mw);
		f_cf_roam_call_up(v_gmA, v_ic);

		// preamble
		f_PR_user_home_registration(v_ueA, f_getAnyValidUser(PX_EUT_A));
		@@ -255,17 +255,17 @@ module AtsImsIot_TestCases_MESS {
		// test body
		f_mtc_userSendMessage(v_ueA, "test");

		f_mtc_check_TP_IMS_5108_02_mw(v_mw); // TODO must be checked
		f_mtc_check_TP_IMS_5108_02_ic(v_ic); // TODO must be checked

		f_mtc_userCheckMessageReceipt(v_ueB);

		f_mtc_check_TP_IMS_5118_01_gm(v_gmA, false);
		f_mtc_check_TP_IMS_5118_01_mw(v_mw, false);
		f_mtc_check_TP_IMS_5118_01_ic(v_ic, false);

		// postabmle
		f_PO_user_home_deregistration(v_ueA);
		f_PO_user_roaming_deregistration(v_ueB);
		f_cf_roam_call_down(v_gmA, v_mw);
		f_cf_roam_call_down(v_gmA, v_ic);

		//unmap/disconnet component ports
		f_cf_user_down(v_ueA);
		@@ -282,8 +282,8 @@ module AtsImsIot_TestCases_MESS {
		// create components
		var IotEquipmentUser v_ueA := f_cf_create_IotEquipmentUser(c_userUE_A);
		var ImsInterfaceMonitor v_gmA := f_cf_create_monitor(c_gm_A);
		var ImsInterfaceMonitor v_mw := f_cf_create_monitor(c_mw);
		var CF_INT_CALL v_config := {v_gmA, v_mw, omit};
		var ImsInterfaceMonitor v_ic := f_cf_create_monitor(c_ic);
		var CF_INT_CALL v_config := {v_gmA, v_ic, omit};

		// map/connect component ports
		f_cf_adapter_up();
		@@ -297,7 +297,7 @@ module AtsImsIot_TestCases_MESS {
		f_mtc_userSendMessage(v_ueA, "test");

		f_mtc_check_TP_IMS_5114_02_gm(v_gmA);
		f_mtc_check_TP_IMS_5114_02_mw(v_mw);
		f_mtc_check_TP_IMS_5114_02_ic(v_ic);

		f_mtc_userCheckMessageNotDelivered(v_ueA);

		@@ -321,8 +321,8 @@ module AtsImsIot_TestCases_MESS {
		var IotEquipmentUser v_ueA := f_cf_create_IotEquipmentUser(c_userUE_A);
		var IotEquipmentUser v_ueB := f_cf_create_IotEquipmentUser(c_userUE_B);
		var ImsInterfaceMonitor v_gmA := f_cf_create_monitor(c_gm_A);
		var ImsInterfaceMonitor v_mw := f_cf_create_monitor(c_mw);
		var CF_INT_CALL v_config := {v_gmA, v_mw, omit};
		var ImsInterfaceMonitor v_ic := f_cf_create_monitor(c_ic);
		var CF_INT_CALL v_config := {v_gmA, v_ic, omit};

		// map/connect component ports
		f_cf_adapter_up();
		@@ -338,7 +338,7 @@ module AtsImsIot_TestCases_MESS {
		f_mtc_userSendMessage(v_ueA, "test");

		f_mtc_check_TP_IMS_5108_06_gm(v_gmA);
		f_mtc_check_TP_IMS_5108_06_mw(v_mw);
		f_mtc_check_TP_IMS_5108_06_ic(v_ic);

		f_mtc_userCheckMessageNotDelivered(v_ueA);

AtsImsIot/AtsImsIot_TestCases_REG.ttcn

+51 −51

File changed.

Preview size limit exceeded, changes collapsed.