TPs for IC interface from Finn added. (5b73f9e9) · Commits · INT - Core Network and Interoperability Testing / Voice and Video over LTE / VxLTE Interoperability Tests

test_purposes/Ic/TP_IC.tplan2

+587 −4

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
		@@ -14,6 +14,7 @@ file and shall not imply any sub-license right.
		*/


		/* Gm interface at IBCF/IBCF*/
		Package TP_IC {

		import all from Sip_Common;
		@@ -143,7 +144,7 @@ Package TP_IC {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends an intial INVITE "addressed to UE_B" to the IMS_A entity
		the UE_A entity sends an initial INVITE "addressed to UE_B" to the IMS_A entity
		}
		then {
		the IMS_IBCF_A entity forwards the initial INVITE containing
		@@ -164,7 +165,7 @@ Package TP_IC {


		Test Purpose {
		TP Id TP_IC_SCSCF_INVITE_03 // Former TP_IMS_5097_04
		TP Id TP_IC_IBCF_INVITE_03 // Former TP_IMS_5097_04
		Test objective
		"S-CSCF uses ENUM/DNS to translate Tel URIs to SIP URIs in initial INVITE requests"
		Reference
		@@ -206,7 +207,7 @@ Package TP_IC {
		}
		}

		} // End of TP_IC_SCSCF_INVITE_03
		} // End of TP_IC_IBCF_INVITE_03



		@@ -773,6 +774,588 @@ Package TP_IC {



		Test Purpose {
		TP Id TP_IC_IBCF_CANCEL_01 // Former TP_IMS_5107_03
		Test objective
		"S-CSCF removes its own SIP URI from the route header before sending CANCEL (Originating leg)"
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.4.3.2"
		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceived180OnInitialRequest from the UE_B entity
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends a CANCEL "addressed to UE_B" to the IMS_A entity
		}
		then {
		the IMS_IBCF_A entity sends a CANCEL containing
		Route indicating value not PX_S_CSCF_A_SIP_URI
		;
		to the IMS_IBCF_B entity and
		the IMS_IBCF_B entity forwards the CANCEL
		to the IMS_P_CSCF_B entity

		}
		}

		} // End of TP TP_IC_IBCF_CANCEL_01



		Test Purpose {
		TP Id TP_IC_IBCF_CANCEL_02 // Former TP_IMS_5107_03
		Test objective
		"S-CSCF removes its own SIP URI from the route header before sending CANCEL (Terminating leg)"
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.4.3.2"
		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity isRequestedToSend a CANCEL to the UE_B entity
		}

		Expected behaviour
		ensure that {
		when {
		the IMS_IBCF_B entity receives the CANCEL containing
		Route indicating value not PX_S_CSCF_A_SIP_URI
		;
		from the IMS_A entity
		}
		then {
		the IMS_IBCF_B entity forwards the CANCEL
		to the IMS_S_CSCF_B entity
		}
		}

		} // End of TP TP_IC_IBCF_CANCEL_02


		Test Purpose {
		TP Id TP_IC_IBCF_CANCEL_03 // Former TP_IMS_5107_03
		Test objective
		"S-CSCF removes its own SIP URI from the route header before sending CANCEL (Originating leg)"
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.4.3.2"
		Config Id CF_VxLTE_RMI // CF_VxLTE_RMI_B

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_B and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceived180OnInitialRequest from the UE_B entity
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends a CANCEL "addressed to UE_B" to the IMS_B entity
		}
		then {
		the IMS_IBCF_B entity sends a CANCEL containing
		Route indicating value not PX_S_CSCF_B_SIP_URI
		;
		to the IMS_IBCF_A entity
		}
		}

		} // End of TP TP_IC_IBCF_CANCEL_03


		/* CURRENTLY NOT REQUIRED FROM THE TD DERIVED TPs IN PART OF THE STANDARD (SEE CLAUSE 6.3.4.2 OF PART 2)
		Test Purpose {
		TP Id TP_IC_IBCF_CANCEL_04 // Former TP_IMS_5107_03
		Test objective
		"S-CSCF removes its own SIP URI from the route header before sending CANCEL (Terminating leg)"
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.4.3.2"
		Config Id CF_VxLTE_RMI // CF_VxLTE_RMI_A

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_A and
		the UE_A entity isRequestedToSend a CANCEL to the UE_B entity
		}

		Expected behaviour
		ensure that {
		when {
		the IMS_IBCF_A entity receives the CANCEL containing
		Route indicating value not PX_S_CSCF_B_SIP_URI
		;
		from the IMS_B entity
		}
		then {
		the IMS_IBCF_A entity forwards the CANCEL
		to the IMS_S_CSCF_A entity
		}
		}

		} // End of TP TP_IC_IBCF_CANCEL_04

		*/




		Test Purpose {
		TP Id TP_IC_IBCF_CANCEL_OK_01
		Test objective
		"The P-CSCF receives a 200 OK response to a CANCEL request from the UE receiving the CANCEL request (Originating leg)"
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.2.8.1.1 and RFC 3261 [18], clause 9.2"

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL
		}

		Expected behaviour
		ensure that {
		when {
		the UE_B entity sends a 200_Ok response "addressed to UE_A" to the IMS_A entity
		}
		then {
		the IMS_IBCF_A entity receives the 200_Ok response
		and
		the IMS_IBCF_A entity forwards the 200_OK
		to the IMS_P_CSCF_A entity
		}
		}
		} // End of TP_IC_IBCF_CANCEL_OK_01



		Test Purpose {
		TP Id TP_IC_IBCF_CANCEL_OK_02
		Test objective
		"The P-CSCF receives a 200 OK response to a CANCEL request from the UE receiving the CANCEL request (Terminating leg)"
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.2.8.1.1 and RFC 3261 [18], clause 9.2"

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL
		}

		Expected behaviour
		ensure that {
		when {
		the UE_B entity sends a 200_Ok response "addressed to UE_A" to the IMS_A entity
		}
		then {
		the IMS_IBCF_B entity sends the 200_Ok
		to the IMS_A entity
		}
		}
		} // End of TP_IC_IBCF_CANCEL_OK_02



		Test Purpose {
		TP Id TP_IC_IBCF_CANCEL_OK_03
		Test objective
		"The P-CSCF receives a 200 OK response to a CANCEL request from the UE receiving the CANCEL request (Originating leg)"
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.2.8.1.1 and RFC 3261 [18], clause 9.2"

		Config Id CF_VxLTE_RMI // CF_VxLTE_RMI_B

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_B and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL
		}

		Expected behaviour
		ensure that {
		when {
		the UE_B entity sends a 200_Ok response "addressed to UE_A" to the IMS_A entity
		}
		then {
		the IMS_IBCF_A entity receives the 200_Ok response
		and
		the IMS_IBCF_A entity forwards the 200_OK
		to the IMS_P_CSCF_A entity
		}
		}
		} // End of TP_IC_IBCF_CANCEL_OK_01




		Test Purpose {
		TP Id TP_IC_IBCF_487INVITE_01
		Test objective
		"Verify that the IBCF successfully processes a 487 INVITE (Request Terminated). (Originating leg)"
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.3.2.2 and RFC 3261 [18], clause 9.2"

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL and
		the UE_A entity hasReceived200OkCancel from the UE_B entity

		}

		Expected behaviour
		ensure that {
		when {
		the UE_B entity sends a 487_INVITE request "addressed to UE_A" to the IMS_A entity
		}
		then {
		the IMS_IBCF_A entity receives the 487_INVITE request
		from the IMS_B entity and
		the IMS_IBCF_B entity forwards the 487_INVITE request
		to the IMS_S_CSCF_A entity
		}
		}
		} // End of TP_IC_IBCF_487INVITE_01




		Test Purpose {
		TP Id TP_IC_IBCF_487INVITE_02
		Test objective
		"Verify that the IBCF successfully processes a 487 INVITE (Request Terminated). (Terminating leg)"
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.3.2.2 and RFC 3261 [18], clause 9.2"

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL and
		the UE_A entity hasReceived200OkCancel from the UE_B entity

		}

		Expected behaviour
		ensure that {
		when {
		the UE_B entity sends a 487_INVITE request "addressed to UE_A" to the IMS_B entity
		}
		then {
		the IMS_IBCF_B entity sends the 487_INVITE request
		to the IMS_IBCF_A entity
		}
		}
		} // End of TP_IC_IBCF_487INVITE_02



		Test Purpose {
		TP Id TP_IC_IBCF_487INVITE_ACK_01
		Test objective
		"Verify that the IBCF successfully processes an ACK response for a Request terminated. (Originating leg)"
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.3.2.2 and RFC 3261 [18], clause 9.2"

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL and
		the UE_A entity hasReceived200OkCancel from the UE_B entity and
		the UE_A entity hasReceivedTerminatedRequest from the UE_B entity

		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends a ACK response "addressed to UE_A" to the IMS_A entity
		}
		then {
		the IMS_IBCF_A entity receives the ACK response
		from the IMS_S_CSCF_A entity and
		the IMS_IBCF_A entity sends the ACK response
		to the IMS_IBCF_B entity
		}
		}
		} // End of TP_IC_IBCF_487INVITE_ACK_01



		Test Purpose {
		TP Id TP_IC_IBCF_487INVITE_ACK_02
		Test objective
		"Verify that the IBCF successfully processes an ACK response for a Request terminated. (Terminating leg)"
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.3.2.2 and RFC 3261 [18], clause 9.2"

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL and
		the UE_A entity hasReceived200OkCancel from the UE_B entity and
		the UE_A entity hasReceivedTerminatedRequest from the UE_B entity

		}

		Expected behaviour
		ensure that {
		when {
		the IMS_A entity sends a ACK response "addressed to UE_A" to the IMS_B entity
		}
		then {
		the IMS_IBCF_B entity receives the ACK response
		from the IMS_A entity and
		the IMS_IBCF_A entity forwards the ACK response
		to the IMS_S_CSCF_B entity
		}
		}
		} // End of TP_IC_IBCF_487INVITE_ACK_02




		Test Purpose {
		TP Id TP_IC_IBCF_486INVITE_01
		Test objective
		"Verify that the IBCF successfully processes a 486 INVITE (BUSY) originating leg. "
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.10.3.2 and RFC 3261 [18], clause 13.3.1.3"

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		UE_A isAttachedTo the EPC_A and
		UE_B isAttachedTo the EPC_B and
		UE_A isRegisteredTo the IMS_A and
		UE_B isRegisteredTo the IMS_B and
		UE_B isBusy


		}

		Expected behaviour
		ensure that {
		when {
		the UE_B entity sends a 486_INVITE "addressed to UE_A" to the IMS_A entity
		}
		then {
		the IMS_IBCF_A entity receives the 486_INVITE
		from the IMS_B entity and
		the IMS_IBCF_A entity forwards the 486_INVITE
		to the IMS_P_CSCF_A entity
		}
		}
		} // End of TP_IC_IBCF_486INVITE_01



		Test Purpose {
		TP Id TP_IC_IBCF_486INVITE_02
		Test objective
		"Verify that the IBCF successfully processes a 486 INVITE (BUSY) Terminating leg. "
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.10.3.2 and RFC 3261 [18], clause 13.3.1.3"

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		UE_A isAttachedTo the EPC_A and
		UE_B isAttachedTo the EPC_B and
		UE_A isRegisteredTo the IMS_A and
		UE_B isRegisteredTo the IMS_B and
		UE_B isBusy


		}

		Expected behaviour
		ensure that {
		when {
		the UE_B entity sends a 486_INVITE "addressed to UE_A" to the IMS_B entity
		}
		then {
		the IMS_S_CSCF_B entity forwards the 486_INVITE
		to the IMS_IBCF_B entity and
		the IMS_IBCF_B entity sends the 486_INVITE
		to the IMS_A entity
		}
		}
		} // End of TP_IC_IBCF_486INVITE_02





		Test Purpose {
		TP Id TP_IC_IBCF_486INVITE_ACK_01
		Test objective
		"Verify that the IBCF successfully processes an ACK in response to a BUSY reply during session set-up (Originating leg). "
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.10.3.2 and RFC 3261 [18], clause 13.3.1.3"

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		UE_A isAttachedTo the EPC_A and
		UE_B isAttachedTo the EPC_B and
		UE_A isRegisteredTo the IMS_A and
		UE_B isRegisteredTo the IMS_B and
		UE_B isBusy and
		UE_B hasResponded486INVITE


		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends an ACK "addressed to UE_B" to the IMS_B entity
		}
		then {
		the IMS_IBCF_A entity receives the ACK
		from the IMS_P_CSCF_A entity and
		the IMS_IBCF_A entity forwards the ACK
		to the IMS_S_CSCF_B entity
		}
		}
		} // End of TP_IC_IBCF_486INVITE_ACK_01



		Test Purpose {
		TP Id TP_IC_IBCF_486INVITE_ACK_02
		Test objective
		"Verify that the IBCF successfully processes an ACK in response to a BUSY reply during session set-up (Terminating leg). "
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.10.3.2 and RFC 3261 [18], clause 13.3.1.3"

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		UE_A isAttachedTo the EPC_A and
		UE_B isAttachedTo the EPC_B and
		UE_A isRegisteredTo the IMS_A and
		UE_B isRegisteredTo the IMS_B and
		UE_B isBusy and
		UE_B hasResponded486INVITE


		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends an ACK "addressed to UE_B" to the IMS_A entity
		}
		then {
		the IMS_IBCF_B entity receives the ACK
		from the IMS_A entity and
		the IMS_IBCF_B entity forwards the ACK
		to the IMS_S_CSCF_B entity
		}
		}
		} // End of TP_IC_IBCF_486INVITE_ACK_02



		Test Purpose {
		TP Id TP_IC_IBCF_REGISTER_01 // Former TP TP_IMS_5137_04
		Test objective
		"The IBCF shall perform encryption for topology hiding before an initial REGISTER request is sent "
		Reference
		"TS 124 229 (V15.06.0) [1], clause 5.10.4.2"

		Config Id CF_VxLTE_RMI_B

		PICS Selection NONE

		Initial conditions with {
		IMS_A isConfiguredForTopologyHiding
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends a REGISTER "addressed to home network IMS_A" to the IMS_B entity
		}
		then {
		the IMS_IBCF_B entity sends the REGISTER containing
		Via containing
		ViaBody containing
		HostPort indicating value PX_IBCF_B_SIP_URI
		;
		; ,
		Route indicating value PX_IBCF_B_SIP_URI,
		Path containing
		PathValue indicating value PX_IBCF_B_SIP_URI
		;
		;
		to the IMS_IBCF_A entity and
		the IMS_IBCF_B entity receives the 401_Unauthorized
		from the IMS_A entity and
		the IMS_IBCF_B entity forwards the 401_Unauthorized
		to the IMS_P_CSCF_B entity
		}
		}
		} // End of TP_IC_IBCF_REGISTER_01






		} // End of Package TP_IC

test_purposes/Sip_Common.tplan2

+7 −0

Original line number	Diff line number	Diff line
		@@ -65,6 +65,7 @@ Package Sip_Common {
		- isNotAttachedTo
		- isAttachedTo
		- isNotConfiguredForTopologyHiding
		- isConfiguredForTopologyHiding
		- isExistingIn
		- establishedSecurityRelation
		- registeredIdentityTelURI
		@@ -74,6 +75,8 @@ Package Sip_Common {
		- hasReceivedIntialRequestForDialog
		- hasReceived200OkOnInitialRequestForDialogWith
		- hasReceived180OnInitialRequest
		- hasReceived200OkCancel
		- hasReceivedTerminatedRequest
		- registeredPublicIdsWithTelUriAndSipUri
		- hasReceivedSubsequentOrTargetRefreshRequestInDialog
		- previouslyEstablishedCallWith
		@@ -89,6 +92,7 @@ Package Sip_Common {
		- SUBSCRIBE
		- hasAchieveInitialINVITE
		- hasAchieveINVITE
		- hasResponded486INVITE
		- INVITE
		- 486_INVITE
		- ACK
		@@ -151,6 +155,9 @@ Package Sip_Common {
		Test Configuration CF_VxLTE_INT
		;

		Test Configuration CF_VxLTE_RMI
		;

		Test Configuration CF_VxLTE_RMI_A
		;