Align SIP filed name with TTCN-3 LibSip (478ca58b) · Commits · INT - Core Network and Interoperability Testing / Voice and Video over LTE / VxLTE Interoperability Tests

test_purposes/Gm/TP_GM.tplan2

+77 −77

Original line number	Diff line number	Diff line
		/*
		Copyright (c) ETSI 2019.
		Copyright (c) ETSI 2019-2020.

		This software is subject to copyrights owned by ETSI. Non-exclusive permission
		is hereby granted, free of charge, to copy, reproduce and amend this file
		@@ -13,7 +13,6 @@ copyright notice shall be included in all copies of whole or part of this
		file and shall not imply any sub-license right.
		*/


		Package TP_GM {

		import all from Sip_Common;
		@@ -43,11 +42,11 @@ Package TP_GM {
		}
		then {
		the IMS_P_CSCF_A entity receives a REGISTER containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Authorization_HDR containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Authorization containing
		Authentication_Schema indicating value PX_TO_BE_DEFINED,
		Authentication_URI indicating value PX_TO_BE_DEFINED,
		Username indicating value PX_UE_A_USERNAME,
		@@ -55,15 +54,16 @@ Package TP_GM {
		Algorithm indicating value PX_UE_A_AUTH_ALG,
		Nonce indicating value ""
		;;
		and the IMS_P_CSCF_A entity sends an Unauthorized containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Warning_HDR,
		P_Access_Network_Info_HDR
		WWW_Authenticate_HDR containing
		Digest_Realm,
		and the IMS_P_CSCF_A entity sends an 401_Unauthorized containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Warning,
		PAccessNetworkInfo,
		WwwAuthenticate containing
		Digest,
		Realm indicating value PX_UE_A_REALM,
		Algorithm indicating value PX_UE_A_AUTH_ALG,
		Nonce indicating value "not empty",
		qop indicating value "auth"
		@@ -98,11 +98,11 @@ Package TP_GM {
		}
		then {
		the IMS_P_CSCF_A entity receives a REGISTER containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Authorization_HDR containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Authorization containing
		Authentication_Schema indicating value PX_TO_BE_DEFINED,
		Authentication_URI indicating value PX_TO_BE_DEFINED,
		Username indicating value PX_UE_A_USERNAME,
		@@ -111,17 +111,17 @@ Package TP_GM {
		Nonce indicating value "not empty",
		qop indicating value "auth"
		;;
		and the IMS_P_CSCF_A entity sends an Ok containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Authentication_Info_HDR,
		P_Access_Network_Info_HDR,
		P_Associated_URI_HDR indicating value PX_UE_A_SIP_URI,
		and the IMS_P_CSCF_A entity sends an 200_Ok containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		AuthenticationInfo,
		PAccessNetworkInfo,
		PAssociatedURI indicating value PX_UE_A_SIP_URI,
		P_Charging_Function_Addresses_HDR,
		Path_HDR,
		Service_Route_HDR
		Path,
		ServiceRoute
		;
		}
		}
		@@ -152,11 +152,11 @@ Package TP_GM {
		}
		then {
		the IMS_P_CSCF_A entity receives a REGISTER containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Authorization_HDR containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Authorization containing
		Authentication_Schema indicating value PX_TO_BE_DEFINED,
		Authentication_URI indicating value PX_TO_BE_DEFINED,
		Username indicating value PX_UE_A_INVALID_USERNAME,
		@@ -164,10 +164,10 @@ Package TP_GM {
		Algorithm indicating value PX_UE_A_AUTH_ALG,
		Nonce indicating value ""
		;;
		and the IMS_P_CSCF_A entity sends an NotFound containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID
		and the IMS_P_CSCF_A entity sends an 404_NotFound containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID
		;
		}
		}
		@@ -198,18 +198,18 @@ Package TP_GM {
		}
		then {
		the IMS_P_CSCF_A entity receives an SUBSCRIBE containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Route_HDR indicating value PX_UE_A_SERVICE_ROUTE
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Route indicating value PX_UE_A_SERVICE_ROUTE
		// TODO To be continued
		;
		and the IMS_P_CSCF_A entity sends a Ok containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA
		and the IMS_P_CSCF_A entity sends a 200_Ok containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		// TODO To be continued
		;
		}
		@@ -243,41 +243,41 @@ Package TP_GM {
		}
		then {
		the IMS_P_CSCF_A entity receives an INVITE containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Route_HDR indicating value PX_UE_A_SERVICE_ROUTE,
		P_Access_Network_Info_HDR,
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Route indicating value PX_UE_A_SERVICE_ROUTE,
		PAccessNetworkInfo,
		MessageBody containing
		SDP_HDR containing
		SDP_Version indicating value "0"
		SDP containing
		Version indicating value "0"
		// TODO To be continued
		;
		;;
		and the IMS_P_CSCF_A entity sends a Trying containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA
		and the IMS_P_CSCF_A entity sends a 100_Trying containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		;
		or the IMS_P_CSCF_A entity sends a Ringing containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA
		or the IMS_P_CSCF_A entity sends a 180_Ringing containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		;
		and the IMS_P_CSCF_A entity sends a Ok containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA
		and the IMS_P_CSCF_A entity sends a 200_Ok containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		;
		and the IMS_P_CSCF_A entity receives a ACK containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		;
		}
		}

test_purposes/Mw/TP_MW.tplan2

+79 −77

Original line number	Diff line number	Diff line
		/*
		Copyright (c) ETSI 2019.
		Copyright (c) ETSI 2019-2020.

		This software is subject to copyrights owned by ETSI. Non-exclusive permission
		is hereby granted, free of charge, to copy, reproduce and amend this file
		@@ -43,26 +43,26 @@ Package TP_MW {
		}
		then {
		the IMS_P_CSCF_A entity sends a REGISTER containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Path_HDR indicating value PX_P_CSCF_A_SIP_URI,
		P_Charging_Vector_HDR containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Path indicating value PX_P_CSCF_A_SIP_URI,
		PChargingVector containing
		icid indicating value PX_TO_BE_DEFINED,
		P_Visited_Network_ID indicating value PX_TO_BE_DEFINED,
		PVisitedNetworkID indicating value PX_TO_BE_DEFINED,
		Require_HDR indicating value "path",
		Supported_HDR indicating value "path"
		Supported indicating value "path"
		;;
		and the IMS_P_CSCF_A entity receives an Unauthorized containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		P_Charging_Vector_HDR containing
		and the IMS_P_CSCF_A entity receives an 401_Unauthorized containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		PChargingVector containing
		icid indicating value PX_TO_BE_DEFINED,
		Warning_HDR,
		WWW_Authenticate_HDR containing
		Warning,
		WwwAuthenticate containing
		Authentication_Scheme,
		Realm,
		Algorithm indicating value PX_UE_A_AUTH_ALG,
		@@ -99,11 +99,11 @@ Package TP_MW {
		}
		then {
		the IMS_P_CSCF_A entity receives a REGISTER containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Authorization_HDR containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Authorization containing
		Authentication_Scheme indicating value PX_TO_BE_DEFINED,
		Authentication_URI indicating value PX_TO_BE_DEFINED,
		Username indicating value PX_UE_A_USERNAME,
		@@ -112,16 +112,16 @@ Package TP_MW {
		Nonce indicating value "not empty",
		qop indicating value "auth"
		;;
		and the IMS_P_CSCF_A entity sends an Ok containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Authentication_Info_HDR,
		P_Access_Network_Info_HDR,
		P_Associated_URI_HDR indicating value PX_UE_A_SIP_URI,
		and the IMS_P_CSCF_A entity sends an 200_Ok containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		AuthenticationInfo,
		PAccessNetworkInfo,
		PAssociatedURI indicating value PX_UE_A_SIP_URI,
		P_Charging_Function_Addresses_HDR,
		Path_HDR
		Path
		;
		}
		}
		@@ -152,11 +152,11 @@ Package TP_MW {
		}
		then {
		the IMS_P_CSCF_A entity receives a REGISTER containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Authorization_HDR containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Authorization containing
		Authentication_Schema indicating value PX_TO_BE_DEFINED,
		Authentication_URI indicating value PX_TO_BE_DEFINED,
		Username indicating value PX_UE_A_INVALID_USERNAME,
		@@ -164,10 +164,10 @@ Package TP_MW {
		Algorithm indicating value PX_UE_A_AUTH_ALG,
		Nonce indicating value ""
		;;
		and the IMS_P_CSCF_A entity sends an NotFound containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_A_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID
		and the IMS_P_CSCF_A entity sends an 404_NotFound containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID
		;
		}
		}
		@@ -198,18 +198,18 @@ Package TP_MW {
		}
		then {
		the IMS_P_CSCF_A entity sends an SUBSCRIBE containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Route_HDR indicating value PX_UE_A_SERVICE_ROUTE
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Route indicating value PX_UE_A_SERVICE_ROUTE
		// TODO To be continued
		;
		and the IMS_P_CSCF_A entity receives a Ok containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA
		and the IMS_P_CSCF_A entity receives a 200_Ok containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		// TODO To be continued
		;
		}
		@@ -243,41 +243,43 @@ Package TP_MW {
		}
		then {
		the IMS_P_CSCF_A entity sends an INVITE containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA,
		Route_HDR indicating value PX_UE_A_SERVICE_ROUTE,
		P_Access_Network_Info_HDR,
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Route indicating value PX_UE_A_SERVICE_ROUTE,
		PAccessNetworkInfo,
		ContentType indicating value "application/sdp",
		ContentLength,
		MessageBody containing
		SDP_HDR containing
		SDP_Version indicating value "0"
		SDP containing
		Version indicating value "0"
		// TODO To be continued
		;
		;;
		and the IMS_P_CSCF_A entity receives a Trying containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA
		and the IMS_P_CSCF_A entity receives a 100_Trying containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		;
		or the IMS_P_CSCF_A entity receives a Ringing containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA
		or the IMS_P_CSCF_A entity receives a 180_Ringing containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		;
		and the IMS_P_CSCF_A entity receives a Ok containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA
		and the IMS_P_CSCF_A entity receives a 200_Ok containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		;
		and the IMS_P_CSCF_A entity sends a ACK containing
		FROM_HDR indicating value PX_UE_A_SIP_URI,
		TO_HDR indicating value PX_UE_B_SIP_URI,
		CALLID_HDR indicating value PX_UE_A_CALLID,
		Via_HDR indicating value PX_UE_A_VIA
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		;
		}
		}

test_purposes/Sip_Common.tplan2

+8 −8

File changed.

Preview size limit exceeded, changes collapsed.